Commit Graph

10401 Commits

Author SHA1 Message Date
Vítor Santos Costa
3bfaee9226 Merge /home/vsc/yap 2019-04-05 18:32:04 +01:00
Vítor Santos Costa
0b5a5a33bb droid 2019-04-05 18:31:45 +01:00
Vitor Santos Costa
d306a1bf0c plunit needs work 2019-04-05 16:56:01 +01:00
Vítor Santos Costa
07c8c6d7b1 docker 2019-04-05 10:53:03 +01:00
Vítor Santos Costa
d72770a18c lbfgs 2019-04-05 08:55:12 +01:00
Vítor Santos Costa
ead29987d6 lbfgs 2019-04-05 02:04:06 +01:00
Vitor Santos Costa
c840e9cabb Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap 2019-04-04 13:27:47 +01:00
Vitor Santos Costa
13982dcc94 heap 2019-04-04 13:27:06 +01:00
Vítor Santos Costa
299a1edf8b Merge /home/vsc/yap 2019-04-03 17:09:29 +01:00
Vítor Santos Costa
a237596736 fixes 2019-04-03 17:08:12 +01:00
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