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
|
e6ffe9c2a0
|
lbfgs and Problog ex.
|
2019-05-27 15:34:24 +01:00 |
|
Vitor Santos Costa
|
ef8e9a2ea3
|
Problog testing: modules :(
|
2019-05-27 15:32:39 +01:00 |
|
Vitor Santos Costa
|
07cd79ccb7
|
fix overflow handling in global variables
fix use of must_be_callable.
|
2019-05-27 15:31:22 +01:00 |
|
Vitor Santos Costa
|
8f8da92603
|
getting better
|
2019-05-25 11:19:29 +01:00 |
|
Vitor Santos Costa
|
60adbb9a75
|
dbg
|
2019-05-25 09:06:55 +01:00 |
|
Vítor Santos Costa
|
ee12fea7cd
|
write
|
2019-05-25 01:19:20 +01:00 |
|
Vitor Santos Costa
|
e96aea3340
|
wr
|
2019-05-24 15:26:21 +01:00 |
|
Vítor Santos Costa
|
db7047249c
|
small fixes:
|
2019-05-23 23:40:19 +01:00 |
|
Vitor Santos Costa
|
0036e3632e
|
ovfl
|
2019-05-22 11:00:53 +01:00 |
|
Vitor Santos Costa
|
402e6cab55
|
tmp
|
2019-05-22 01:21:50 +01:00 |
|
Vítor Santos Costa
|
1a6e97655b
|
- 0 char (from P Moura);
- stack shifting
- uninitialized pointers in jpl
|
2019-05-21 20:37:16 +01:00 |
|
Vitor Santos Costa
|
e7535dd2ee
|
ovfl
|
2019-05-21 13:50:41 +01:00 |
|
Vitor Santos Costa
|
8c3c3f921c
|
debugger fixes; stack shifting init
|
2019-05-21 13:03:28 +01:00 |
|
Vitor Santos Costa
|
52da71cee7
|
debugging
|
2019-05-20 08:25:50 +01:00 |
|
Vitor Santos Costa
|
69dc2a963c
|
debugger
|
2019-05-20 01:00:41 +01:00 |
|
Vítor Santos Costa
|
0e47ddc802
|
prompt
|
2019-05-19 09:48:13 +01:00 |
|
Vítor Santos Costa
|
c3a254e44d
|
deb_fixing
|
2019-05-18 09:47:17 +01:00 |
|
Vitor Santos Costa
|
0949f6b494
|
scanner-parser interface - I
|
2019-05-17 17:49:30 +01:00 |
|
Vítor Santos Costa
|
552cefbcd0
|
fixes
|
2019-05-17 06:08:00 +01:00 |
|
Vitor Santos Costa
|
ef226da706
|
Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-05-16 13:25:04 +01:00 |
|
Vitor Santos Costa
|
5382d4739c
|
deb
|
2019-05-16 13:24:20 +01:00 |
|
Vítor Santos Costa
|
d3e3515a5f
|
Merge /home/vsc/yap
|
2019-05-15 18:59:06 +01:00 |
|
Vítor Santos Costa
|
920b63c6bc
|
Merge https://github.com/vscosta/yap-6.3
|
2019-05-15 18:54:04 +01:00 |
|
Vitor Santos Costa
|
ef3d435dec
|
debugger cleanup - I
|
2019-05-15 18:51:50 +01:00 |
|
Vítor Santos Costa
|
60890fbf0b
|
python
|
2019-05-15 18:48:56 +01:00 |
|
Vítor Santos Costa
|
fb73f42d26
|
Merge /home/vsc/yap
|
2019-05-14 15:08:21 +01:00 |
|
Vítor Santos Costa
|
203c064b03
|
merge
|
2019-05-14 15:06:12 +01:00 |
|
Vitor Santos Costa
|
babf3dd77d
|
gecode
|
2019-05-12 15:40:29 +01:00 |
|
Vitor Santos Costa
|
46b9b46bca
|
debuggecode
|
2019-05-11 11:24:15 +01:00 |
|
Vítor Santos Costa
|
4d395761a4
|
debugger
|
2019-05-10 03:05:40 +01:00 |
|
Vitor Santos Costa
|
e23055d4f0
|
gecode
debugger.
|
2019-05-09 12:44:50 +01:00 |
|
Vitor Santos Costa
|
adf6ffd2a6
|
left-over
|
2019-05-04 10:45:42 +01:00 |
|
Vítor Santos Costa
|
937189ab9e
|
Merge /home/vsc/yap
|
2019-05-03 19:09:26 +01:00 |
|
Vítor Santos Costa
|
008c091e3c
|
yap4r
|
2019-05-03 19:08:47 +01:00 |
|
Vitor Santos Costa
|
874f621477
|
ovfl
|
2019-05-03 12:40:47 +01:00 |
|
Vitor Santos Costa
|
91a79d778b
|
fix global overfloow.
|
2019-05-03 01:03:22 +01:00 |
|
Vitor Santos Costa
|
644606d8bb
|
Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap
|
2019-05-02 21:03:57 +01:00 |
|
Vitor Santos Costa
|
86d6751c98
|
glucose-4
|
2019-05-02 20:54: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
|
7c16af4edf
|
-Interface issues
|
2019-05-01 01:34:58 +01:00 |
|
Vitor Santos Costa
|
54a222e5df
|
call fixes
|
2019-04-27 11:55:22 -05:00 |
|
Vitor Santos Costa
|
984cf8a07c
|
loaddb
|
2019-04-25 14:02:28 -05:00 |
|
Vitor Santos Costa
|
dc5b90a643
|
compilation fixes
|
2019-04-25 19:02:01 +01: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
|
a87654b0b0
|
exec
|
2019-04-24 10:31:05 +01:00 |
|
Vitor Santos Costa
|
71fc7238ff
|
exec
|
2019-04-22 12:18:22 +01:00 |
|