Commit Graph

10341 Commits

Author SHA1 Message Date
Vitor Santos Costa b5205f1193 droid 2019-04-03 15:46:47 +01:00
Vitor Santos Costa 57cc6ab170 merge
Merge /home/vsc/github/yap-6.3
2019-04-03 15:15:33 +01:00
Vitor Santos Costa c04298c1d7 r + lbfhs 2019-04-03 15:04:24 +01:00
Vítor Santos Costa 134288da68 yapr 2019-04-03 10:39:22 +01:00
Vítor Santos Costa 03232f53ce install 2019-04-03 10:30:12 +01:00
Vitor Santos Costa 10307c27fe fixes 2019-04-02 15:32:50 +01:00
Vitor Santos Costa f54989e03e Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-04-02 11:23:39 +01:00
Vitor Santos Costa 644a9ad852 bug fixes 2019-04-02 11:22:01 +01:00
Vítor Santos Costa 63a514cad5 yap4r 2019-04-02 10:27:37 +01:00
Vitor Santos Costa 9156b90b66 bfgs 2019-04-01 13:40:17 +01:00
Vitor Santos Costa b24df86cb0 debugger
yap4r
2019-04-01 09:27:55 +01:00
Vitor Santos Costa 2f1eb61cf9 yap4r 2019-03-31 23:23:04 +01:00
Vitor Santos Costa 0112ad9c20 -temp fixes 2019-03-31 23:14:14 +01:00
Vitor Santos Costa 4926067be9 shift modules around. 2019-03-31 11:46:17 +01:00
Vitor Santos Costa 4dff2ad2ec allow (m:a)/i as indicator. 2019-03-31 11:45:03 +01:00
Vítor Santos Costa 3f9e57fc48 fixes in module flow
also:
  - user is everyone's parent;
  - system predicate <=> prolog:predicate
2019-03-30 10:37:16 +00:00
Vitor Santos Costa 2af4dae017 ilbfgs 2019-03-29 14:37:03 +00:00
Vitor Santos Costa de153bd479 errors 2019-03-28 14:06:16 +00:00
Vitor Santos Costa c50367325e jupyter 2019-03-27 16:31:31 +00:00
Vitor Santos Costa 78473ddd2c Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-03-27 11:04:07 +00:00
Vitor Santos Costa 7383ff79cc jupyter 2019-03-27 11:01:55 +00:00
Vitor Santos Costa b7cd534d80 jupyter 2019-03-26 23:53:47 +00:00
Vitor Santos Costa c0f7dfe3c3 jupyter 2019-03-26 15:34:42 +00:00
Vitor Santos Costa 69fcc9494c jupyter 2019-03-26 09:40:54 +00:00
Vitor Santos Costa 953667db21 bddss 2019-03-22 15:41:14 +00:00
Vitor Santos Costa 25afc1477c modules 2019-03-21 09:02:43 +00:00
Vitor Santos Costa 9980dd49a7 deb 2019-03-20 10:52:38 +00:00
Vitor Santos Costa e626847e93 synch 2019-03-19 20:51:11 +00:00
Vítor Santos Costa 044d455597 doc 2019-03-19 20:13:21 +00:00
Vitor Santos Costa 96a40f1d50 jupyter 2019-03-19 18:42:17 +00:00
Vitor Santos Costa 70a43ece1d jupyter 2019-03-18 14:47:29 +00:00
Vitor Santos Costa e8d9e71a4e lbfgs 2019-03-17 23:01:48 +00:00
Vitor Santos Costa d10589d60f Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/github/yap-6.3 2019-03-15 12:39:05 +00:00
Vitor Santos Costa 044329d115 bbdd 2019-03-15 12:38:09 +00:00
Vítor Santos Costa 6825c3e2ac missing file 2019-03-14 03:11:06 +00:00
Vitor Santos Costa e3c399af48 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/github/yap-6.3 2019-03-14 02:13:28 +00:00
Vitor Santos Costa e5e38551e0 missing file 2019-03-14 02:11:50 +00:00
Vítor Santos Costa 47b13c3836 :Merge /home/vsc/yap 2019-03-12 15:57:40 +00:00
Vitor Santos Costa 4afbc4461c problog 2019-03-12 10:51:39 +00:00
Vítor Santos Costa 56c4220cf6 Merge /home/vsc/yap 2019-03-11 19:07:10 +00:00
Vítor Santos Costa 4d2b18908d fixes 2019-03-11 19:05:39 +00:00
Vitor Santos Costa ab56074bb1 assert(3) 2019-03-09 11:23:30 +00:00
Vítor Santos Costa 9378622d42 current_prdicate/2
r Please enter the commit message for your changes. Lines starting
2019-03-09 06:50:09 +00:00
Vitor Santos Costa 32a5158c6b problog 2019-03-06 10:49:55 +00:00
Vitor Santos Costa 21ff73dd70 modules 2019-03-04 15:49:53 +00:00
Vitor Santos Costa 7ab1624401 Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-03-03 12:27:29 +00:00
Vitor Santos Costa ae426a3b27 typos 2019-03-03 04:31:23 +00:00
Vitor Santos Costa 5ec424645d typos 2019-03-03 04:31:10 +00:00
Vitor Santos Costa 3f4fd7d7a3 silent 2019-03-03 02:19:34 +00:00
Vitor Santos Costa ff61ab9953 debugger emulation 2019-03-03 02:13:51 +00:00