Commit Graph

1638 Commits

Author SHA1 Message Date
Vítor Santos Costa 6d018bbf2c sync 2019-05-28 22:48:00 +01:00
Vítor Santos Costa 92181e534e Merge https://github.com/vscosta/yap-6.3 2019-05-28 22:42:17 +01:00
Vítor Santos Costa d76fa9ca3d fix bad merge 2019-05-28 19:30:04 +01:00
Vitor Santos Costa ef8e9a2ea3 Problog testing: modules :( 2019-05-27 15:32:39 +01:00
Vitor Santos Costa 8c3c3f921c debugger fixes; stack shifting init 2019-05-21 13:03:28 +01:00
Vitor Santos Costa 69dc2a963c debugger 2019-05-20 01:00:41 +01:00
Vítor Santos Costa c3a254e44d deb_fixing 2019-05-18 09:47:17 +01:00
Vitor Santos Costa e23055d4f0 gecode
debugger.
2019-05-09 12:44:50 +01:00
Vitor Santos Costa 91a79d778b fix global overfloow. 2019-05-03 01:03:22 +01:00
Vitor Santos Costa c91faf8bc3 fix tracing of functor/ arg
fix leaks in Malloc
handle overfows in globals.
2019-05-02 20:51:46 +01:00
Vitor Santos Costa 54a222e5df call fixes 2019-04-27 11:55:22 -05:00
Vitor Santos Costa 5f819fd7b4 Merge branch 'master' of 192.168.1.79:/Users/vsc/github/yap-6.5 2019-04-25 16:15:55 +01:00
Vitor Santos Costa b97338f84d reset excess change 2019-04-24 12:10:06 +01:00
Vitor Santos Costa 71fc7238ff exec 2019-04-22 12:18:22 +01:00
Vitor Santos Costa 16015bd8e6 bee 2019-04-22 12:15:21 +01:00
Vitor Santos Costa 1f7835c5ef fix_dbload 2019-04-20 12:48:33 +01:00
Vitor Santos Costa d8b4d1c878 fixes 2019-04-16 09:53:20 +01:00
Vitor Santos Costa 8070e65354 goal 2019-04-12 10:48:01 +01:00
Vítor Santos Costa 8da14e339a borders 2019-04-11 22:17:00 +01:00
Vítor Santos Costa 1739529c8b recursuve_calling 2019-04-10 18:51:40 +01:00
Vitor Santos Costa 4afbc4461c problog 2019-03-12 10:51:39 +00:00
Vitor Santos Costa 32a5158c6b problog 2019-03-06 10:49:55 +00:00
Vitor Santos Costa 8d30742d8f warnings 2019-02-27 15:54:20 +00:00
Vitor Santos Costa 2d65d0463c jupyter 2019-02-27 04:23:21 +00:00
Vitor Santos Costa ccfbe3f809 various fixes 2019-02-21 21:03:44 +00:00
Vitor Santos Costa 79d2330e71 handle Z=[X,Z], X=y(X) 2019-02-17 23:19:26 +00:00
Vitor Santos Costa 90f5720fb0 boot 2019-02-15 13:50:24 +00:00
Vitor Santos Costa ac60bee30d loops 2019-02-11 09:28:46 +00:00
Vitor Santos Costa 4092003cd6 deb 2019-02-06 00:08:15 +00:00
Vítor Santos Costa 3b8475f882 ptd0 2019-02-04 22:10:30 +00:00
Vitor Santos Costa 7045b6ef36 cyclic_term/1 2019-02-04 01:08:18 +00:00
Vitor Santos Costa 208438f0d0 debugging rts 2019-02-03 21:35:12 +00:00
Vítor Santos Costa 38610c0b0d rational trees 2019-02-02 22:33:18 +00:00
Vítor Santos Costa fa96ffa932 loops 2019-02-01 13:14:33 +00:00
Vitor Santos Costa c1dc6b7fb2 boot 2019-01-31 11:52:03 +00:00
Vitor Santos Costa f7ed109d1c debugging 2019-01-30 15:24:06 +00:00
Vitor Santos Costa 0507d80403 docs 2019-01-30 11:17:53 +00:00
Vitor Santos Costa 2a090f3484 term to term 2019-01-23 14:31:31 +00:00
Vitor Santos Costa a6d709dabf copy_term 2019-01-22 19:32:19 +00:00
Vitor Santos Costa 86decdddde modules 2019-01-21 01:11:42 +00:00
Vitor Santos Costa 6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa b87f0c79e9 typos/ro 2018-11-24 10:35:19 +00:00
Vitor Santos Costa 91a5f0d1c3 swicompat 2018-11-24 10:13:59 +00:00
Vitor Santos Costa 0230ff35d1 debugger 2018-11-23 14:00:20 +00:00
Vitor Santos Costa 9be6eb9132 small bugs 2018-11-23 00:01:55 +00:00
Vitor Santos Costa 5fdd481d6c merge 2018-11-22 13:48:21 +00:00
Vitor Santos Costa e2863854a9 Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-11-22 10:24:22 +00:00
Vitor Santos Costa e528893b73 fixes to interface code 2018-11-22 10:23:35 +00:00
Vitor Santos Costa cb8c37ce56 droid 2018-11-21 00:48:53 +00:00
Vitor Santos Costa 17411a7384 progress 2018-11-17 23:39:55 +00:00