diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 4e09c0faf1 more flag and simplification stuff Vítor Santos Costa 2015-06-18 00:11:02 +01:00
  • e989419605 Use new YAP flags Vítor Santos Costa 2015-06-18 00:05:49 +01:00
  • 6815d4b878 I/O update, small change Vítor Santos Costa 2015-06-17 23:54:54 +01:00
  • 52c8b478e5 lots of stuff we don't want to commit Vítor Santos Costa 2015-06-17 23:54:17 +01:00
  • 48ed9083d9 remove LOCAL_PL dependency Vítor Santos Costa 2015-06-17 23:53:45 +01:00
  • 102015785a fix call to module code Vítor Santos Costa 2015-06-17 23:53:13 +01:00
  • c26b5f3175 increase the ignore list Vítor Santos Costa 2015-06-17 23:49:02 +01:00
  • 4132854fbe avoid tagging unnecessary files Vítor Santos Costa 2015-06-17 23:48:25 +01:00
  • d8fa0ac8f6 small changes with new flag system. Vítor Santos Costa 2015-05-15 00:36:16 +01:00
  • 0ed3ee4fc4 enable path expansion by default Vítor Santos Costa 2015-04-24 10:03:44 -06:00
  • d5ce9a1376 last patch had broken include. fix multiple initializations. get rid of debugging messages. Vítor Santos Costa 2015-04-22 14:21:20 -06:00
  • 18fee4eee1 fix exec and wait; support OpenSSL's md5. Vítor Santos Costa 2015-04-22 14:19:14 -06:00
  • db6074f839 cmake work Vítor Santos Costa 2015-04-21 16:12:39 -06:00
  • 3b4226bda1 cmake work Vítor Santos Costa 2015-04-21 16:12:18 -06:00
  • e043e7595e minor incompats Vítor Santos Costa 2015-04-21 16:12:01 -06:00
  • 742c299672 avoid using space on statistics Vítor Santos Costa 2015-04-21 16:11:00 -06:00
  • 660800af67 avoid using space on statistics Vítor Santos Costa 2015-04-21 16:09:43 -06:00
  • 94e2d3cf22 Ensure module files are seen as a singe instance, even if called from different modules Vítor Santos Costa 2015-04-21 16:08:58 -06:00
  • 9b0c606de3 fix atomic_list_concat/3 in splt mode Vítor Santos Costa 2015-04-21 16:07:16 -06:00
  • d1ec94c4c0 trying to fix current_predicate Vítor Santos Costa 2015-04-21 16:06:24 -06:00
  • e963c59649 fix ProbLog path issues Vítor Santos Costa 2015-04-21 09:25:12 -06:00
  • 76cd423784 cmake support for bdd package Vítor Santos Costa 2015-04-20 01:21:19 +01:00
  • e710319c0e Merge branch 'master' of github.com:vscosta/yap-6.3 Vítor Santos Costa 2015-04-19 04:13:39 +01:00
  • 4489616b19 fix current_pred Vítor Santos Costa 2015-04-19 04:13:12 +01:00
  • 81909565bc debugging msh Vitor Santos Costa 2015-04-15 17:02:02 +01:00
  • 9fca32c7ac Merge branch 'master' of github.com:vscosta/yap-6.3 Vítor Santos Costa 2015-04-15 15:10:14 +01:00
  • bfc5b4e3b1 disable wordexp Vítor Santos Costa 2015-04-15 15:07:04 +01:00
  • 800289f7bb weird module stuff Vitor Santos Costa 2015-04-15 11:45:49 +01:00
  • b97fa48cd2 typo Vítor Santos Costa 2015-04-15 11:24:24 +01:00
  • bf8beba466 more Android fixes merge trueFileName so that we don;t redo code support rand48 and srand48 drop support for odbc and prolite, too much work. Vítor Santos Costa 2015-04-15 11:21:15 +01:00
  • b14dc43bc9 initial module is user Vítor Santos Costa 2015-04-13 23:46:14 +01:00
  • 3c73a2e6d6 debugging msg Vítor Santos Costa 2015-04-13 13:35:37 +01:00
  • ecd980c491 thread support Vítor Santos Costa 2015-04-13 13:32:32 +01:00
  • ec7ddf0dba Merge branch 'master' of github.com:vscosta/yap-6.3 Vítor Santos Costa 2015-04-13 13:28:42 +01:00
  • ef586e264e android debugging plus clean-ups Vítor Santos Costa 2015-04-13 13:28:17 +01:00
  • d1a230eb56 Cosmetic changes Vítor Santos Costa 2015-04-13 13:15:30 +01:00
  • 00c58f5572 Cosmetic changes Vítor Santos Costa 2015-04-13 13:14:36 +01:00
  • b91c535ea3 Work in progress fixing evaluable type error terms Paulo Moura 2015-04-09 01:51:36 +01:00
  • 756a79995b cpp Vitor Santos Costa 2015-03-28 21:55:29 +00:00
  • cd45c04514 improve mkandroid Vitor Santos Costa 2015-03-28 20:13:52 +00:00
  • 206d6cebcf autoloading is an import, like any other Vitor Santos Costa 2015-03-28 20:13:28 +00:00
  • a8b51d80ab New files, Android stuff Vitor Santos Costa 2015-03-28 20:13:10 +00:00
  • b3c0708240 new files Vitor Santos Costa 2015-03-28 20:08:33 +00:00
  • bd829946ed autoloading is an import, like any other Vitor Santos Costa 2015-03-28 19:42:10 +00:00
  • d6e648a7ff do not use SWI path handling code: YAP should not try to control cwd, that's the OS task Vitor Santos Costa 2015-03-28 19:41:12 +00:00
  • 9709c590bf YAP should not try to control cwd, that's the OS task Vitor Santos Costa 2015-03-28 19:38:54 +00:00
  • 666b68c1fb YAP should not try to control cwd, that's the OS task Vitor Santos Costa 2015-03-28 19:38:04 +00:00
  • 6c9c410283 get rid of findExecutable Vitor Santos Costa 2015-03-28 19:36:28 +00:00
  • c7f700627d disable BOM on ttys Vítor Santos Costa 2015-03-24 09:38:52 +00:00
  • 5f7101a9e3 fix parameters for open Vítor Santos Costa 2015-03-24 09:38:02 +00:00
  • 5d27ad0243 small stuff Vítor Santos Costa 2015-03-23 16:17:24 +00:00
  • 16c8d54f0e more debugging fixes Vítor Santos Costa 2015-03-23 16:16:48 +00:00
  • 4eeacd8b7b compile myddas interface to sqlite Vítor Santos Costa 2015-03-23 07:27:10 +00:00
  • c9aa53350a remove debugging method Vítor Santos Costa 2015-03-23 07:26:03 +00:00
  • 5150dcae3d file_select Vítor Santos Costa 2015-03-20 12:50:06 +00:00
  • 2b2e21ae64 handle redirection in debugging Vítor Santos Costa 2015-03-17 23:09:33 +00:00
  • 272d28ae5f android Vítor Santos Costa 2015-03-16 17:25:09 +00:00
  • 55bd75b8d8 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2015-03-11 22:31:18 +00:00
  • 7cceb655b3 protect against crashes in bad user code Vítor Santos Costa 2015-03-11 22:23:31 +00:00
  • 04ff7f3f2d fix warning Vítor Santos Costa 2015-03-11 22:22:27 +00:00
  • 82d4716339 better compat with bdds Vítor Santos Costa 2015-03-11 22:21:48 +00:00
  • 6a0b6fad8b C++ interface and ARM/Android Vitor Santos Costa 2015-03-11 22:18:00 +00:00
  • 580bc9eb27 fix baacktrackable predicates. Vitor Santos Costa 2015-03-09 17:27:35 +00:00
  • 252a2b7868 bdd stuff Vitor Santos Costa 2015-03-08 02:15:53 +00:00
  • 26b3cb5bb7 use 4.4 for android Vítor Santos Costa 2015-03-04 10:03:25 +00:00
  • a40c205d5f New files Vítor Santos Costa 2015-03-04 10:02:25 +00:00
  • 0f2d1e8429 improve notion of standadard predicate Vítor Santos Costa 2015-03-04 10:01:33 +00:00
  • 65c97e7072 postgres Vítor Santos Costa 2015-03-04 09:59:42 +00:00
  • 5b19e9546a fix foreach Vítor Santos Costa 2015-03-04 09:59:05 +00:00
  • 9b6bcdde16 improve notion of standadard predicate Vítor Santos Costa 2015-03-04 09:54:08 +00:00
  • 5ea3fcd08f men at work Vítor Santos Costa 2015-03-04 09:52:34 +00:00
  • 48c87bd775 support fpr conj etc Vítor Santos Costa 2015-03-04 09:52:06 +00:00
  • 4386c42d02 improve cudd with bdd printing -> nodes, and true=1 false=0 Vítor Santos Costa 2015-03-04 09:50:15 +00:00
  • 3d9006db32 make var names available as a global var Vítor Santos Costa 2015-03-04 09:47:50 +00:00
  • 8ea17007f0 make var names available as a global var Vítor Santos Costa 2015-03-04 09:46:55 +00:00
  • dbfe42b360 clib and uuid support Vítor Santos Costa 2015-03-04 09:45:04 +00:00
  • da83ad447c make var names available as a global var Vítor Santos Costa 2015-03-04 09:44:26 +00:00
  • a9acacd1c5 android stopped working. Vítor Santos Costa 2015-03-04 09:43:37 +00:00
  • 8a4257d80a make var names available as a global var Vítor Santos Costa 2015-03-04 09:40:21 +00:00
  • 0839baf638 error handling should report the culprit . Vítor Santos Costa 2015-03-04 09:35:47 +00:00
  • 0b90870185 make var names available as a global var Vítor Santos Costa 2015-03-04 09:35:09 +00:00
  • 9d48f3c3c0 fix compilation of JIT (but still not working). Vítor Santos Costa 2015-02-18 10:03:57 +00:00
  • 2ebf6a5f0e android's target Vítor Santos Costa 2015-02-17 20:28:05 +00:00
  • e4b0b8c0df export Vítor Santos Costa 2015-02-17 20:27:31 +00:00
  • 291ec26d65 configuratio fixes Vítor Santos Costa 2015-02-17 20:26:46 +00:00
  • d805a474a4 redeclaration Vítor Santos Costa 2015-02-17 20:21:49 +00:00
  • a24c90334f first cut at postgres support Vítor Santos Costa 2015-02-16 11:44:37 +00:00
  • 9895ec63d0 add more lib paths Vítor Santos Costa 2015-02-16 11:43:42 +00:00
  • 1e57a2e978 path setup Vitor Santos Costa 2015-02-15 02:33:54 +00:00
  • 3d6c0e7933 avoid undefined predicates Vitor Santos Costa 2015-02-14 17:13:42 +00:00
  • 0d955797fe don't export config.h Vitor Santos Costa 2015-02-14 17:11:56 +00:00
  • 9fe1ec7e3e don't export config.h Vitor Santos Costa 2015-02-14 17:09:43 +00:00
  • 2d20db7e6d protect against mal-formed calls Vitor Santos Costa 2015-02-14 17:05:48 +00:00
  • 29ffb152e5 make module user available by default to all other modules Vitor Santos Costa 2015-02-14 11:39:07 +00:00
  • 63416fdc48 cut_c simplifications Vitor Santos Costa 2015-02-14 11:35:45 +00:00
  • ada2ad44de basic myddas with SQLITE3 Vitor Santos Costa 2015-02-14 11:35:07 +00:00
  • 071bb36f0e fix alignment Vítor Santos Costa 2015-02-13 12:26:21 +00:00
  • bfa9578d5e fix alignment Vítor Santos Costa 2015-02-13 12:26:08 +00:00
  • d606a2820b bad typing Vítor Santos Costa 2015-02-13 12:24:50 +00:00
  • 71c9cb21b7 kill dead code Vítor Santos Costa 2015-02-13 12:24:15 +00:00