Commit Graph

26 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
Vitor Santos Costa
508e10d0be cleanup 2018-03-28 08:54:51 +01:00
Vítor Santos Costa
05356df347 Merge 192.168.1.79:github/yap-6.3 2018-03-26 11:03:08 +01:00
Vitor Santos Costa
cc6eca6903 jupyter 2018-03-17 10:38:56 +00:00
Vitor Santos Costa
02e0e50915 Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3 2016-11-02 00:16:36 -05:00
Vitor Santos Costa
4628adc63e Merge branch 'master' of https://github.com/vscosta/yap-6.3 2016-08-01 21:45:42 -05:00
Vítor Santos Costa
e81acc117b ugh 2016-02-29 03:28:50 +00:00
Vítor Santos Costa
3af377d610 test import 2016-02-22 13:01:46 +00:00
Vítor Santos Costa
20f639fe7b simple, small test for error_handling 2016-02-21 11:32:08 +00:00
Vítor Santos Costa
5fd4add82b Hide and Seek 2016-01-04 17:18:43 +00:00
Vítor Santos Costa
50c8724322 linux backport
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
Vítor Santos Costa
bc53e8bae9 some tests 2016-01-03 13:54:14 +00:00
Vítor Santos Costa
1c5b6c3687 some tests 2016-01-03 13:52:48 +00:00