Vitor Santos Costa
|
644a9ad852
|
bug fixes
|
2019-04-02 11:22:01 +01:00 |
|
Vitor Santos Costa
|
4dff2ad2ec
|
allow (m:a)/i as indicator.
|
2019-03-31 11:45:03 +01:00 |
|
Vitor Santos Costa
|
69fcc9494c
|
jupyter
|
2019-03-26 09:40:54 +00:00 |
|
Vitor Santos Costa
|
044329d115
|
bbdd
|
2019-03-15 12:38:09 +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 |
|
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
|
ae426a3b27
|
typos
|
2019-03-03 04:31:23 +00:00 |
|
Vitor Santos Costa
|
908cfe3b77
|
smallStuff
|
2019-03-03 02:01:39 +00:00 |
|
Vítor Santos Costa
|
5ff09fbf26
|
indicators
|
2019-02-28 21:57:48 +00:00 |
|
Vitor Santos Costa
|
8d30742d8f
|
warnings
|
2019-02-27 15:54:20 +00:00 |
|
Vitor Santos Costa
|
facf7ae8cd
|
small patches
|
2019-02-27 11:04:32 +00:00 |
|
Vitor Santos Costa
|
2d65d0463c
|
jupyter
|
2019-02-27 04:23:21 +00:00 |
|
Vitor Santos Costa
|
5d7c6378e7
|
:Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-02-27 04:22:59 +00:00 |
|
Vitor Santos Costa
|
ccfbe3f809
|
various fixes
|
2019-02-21 21:03:44 +00:00 |
|
Vítor Santos Costa
|
7dca1f1390
|
fixes
|
2019-02-21 20:19:31 +00:00 |
|
Vitor Santos Costa
|
84721e1005
|
copy
|
2019-02-20 10:45:21 +00:00 |
|
Vitor Santos Costa
|
c248ef9ccf
|
Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-02-19 15:56:26 +00:00 |
|
Vitor Santos Costa
|
cb0f5ec4db
|
errors
|
2019-02-19 15:56:22 +00:00 |
|
Vitor Santos Costa
|
f483838610
|
overflows
|
2019-02-19 15:53:36 +00:00 |
|
Vitor Santos Costa
|
c792db26be
|
fix tracer calls
|
2019-02-18 09:54:39 +00:00 |
|
Vitor Santos Costa
|
79d2330e71
|
handle Z=[X,Z], X=y(X)
|
2019-02-17 23:19:26 +00:00 |
|
Vitor Santos Costa
|
6a3c4bda79
|
fix
|
2019-02-17 07:58:06 +00:00 |
|
Vitor Santos Costa
|
2c1565ac0e
|
trees
|
2019-02-16 13:09:30 +00:00 |
|
Vitor Santos Costa
|
5c41c509c0
|
fixes
|
2019-02-15 23:04:35 +00:00 |
|
Vítor Santos Costa
|
1ef3f738ee
|
more loops.
|
2019-02-15 21:09:58 +00:00 |
|
Vitor Santos Costa
|
1bd2f0338c
|
Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-02-15 13:51:22 +00:00 |
|
Vitor Santos Costa
|
90f5720fb0
|
boot
|
2019-02-15 13:50:24 +00:00 |
|
Vítor Santos Costa
|
244d04f90b
|
:Merge /home/vsc/yap
|
2019-02-14 13:08:24 +00:00 |
|
Vitor Santos Costa
|
4b5ae9331f
|
clpbn
|
2019-02-14 09:08:15 +00:00 |
|
Vítor Santos Costa
|
593877f39d
|
fixes
|
2019-02-14 07:44:31 +00:00 |
|
Vitor Santos Costa
|
302519868f
|
loops
|
2019-02-14 00:38:14 +00:00 |
|
Vítor Santos Costa
|
76b4ddee9c
|
fixes
|
2019-02-13 14:31:29 +00:00 |
|
Vitor Santos Costa
|
c4b78e161b
|
moredeb
|
2019-02-13 09:44:24 +00:00 |
|
Vitor Santos Costa
|
2c80e33c6a
|
more fixes to threes,
|
2019-02-11 18:10:31 +00:00 |
|
Vitor Santos Costa
|
ac60bee30d
|
loops
|
2019-02-11 09:28:46 +00:00 |
|
Vitor Santos Costa
|
3fdc260ee6
|
fixes
|
2019-02-10 00:18:08 +00:00 |
|
Vitor Santos Costa
|
24b6908225
|
write
|
2019-02-09 09:43:26 +00:00 |
|
Vitor Santos Costa
|
d0f05d3578
|
new
|
2019-02-08 15:01:12 +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
|
4bc0292ad6
|
fixes
|
2019-02-05 10:31:17 +00:00 |
|
Vítor Santos Costa
|
3b8475f882
|
ptd0
|
2019-02-04 22:10:30 +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
|
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
|
ca2542c798
|
cou numbered vars
|
2019-01-31 16:40:41 +00:00 |
|
Vitor Santos Costa
|
b382c060e3
|
booting
|
2019-01-31 12:46:35 +00:00 |
|
Vitor Santos Costa
|
f6b16ca505
|
Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-01-31 12:08:28 +00:00 |
|
Vitor Santos Costa
|
b71b4f6fca
|
boot
|
2019-01-31 11:54:17 +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 |
|
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
|
93bb39d5f7
|
copy_term
|
2019-01-24 19:03:18 +00:00 |
|
Vitor Santos Costa
|
92089074f1
|
write_loops
|
2019-01-24 13:27:23 +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
|
17a75d79ff
|
metas
|
2019-01-22 01:47:07 +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
|
9e1a2ad41e
|
fix term predicates
|
2019-01-07 14:59:08 +00:00 |
|
Vitor Santos Costa
|
31423fcf90
|
yapi
|
2018-12-21 20:57:53 +00:00 |
|
Vitor Santos Costa
|
3fa4bfbcb2
|
flow
|
2018-12-14 14:53:39 +00:00 |
|
Vítor Santos Costa
|
44be8cf600
|
android
|
2018-12-14 10:29:12 +00:00 |
|
Vitor Santos Costa
|
0230ff35d1
|
debugger
|
2018-11-23 14:00:20 +00:00 |
|
Vitor Santos Costa
|
999de8df19
|
configuration fixes
|
2018-11-23 10:55:05 +00:00 |
|
Vitor Santos Costa
|
9be6eb9132
|
small bugs
|
2018-11-23 00:01:55 +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 |
|
Vitor Santos Costa
|
4fed99c0aa
|
ismall bugs && docs
|
2018-11-14 09:35:24 +00:00 |
|
Vitor Santos Costa
|
cb5dc1313a
|
fix in numbervrs≈
|
2018-11-08 02:33:36 +00:00 |
|
Vitor Santos Costa
|
337bf7b136
|
Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap
|
2018-11-06 23:19:51 +00:00 |
|
Vitor Santos Costa
|
b1635505ef
|
Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap
|
2018-11-06 23:02:33 +00:00 |
|
Vítor Santos Costa
|
d297a8834e
|
bad case in #if
|
2018-11-06 22:49:11 +00:00 |
|
Vítor Santos Costa
|
54e16f6f19
|
Merge /home/vsc/yap
|
2018-11-06 16:50:42 +00:00 |
|
Vitor Santos Costa
|
55ebeb7dd8
|
fix numbervars
|
2018-11-05 01:24:08 +00:00 |
|
Vitor Santos Costa
|
76cfa609c2
|
listing
|
2018-11-04 10:55:58 +00:00 |
|
Vitor Santos Costa
|
a1f8631844
|
reset
|
2018-11-03 10:49:35 +00:00 |
|
Vitor Santos Costa
|
0f313755cc
|
top
|
2018-11-02 17:16:18 +00:00 |
|
Vitor Santos Costa
|
4a0dd26ecb
|
hide´
|
2018-11-02 15:32:05 +00:00 |
|
Vítor Santos Costa
|
52bb6a92f1
|
Merge /home/vsc/yap
|
2018-10-31 13:57:37 +00:00 |