diogo/yap-6.3
Arkistoidut
1
0
Fork 0
Koodi Ongelmat Pull-pyynnöt Paketit Projektit Julkaisut Wiki Toiminta

Commit Graph

  • 13130df3d9 fix bugs in corout (onbs from David Powers).wq Vítor Santos Costa 2010-09-28 00:59:39 +01:00
  • 727d549782 In OSX we don't need ncurses to have readline. Vitor Santos Costa 2010-09-28 00:03:54 +01:00
  • ca879522b7 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-09-28 00:03:36 +01:00
  • 9dd44074d2 Fixed several typos in the user manual: some ISO built-ins are not marked as such while some non-ISO built-ins are marked as ISO. Paulo Moura 2010-09-27 23:32:45 +01:00
  • b272ac33f0 cpp does not always have -o Vitor Santos Costa 2010-09-27 22:31:57 +01:00
  • bf40154ff1 fix UN #189 and #172 Vitor Santos Costa 2010-09-27 22:31:06 +01:00
  • c50ed643f9 allow atan(X,Y) again. Vitor Santos Costa 2010-09-27 22:01:38 +01:00
  • bb54a59063 autodetection of mysql and odbc for myddas Vitor Santos Costa 2010-09-27 21:59:13 +01:00
  • ba8c66f078 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Costa Vitor 2010-09-27 14:18:55 -05:00
  • 81b4298ad5 fix static compilation and condor compilation. Costa Vitor 2010-09-27 14:12:09 -05:00
  • 794b66987c Fixed a minor bug in the "wundgraphs" library: the predicate wdgraph_symmetric_closure/2 is already reexported, should not be listed in the use_module/2 directive for the same module. Paulo Moura 2010-09-26 17:27:20 +01:00
  • ce41ab9d33 Make some of the dependencies in library predicates explicit. Paulo Moura 2010-09-26 03:31:29 +01:00
  • 8e4bb51be0 Make some of the dependencies in library predicates explicit. Paulo Moura 2010-09-25 23:34:47 +01:00
  • 889e14b46b Fixing minor portability issues Paulo Moura 2010-09-25 13:51:03 +01:00
  • d994175e2f Fixed bug in test for the availability of the predicate tries:trie_disable_hash/0. Paulo Moura 2010-09-25 04:59:07 +01:00
  • c37a62b2d8 Fixing minor portability issues Paulo Moura 2010-09-25 04:09:06 +01:00
  • 8cf9568c8b Fixing minor portability issues Paulo Moura 2010-09-25 03:46:20 +01:00
  • d5879430da Fixing minor portability issues Paulo Moura 2010-09-25 02:30:05 +01:00
  • 5d1aa5844a Fixing minor portability issues Paulo Moura 2010-09-25 02:24:30 +01:00
  • 8ceca88564 Fixing minor portability issues Paulo Moura 2010-09-25 01:57:48 +01:00
  • 37cc5defda Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-09-24 19:47:22 +01:00
  • 96dd342cbc fix file_base_name (obs from Paulo Moura). Vitor Santos Costa 2010-09-24 19:47:05 +01:00
  • 639fc74145 a file bug Theofrastos Mantadelis 2010-09-24 17:39:25 +02:00
  • 5d2f7adb87 fixed makefile Theofrastos Mantadelis 2010-09-24 16:26:54 +02:00
  • 3f604d6d81 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-09-24 16:02:19 +02:00
  • a8dbd74518 Bernd fixes Theofrastos Mantadelis 2010-09-24 16:02:02 +02:00
  • 99c5a17b12 Implement Halt Hook (request from Bernd). Vitor Santos Costa 2010-09-24 14:00:53 +01:00
  • 691d66cca3 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-09-24 12:38:35 +01:00
  • 206638e92b fix checking on_signal/3 (obs from Theo Mantadelis). Vitor Santos Costa 2010-09-24 12:37:36 +01:00
  • 68f49e9bdd fix bsolute_file_name for directories (obs from Paulo Moura). Vitor Santos Costa 2010-09-24 12:14:37 +01:00
  • 4707c4c10c fix v Vitor Santos Costa 2010-09-24 12:14:20 +01:00
  • c0b1d3d40d fixing temp structure Theofrastos Mantadelis 2010-09-24 12:42:44 +02:00
  • a48d3195b2 oops Theofrastos Mantadelis 2010-09-24 12:35:01 +02:00
  • 42fc10cf58 Small changes for modularity improvements Theofrastos Mantadelis 2010-09-24 12:33:02 +02:00
  • bf75e8265b fix matlab docs (obs from David Powers) Vitor Santos Costa 2010-09-24 00:47:02 +01:00
  • eb77cfb9ed document xor Vitor Santos Costa 2010-09-24 00:45:04 +01:00
  • f9e687a971 Fix block/1 declarations and remove uses of $recorded (patch from David Powers). Vitor Santos Costa 2010-09-24 00:36:10 +01:00
  • 52a4680ac7 corrected filename back Theofrastos Mantadelis 2010-09-23 17:55:19 +02:00
  • d498986619 improved tmp file handling Theofrastos Mantadelis 2010-09-23 17:36:22 +02:00
  • b5acc03a1c Fixed LICENSE Theofrastos Mantadelis 2010-09-22 11:52:16 +02:00
  • 01776c7a48 fixes by David Powers (broadcast and >= 0) Dion't mess with linger. Vitor Santos Costa 2010-09-21 22:27:35 +01:00
  • ea0fbabedd xor can be used for exclusive disj Vitor Santos Costa 2010-09-21 22:26:24 +01:00
  • 9e3b363bfd xor should not be an operator (Ulrich's #185) Vitor Santos Costa 2010-09-21 22:25:47 +01:00
  • d19ee6094e fix use of Yap instead of YAP. Vitor Santos Costa 2010-09-21 22:20:01 +01:00
  • 425412b8ca fix bad use of DESTDIR (Keri Harris) Vitor Santos Costa 2010-09-21 22:19:44 +01:00
  • 9d0f414d30 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-09-21 22:01:08 +01:00
  • 8ee9cc2d49 fixed a bug in make install (loop) with --enable-cplint Fabrizio Riguzzi 2010-09-09 17:27:28 +02:00
  • 64d2425321 modified configure message for option --enable-cpling Fabrizio Riguzzi 2010-09-09 17:13:13 +02:00
  • 048390de0d Corrected a strange bug of ProbLog Theofrastos Mantadelis 2010-09-07 23:21:14 +02:00
  • 3399fd9e8f db tries library small null bug fix Theofrastos Mantadelis 2010-09-07 19:28:56 +02:00
  • 82a44d0277 include docs on MYDDAS, Vitor Santos Costa 2010-09-07 09:51:59 -05:00
  • 511614ee84 Corrected a minor bug introduced by last edit Theofrastos Mantadelis 2010-09-01 17:40:53 +02:00
  • fb554aadd0 changes for pdf generation in ProbLog. Vitor Santos Costa 2010-08-31 15:53:43 -05:00
  • 1b0483a4e3 ProbLog Manual Theofrastos Mantadelis 2010-08-31 13:30:40 +02:00
  • 8b9cf7dc2a YAP_SetYAP_Flag Vitor Santos Costa 2010-08-30 22:25:56 -05:00
  • 8f49db480d fix stupid code. Vitor Santos Costa 2010-08-30 21:52:11 -05:00
  • d2a4b9d6b6 div operator Vitor Santos Costa 2010-08-30 21:51:44 -05:00
  • e4a15cba33 div/2 operators (from WG17 and #176) Vitor Santos Costa 2010-08-30 21:50:33 -05:00
  • 4e04e87ab6 Fixed base case bug, db_trie learning comatibility Theofrastos Mantadelis 2010-08-30 18:12:32 +02:00
  • 835b099d98 ProbLog - simplecudd Distribution Fixed warnings Theofrastos Mantadelis 2010-08-27 17:54:22 +02:00
  • 258d8cf997 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-08-27 17:18:23 +02:00
  • 9cf76e2ab6 ProbLog Distribution Theofrastos Mantadelis 2010-08-27 17:17:01 +02:00
  • 6bdf4e4f8e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-08-26 10:46:01 -05:00
  • 6d455421a4 fix Makefile to allow make install direct Vitor Santos Costa 2010-08-26 10:45:33 -05:00
  • 0c83231d0e New ProbLog Distribution Version - all Theofrastos Mantadelis 2010-08-26 14:44:10 +02:00
  • a35f51b9d0 New ProbLog Distribution Version Theofrastos Mantadelis 2010-08-26 14:41:18 +02:00
  • 87f2588752 New ProbLog Distribution Version Theofrastos Mantadelis 2010-08-26 14:40:50 +02:00
  • 6e17b2053f fix assembly of table_try_single (report from Paolo Frasconi). Vitor Santos Costa 2010-08-19 09:32:35 +01:00
  • ca3177889c improve code in getting restore file. Vitor Santos Costa 2010-08-17 13:19:17 +01:00
  • ace9025c10 fix bad messup with program counter (obs from Ingo Molnar).q Vitor Santos Costa 2010-08-17 13:02:50 +01:00
  • 3e6ce40eb1 indenting cganges Vitor Santos Costa 2010-08-17 13:02:28 +01:00
  • 431482ac40 fix DESTDIR issues (by Keri Harris). Vitor Santos Costa 2010-08-08 00:33:29 +01:00
  • eed3eded82 remove some old SWI code (unused). Vitor Santos Costa 2010-08-06 22:48:54 +01:00
  • fcbd2b34fe fix missing ! Vitor Santos Costa 2010-08-06 01:18:58 +01:00
  • e4a76d7f1e add coinduction.yap code. Vitor Santos Costa 2010-08-06 00:58:11 +01:00
  • a4129c507d remove leftover files (obs from Bernd Gutmann) Vitor Santos Costa 2010-08-05 22:36:00 +01:00
  • 7997f2e217 remove left-over files. Vitor Santos Costa 2010-08-05 22:35:16 +01:00
  • f63915b07a Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-08-05 22:20:47 +01:00
  • 35686156ca fix Makefiles so that make clean forces recompilation everywhere. Vítor Santos Costa 2010-08-05 22:18:46 +01:00
  • 56f70a8b14 document changes. Vitor Santos Costa 2010-08-04 23:36:41 +01:00
  • 0fd0662603 ˆ/2 and ˆ/3 are not built-ins. Vitor Santos Costa 2010-08-04 23:32:46 +01:00
  • 18c3292dad and the file itself. Vitor Santos Costa 2010-08-04 23:27:17 +01:00
  • 410c4c96d5 Ulrich Neumerkel's lambda expressions. Vitor Santos Costa 2010-08-04 23:26:50 +01:00
  • b3b61bcecc FIXED: make install clpqr was broken if we used local install_sh Vitor Santos Costa 2010-08-04 22:35:57 +01:00
  • 7bf8187bba remove atan2 (WG17 UD #175) Vitor Santos Costa 2010-08-04 22:09:08 +01:00
  • 0449bf1e7f acyclic_term/1 should be builtin(ISO WG17, UD #174). Vitor Santos Costa 2010-08-04 21:50:19 +01:00
  • cf3cb21fd7 subsumes_term/2 (from ISO and UD #173). Vitor Santos Costa 2010-08-04 21:46:10 +01:00
  • 8592db72d7 start 6.0.7 Vítor Santos Costa 2010-08-04 20:29:24 +01:00
  • 1a11df148d Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 U-vsc-win7\vsc 2010-08-04 18:26:02 +01:00
  • 41a648c816 mingw compilation fixes U-vsc-win7\vsc 2010-08-04 18:05:46 +01:00
  • f1977f5dab allow saving and restoring current arguments to/from slots. Vítor Santos Costa 2010-08-04 17:36:20 +01:00
  • f2dff606ef replace call to non-existing predicate. Vítor Santos Costa 2010-08-04 13:04:17 +01:00
  • 032d9f7591 bug fixes Vítor Santos Costa 2010-08-04 13:04:09 +01:00
  • bebb236e32 improve SWI compatibility, especilaly for threaded stuff. Vítor Santos Costa 2010-08-04 11:37:12 +01:00
  • 6ee0ce8e48 support missing instructions. Vítor Santos Costa 2010-08-04 11:36:10 +01:00
  • 28de20262f initialise *all* threads. support SWI buffers. Vítor Santos Costa 2010-08-04 11:35:30 +01:00
  • 52c019ec54 cannot hold the lock while getting a char: someone else may be trying to add to the stream. Vítor Santos Costa 2010-08-04 11:34:46 +01:00
  • 2d425fb7b4 don't go set jumping if in UserCCode. Just say there is an exception. Vítor Santos Costa 2010-08-04 11:34:04 +01:00
  • e913087190 improvements in SWI emulation, especially for text. Vítor Santos Costa 2010-08-04 02:46:26 +01:00
  • 28a27f75da fix first read can-t generate an EOF. Vítor Santos Costa 2010-08-04 02:45:31 +01:00