max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/runtime
History
Leonardo de Moura e3b1ae514b fix: nontermination 
This issue was reported by Simon Winwood at Zulip.
Here is the message

The following code doesn't terminate (in a reasonable amount of time)
```
def large_nat : Nat := (9223372036854775807 : Nat)
```
$ time lean --o=large-nat.olean large-nat.lean
2020-08-18 18:45:28 -07:00
..
alloc.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
allocprof.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
apply.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
CMakeLists.txt chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
compact.cpp fix: nontermination 2020-08-18 18:45:28 -07:00
debug.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
exception.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
hash.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
init_module.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
interrupt.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
io.cpp feat: default to binary file mode on Windows 2020-08-13 09:21:35 -07:00
memory.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
mpq.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
mpz.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
object.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
platform.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
serializer.cpp chore: fix C++ warnings 2020-08-14 14:42:44 +02:00
sharecommon.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
stack_overflow.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
stackinfo.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
thread.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00
utf8.cpp chore: move runtime implementation to src/runtime 2020-05-22 14:35:16 -07:00