Commit Graph

14 Commits

Author SHA1 Message Date
Vitor Santos Costa f483838610 overflows 2019-02-19 15:53:36 +00:00
Vítor Santos Costa 1ef3f738ee more loops. 2019-02-15 21:09:58 +00:00
Vitor Santos Costa 302519868f loops 2019-02-14 00:38:14 +00:00
Vitor Santos Costa 4678b2baee dbg 2019-02-08 09:33:07 +00:00
Vitor Santos Costa 933db5bc7e deb 2019-02-06 15:08:25 +00:00
Vitor Santos Costa 4092003cd6 deb 2019-02-06 00:08:15 +00:00
Vitor Santos Costa e5945b8e8b deb 2019-02-05 13:59:33 +00:00
Vitor Santos Costa 4bc0292ad6 fixes 2019-02-05 10:31:17 +00:00
Vitor Santos Costa cb4d17cb4f deb 2019-02-04 15:10:06 +00:00
Vitor Santos Costa d874dc5857 fixes 2019-02-04 10:42:23 +00:00
Vitor Santos Costa 7045b6ef36 cyclic_term/1 2019-02-04 01:08:18 +00:00
Vitor Santos Costa 700d6ae707 fixes 2019-01-25 13:54:02 +00:00
Vitor Santos Costa 650653cc64 fixes 2019-01-25 08:57:13 +00:00
Vítor Santos Costa bfe5fc2f49 tests on infinite terms. 2019-01-24 19:08:10 +00:00