Leonardo de Moura
97a7ef5962
chore: update stage0
2021-06-06 18:57:33 -07:00
Leonardo de Moura
55691e2951
chore: update stage0
2021-06-02 10:00:01 -07:00
Leonardo de Moura
30ddaaffe4
chore: update stage0
2021-06-02 07:49:54 -07:00
Leonardo de Moura
d404ad67ee
chore: update stage0
2021-06-02 06:53:58 -07:00
Leonardo de Moura
0a57cbd7d3
chore: update stage0
2021-05-10 17:06:23 -07:00
Leonardo de Moura
fe9cb0b5ed
chore: update stage0
2021-04-23 17:52:44 -07:00
Leonardo de Moura
ca0912c6e3
chore: update stage0
2021-04-07 11:17:23 -07:00
Leonardo de Moura
ab4ec76a25
chore: update stage0
2021-04-03 21:02:46 -07:00
Leonardo de Moura
b96e4f6637
chore: update stage0
2021-03-09 19:16:57 -08:00
Leonardo de Moura
b6d86fdd57
chore: update stage0
2021-03-04 15:49:56 -08:00
Leonardo de Moura
23597e19e1
chore: update stage0
2021-03-04 11:48:35 -08:00
Leonardo de Moura
3d51779d38
chore: update stage0
2021-03-04 07:56:05 -08:00
Leonardo de Moura
176c7df05c
chore: update stage0
2021-03-04 07:42:09 -08:00
Leonardo de Moura
79c1ea813a
chore: update stage0
2021-02-06 12:37:10 -08:00
Leonardo de Moura
1bbfae644f
chore: update stage0
2021-02-05 12:45:46 -08:00
Leonardo de Moura
752af03899
chore: update stage0
2021-01-31 12:10:08 -08:00
Leonardo de Moura
9419b178bc
chore: update stage0
2021-01-31 08:52:24 -08:00
Leonardo de Moura
e47485a9d1
chore: update stage0
2021-01-31 08:25:16 -08:00
Leonardo de Moura
b28c427cb6
chore: update stage0
2021-01-30 10:58:34 -08:00
Leonardo de Moura
854933169e
chore: update stage0
2021-01-30 10:58:34 -08:00
Leonardo de Moura
adc970c2ca
chore: update stage0
2021-01-26 12:58:50 -08:00
Leonardo de Moura
83ab2e5555
chore: update stage0
2021-01-24 17:53:36 -08:00
Leonardo de Moura
3c631de0d0
chore: update stage0
2021-01-22 14:28:16 -08:00
Sebastian Ullrich
3fbf405a26
chore: update stage0
2021-01-19 19:06:01 +01:00
Leonardo de Moura
f115c3919b
chore: update stage0
2021-01-13 10:36:38 -08:00
Leonardo de Moura
5e8dc62b94
chore: update stage0
2021-01-13 09:46:57 -08:00
Leonardo de Moura
ac77df82c0
chore: update stage0
2021-01-10 07:15:29 -08:00
Sebastian Ullrich
2a4940986a
chore: update stage0
2020-12-30 22:34:27 +01:00
Sebastian Ullrich
43ef6a3902
chore: update stage0
2020-12-23 20:02:49 +01:00
Leonardo de Moura
f251f9b6fa
chore: update stage0
2020-12-14 18:08:19 -08:00
Leonardo de Moura
b05a633029
chore: update stage0
2020-12-13 11:11:57 -08:00
Leonardo de Moura
7a014d2ec1
chore: update stage0
2020-12-08 12:42:25 -08:00
Leonardo de Moura
f4c9f9579b
chore: update stage0
2020-12-03 08:08:58 -08:00
Leonardo de Moura
62639da58c
chore: update stage0
2020-11-29 16:24:37 -08:00
Leonardo de Moura
4ce69bfcab
chore: update stage0
2020-11-27 18:16:15 -08:00
Sebastian Ullrich
02ac240b59
chore: also fix stage 0
2020-10-16 09:58:30 +02:00
Leonardo de Moura
57de49b957
chore: update stage0
2020-10-14 13:25:40 -07:00
Leonardo de Moura
1c535b1f72
chore: update stage0
2020-10-12 11:06:11 -07:00
Leonardo de Moura
31e1c71240
chore: udpate stage0
2020-10-11 15:12:17 -07:00
Leonardo de Moura
67b4cc6745
chore: update stage0
2020-09-30 07:40:12 -07:00
Leonardo de Moura
38df6de545
chore: update stage0
2020-09-21 12:28:20 -07:00
Leonardo de Moura
8586ec1759
chore: update stage0
2020-09-14 15:01:46 -07:00
Leonardo de Moura
346537bd74
chore: update stage0
2020-08-31 15:37:41 -07:00
Sebastian Ullrich
2215f93d14
chore: update stage0
2020-08-31 11:09:27 +02:00
Leonardo de Moura
32de5ed627
chore: update stage0
2020-08-30 16:02:47 -07:00
Leonardo de Moura
8e31068b3c
chore: update stage0
2020-08-28 10:06:22 -07:00
Leonardo de Moura
6180ba6d7d
chore: rename ST.Ref primitives
2020-08-23 12:28:14 -07:00
Leonardo de Moura
e153f245d7
chore: update stage0
2020-08-20 10:39:51 -07:00
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
Sebastian Ullrich
e3cb897ab0
chore: update stage0
2020-08-14 17:19:05 +02:00
