Commit Graph

10292 Commits

Author SHA1 Message Date
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
847edfd432 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-30 11:18:09 +00:00
Vitor Santos Costa
0507d80403 docs 2019-01-30 11:17:53 +00:00
Vítor Santos Costa
dfe0698f03 small booting fixes 2019-01-30 10:44:28 +00:00
Vitor Santos Costa
55ea7d35a3 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-28 15:16:22 +00:00
Vitor Santos Costa
09d8d07b7e ugh 2019-01-28 15:02:55 +00:00
Vitor Santos Costa
7f71184785 bug 2019-01-27 23:54:02 +00:00
Vitor Santos Costa
36fedfa321 fixes 2019-01-27 11:05:20 +00:00
Vitor Santos Costa
13d764067f write 2019-01-27 10:11:56 +00:00
Vitor Santos Costa
5ec9e31eb9 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-26 12:49:32 +00:00
Vitor Santos Costa
b395177faa fixes 2019-01-26 12:44:43 +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
Vítor Santos Costa
93bb39d5f7 copy_term 2019-01-24 19:03:18 +00:00
Vitor Santos Costa
a3dd1a1520 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-24 13:28:07 +00:00
Vitor Santos Costa
92089074f1 write_loops 2019-01-24 13:27:23 +00:00
Vítor Santos Costa
e0467d95d4 merge 2019-01-23 18:16:13 +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
8ce648422a Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-22 19:32:07 +00:00
Vitor Santos Costa
c682058942 xmas 2019-01-22 03:08:26 +00:00
Vitor Santos Costa
daa86e9c34 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-01-22 01:59:13 +00:00
Vitor Santos Costa
17a75d79ff metas 2019-01-22 01:47:07 +00:00
Vitor Santos Costa
1c4e272b1d merge 2019-01-21 21:42:27 +00:00
Vítor Santos Costa
36b376d447 merge 2019-01-21 19:51:54 +00:00
Vítor Santos Costa
e83d1f9d43 : 2019-01-21 18:54:14 +00:00
Vítor Santos Costa
4aaad2b221 Merge /home/vsc/github/yapdroid/join_yap/yap 2019-01-21 18:53:43 +00:00
Vitor Santos Costa
86decdddde modules 2019-01-21 01:11:42 +00:00
Vitor Santos Costa
8e2864c0cf offshore 2019-01-18 20:36:50 +00:00
Vitor Santos Costa
670bfd421d meta 2019-01-18 03:49:42 +00:00
Vítor Santos Costa
c21c0079dc Merge /home/vsc/yap 2019-01-09 17:45:12 +00:00
Vitor Santos Costa
29c004d62a android 2019-01-09 13:59:58 +00:00
Vitor Santos Costa
6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa
c2ebd2857c Android related patches
simpify meta-processing.
2019-01-07 14:59:20 +00:00
Vitor Santos Costa
9e1a2ad41e fix term predicates 2019-01-07 14:59:08 +00:00
Vitor Santos Costa
3f1c2352f3 jpl fixes 2018-12-28 17:44:28 +00:00
Vitor Santos Costa
3699a715ce yapi 2018-12-23 15:38:56 +00:00
Vitor Santos Costa
d08c56fb56 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-12-21 22:53:47 +00:00
Vitor Santos Costa
664c17f3b3 tuples 2018-12-21 22:51:52 +00:00
Vitor Santos Costa
7c1a6c9cef Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-12-21 22:45:52 +00:00
Vitor Santos Costa
92994fb0e4 debugging 2018-12-21 22:44:18 +00:00
Vitor Santos Costa
31423fcf90 yapi 2018-12-21 20:57:53 +00:00
Vitor Santos Costa
f0a6018a00 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-12-21 20:57:10 +00:00
Vitor Santos Costa
5b96e59311 yapi 2018-12-16 02:25:48 +00:00
Vitor Santos Costa
37d5dcedc1 yapi 2018-12-16 02:21:54 +00:00
Vitor Santos Costa
3fa4bfbcb2 flow 2018-12-14 14:53:39 +00:00
Vitor Santos Costa
890f77d698 Merge ../../yapdroid/YAPDROID_libs/yap_lib_project/yap 2018-12-14 11:37:20 +00:00
Vitor Santos Costa
e66c3ab7cc :wMerge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2018-12-14 10:43:24 +00:00