Commit Graph

8156 Commits

Author SHA1 Message Date
Vítor Santos Costa
a40c205d5f New files 2015-03-04 10:02:25 +00:00
Vítor Santos Costa
0f2d1e8429 improve notion of standadard predicate 2015-03-04 10:01:33 +00:00
Vítor Santos Costa
65c97e7072 postgres 2015-03-04 09:59:42 +00:00
Vítor Santos Costa
5b19e9546a fix foreach 2015-03-04 09:59:05 +00:00
Vítor Santos Costa
9b6bcdde16 improve notion of standadard predicate 2015-03-04 09:54:08 +00:00
Vítor Santos Costa
5ea3fcd08f men at work 2015-03-04 09:52:34 +00:00
Vítor Santos Costa
48c87bd775 support fpr conj etc 2015-03-04 09:52:06 +00:00
Vítor Santos Costa
4386c42d02 improve cudd with bdd printing -> nodes, and true=1 false=0 2015-03-04 09:50:15 +00:00
Vítor Santos Costa
3d9006db32 make var names available as a global var 2015-03-04 09:47:50 +00:00
Vítor Santos Costa
8ea17007f0 make var names available as a global var 2015-03-04 09:46:55 +00:00
Vítor Santos Costa
dbfe42b360 clib and uuid support 2015-03-04 09:45:04 +00:00
Vítor Santos Costa
da83ad447c make var names available as a global var 2015-03-04 09:44:26 +00:00
Vítor Santos Costa
a9acacd1c5 android stopped working. 2015-03-04 09:43:37 +00:00
Vítor Santos Costa
8a4257d80a make var names available as a global var 2015-03-04 09:40:21 +00:00
Vítor Santos Costa
0839baf638 error handling should report the culprit . 2015-03-04 09:35:47 +00:00
Vítor Santos Costa
0b90870185 make var names available as a global var 2015-03-04 09:35:09 +00:00
Vítor Santos Costa
9d48f3c3c0 fix compilation of JIT (but still not working). 2015-02-18 10:03:57 +00:00
Vítor Santos Costa
2ebf6a5f0e android's target 2015-02-17 20:28:05 +00:00
Vítor Santos Costa
e4b0b8c0df export 2015-02-17 20:27:31 +00:00
Vítor Santos Costa
291ec26d65 configuratio fixes 2015-02-17 20:26:46 +00:00
Vítor Santos Costa
d805a474a4 redeclaration 2015-02-17 20:21:49 +00:00
Vítor Santos Costa
a24c90334f first cut at postgres support 2015-02-16 11:44:37 +00:00
Vítor Santos Costa
9895ec63d0 add more lib paths 2015-02-16 11:43:42 +00:00
Vitor Santos Costa
1e57a2e978 path setup 2015-02-15 02:33:54 +00:00
Vitor Santos Costa
3d6c0e7933 avoid undefined predicates 2015-02-14 17:13:42 +00:00
Vitor Santos Costa
0d955797fe don't export config.h 2015-02-14 17:11:56 +00:00
Vitor Santos Costa
9fe1ec7e3e don't export config.h 2015-02-14 17:09:43 +00:00
Vitor Santos Costa
2d20db7e6d protect against mal-formed calls 2015-02-14 17:05:48 +00:00
Vitor Santos Costa
29ffb152e5 make module user available by default to all other modules 2015-02-14 11:39:07 +00:00
Vitor Santos Costa
63416fdc48 cut_c simplifications 2015-02-14 11:35:45 +00:00
Vitor Santos Costa
ada2ad44de basic myddas with SQLITE3 2015-02-14 11:35:07 +00:00
Vítor Santos Costa
071bb36f0e fix alignment 2015-02-13 12:26:21 +00:00
Vítor Santos Costa
bfa9578d5e fix alignment 2015-02-13 12:26:08 +00:00
Vítor Santos Costa
d606a2820b bad typing 2015-02-13 12:24:50 +00:00
Vítor Santos Costa
71c9cb21b7 kill dead code 2015-02-13 12:24:15 +00:00
Vítor Santos Costa
68abafd024 YAP_FOUND says you are being compiled within YAP 2015-02-13 12:23:51 +00:00
Vítor Santos Costa
102c8a1dc1 bad typing 2015-02-13 12:21:50 +00:00
Vítor Santos Costa
3bcde55a77 -bad typing in SWI emulation. 2015-02-13 12:20:46 +00:00
Vitor Santos Costa
dd22039a59 myddas 2015-02-11 23:44:16 +00:00
Vitor Santos Costa
61625ca7ad Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-02-11 10:33:43 +00:00
Vitor Santos Costa
eef8bc8629 myddas fixes 2015-02-11 10:33:35 +00:00
Vítor Santos Costa
2d919a4a09 MPI fixes 2015-02-11 01:50:59 +00:00
Vítor Santos Costa
9743c81f05 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-02-10 09:20:12 +00:00
Vítor Santos Costa
ab41d5411e RebootSlots when we start a new execution. 2015-02-10 09:19:05 +00:00
Vítor Santos Costa
081b2a464e USE_MYDDAS when we have a driver for the DBMS 2015-02-10 09:17:59 +00:00
Vítor Santos Costa
350caa388b fix clashing properties (Paulo Moura). 2015-02-10 09:14:55 +00:00
Vitor Santos Costa
afd8c9b9c4 blanks and backslashed strings 2015-02-10 00:03:02 +00:00
Vitor Santos Costa
888a58b715 script improvements 2015-02-09 10:32:17 +00:00
Vitor Santos Costa
41baec9f6e c_interface still kicks 2015-02-09 10:31:50 +00:00
Vitor Santos Costa
cd1d347cb0 ordering 2015-02-09 10:31:19 +00:00