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

Commit Graph

  • 150d54d527 fix jpl vsc 2010-12-31 05:39:22 +00:00
  • 58b838b8e1 fix bad overflow handling vsc 2010-12-31 05:37:25 +00:00
  • 05e15454ee fix typo. Vitor Santos Costa 2010-12-30 23:21:31 -06:00
  • 088869c5ea make yap return an error on undef preds by default. Vitor Santos Costa 2010-12-30 23:21:07 -06:00
  • 4e8e81f044 don't ask for solutions if we know there are none left. Vitor Santos Costa 2010-12-30 23:20:49 -06:00
  • 8161cf64b7 fix overflow in atom_to_term error (UN #206) Vitor Santos Costa 2010-12-30 23:00:10 -06:00
  • 5367381154 fix 10E1 in ISO mode. Vitor Santos Costa 2010-12-30 22:51:52 -06:00
  • fa0e2d6954 Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2010-12-30 22:45:06 -06:00
  • 5feb6a9dc5 SWI emulation: it is unsafe to keep arguments in regs. Vitor Santos Costa 2010-12-30 22:42:30 -06:00
  • 7c86b244b9 patches from Keri Harris Vitor Santos Costa 2010-12-30 22:14:45 -06:00
  • d64af810da force wakeups before ! Vitor Santos Costa 2010-12-29 09:29:42 -06:00
  • eb4e59652f fix getStrem in Vitor Santos Costa 2010-12-29 09:29:30 -06:00
  • 8499f36f0b Fixed the tmp_file/2, added tmpdir/1. Theofrastos Mantadelis 2010-12-20 17:33:23 +01:00
  • 8d77ee7769 ProbLog: Added fact map export Theofrastos Mantadelis 2010-12-20 12:36:59 +01:00
  • 8cee9a27c7 Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2010-12-19 22:07:44 +00:00
  • 1533d0bbd7 more fixes to PL_get_codes. Vitor Santos Costa 2010-12-19 22:06:41 +00:00
  • f4d82b0f58 looks like sound. Vitor Santos Costa 2010-12-19 22:01:37 +00:00
  • 02fbaf958a Fixed a few issues in the glue code for SWI-Prolog compatibility. Roberto Bagnara 2010-12-19 20:45:01 +01:00
  • 95281f78ee fix leap over meta-predicates. Vitor Santos Costa 2010-12-19 21:57:40 +00:00
  • 168a6366f8 enable obtaining current stream_position from SWI.y Vitor Santos Costa 2010-12-19 21:32:13 +00:00
  • cb7c2e0ca8 Fixed PL_is_integer() and PL_is_number() so as to take bignums into account. Roberto Bagnara 2010-12-19 18:49:50 +01:00
  • ae89fa5728 make SWIgetc check for EOF and \n Vítor Santos Costa 2010-12-19 14:10:25 +00:00
  • cede94f6d2 creeping should not prevent wake ups. Vítor Santos Costa 2010-12-19 13:52:42 +00:00
  • 26c265ba13 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-17 20:27:26 +00:00
  • 4b2156446a ifix writeln in SWI mode Vítor Santos Costa 2010-12-17 20:26:45 +00:00
  • b5d486279a fix a trie backward traverse bug Theofrastos Mantadelis 2010-12-17 12:29:56 +01:00
  • 90041919d4 fixed problogbdd compilation warnings Theofrastos Mantadelis 2010-12-17 12:23:03 +01:00
  • 0c7f207627 make format/n swi aware. Vitor Santos Costa 2010-12-17 00:11:05 +00:00
  • 81ca149be7 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-16 22:22:44 +00:00
  • cfe0dda995 more bigint and dbterm fixes. Vítor Santos Costa 2010-12-16 22:21:46 +00:00
  • 5a2d908489 fix restore of instructions that manipulate bigints or db terms. Vítor Santos Costa 2010-12-16 20:39:53 +00:00
  • a442d888de Newest ProbLog version Theofrastos Mantadelis 2010-12-16 14:30:50 +01:00
  • 9a45897308 fix _longjmp Vitor Santos Costa 2010-12-16 01:31:19 +00:00
  • 7ad5bc0214 include amasm.c Vitor Santos Costa 2010-12-16 01:30:05 +00:00
  • 6e2947e8c4 avoid _longjmp Vitor Santos Costa 2010-12-16 01:22:10 +00:00
  • 81c53241e7 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2010-12-16 00:34:03 +00:00
  • 2dad416011 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-15 20:04:13 +00:00
  • 4546a22101 SWI seems to use t=0 for user_input/output. Not very clear why... Vítor Santos Costa 2010-12-15 20:03:22 +00:00
  • d1665c7462 improve checking for _setjmp, I hope. Vítor Santos Costa 2010-12-15 12:47:21 +00:00
  • 1ca5c92469 fix goal expansion for with_output_to in SWI mode (obs from Roberto Bagnara). Vítor Santos Costa 2010-12-15 12:08:26 +00:00
  • ba6567285c Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2010-12-15 00:07:02 +00:00
  • bd6da9dd40 fix reconsult of multifile predicates (static). Vitor Santos Costa 2010-12-15 00:06:14 +00:00
  • 68539ab1e0 make sure with_output_to argument is not rewritten. Vitor Santos Costa 2010-12-14 23:46:17 +00:00
  • 782fe00123 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-14 12:40:15 +00:00
  • 828f8b07f7 make YAP more compatible with SWI by going inside 0 arguments (obs from Roberto). Vítor Santos Costa 2010-12-14 12:39:24 +00:00
  • 57aafe5d23 don't use with_output_to/2 from PLStream: it gets confused by whose stdout it should write to. Vítor Santos Costa 2010-12-14 12:04:44 +00:00
  • 628ae12d15 ifix warning message. Vítor Santos Costa 2010-12-14 12:04:33 +00:00
  • eb82f5fa2a more fixes to recursive call execution and backtracking from within C-mode. semweb java example now working. Vítor Santos Costa 2010-12-14 09:30:40 +00:00
  • 666ef1877d itry to respect SWI semantics on expand_goal/2. Vítor Santos Costa 2010-12-13 22:03:54 +00:00
  • eec588f488 distribute goal_Expansion over comma Vítor Santos Costa 2010-12-13 21:33:43 +00:00
  • f89f7e8e98 PL_set_engine should always return a sensible answer, even if multi-threading is not on. Vítor Santos Costa 2010-12-13 21:07:35 +00:00
  • 9bea8b5f82 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-13 20:39:44 +00:00
  • 3933ee4053 fix slot initialization problem. Vítor Santos Costa 2010-12-13 20:39:12 +00:00
  • 9f8f8ee73e fix missing cut (obs from Bernd). Vítor Santos Costa 2010-12-13 19:35:16 +00:00
  • 0e32680331 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-13 19:14:52 +00:00
  • 1369057cc4 fix style checker to be more self-contained. Vítor Santos Costa 2010-12-13 19:13:33 +00:00
  • a735297eb2 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2010-12-13 15:51:01 +00:00
  • dffacb814b Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2010-12-13 12:40:07 +00:00
  • 3c4da56af2 allow write to find out about SWI streams in SWI mode. Vitor Santos Costa 2010-12-13 12:38:37 +00:00
  • eeb6ef1d17 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-12 19:20:24 +00:00
  • 7c2c3febe5 checker should be called after preprocessing (obs from Roberto Bagnara). Vítor Santos Costa 2010-12-12 19:19:49 +00:00
  • 51e9cb14a7 nl should be in the SWI IO (obs from Roberto Bagnara). Vítor Santos Costa 2010-12-12 19:07:24 +00:00
  • 2d1ece71c8 iget rid of message. Vítor Santos Costa 2010-12-12 19:05:49 +00:00
  • 2e319c50ba make sure that atom garbage collector knows about foreign function names. Vítor Santos Costa 2010-12-12 18:28:55 +00:00
  • efc341597f Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-12 16:47:42 +00:00
  • b0e44bc276 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-12-12 16:46:12 +00:00
  • 378035a4b0 fix bad marking of dbterms (obs from Ines Dutra). Vítor Santos Costa 2010-12-12 16:45:39 +00:00
  • 76ee19ab59 Corrected the meta_predicate/1 directive for the built-in tabling predicate tabling_mode/2. Paulo Moura 2010-12-09 18:21:26 +00:00
  • b086d8b5cd Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-07 18:21:50 +00:00
  • e7f5c50707 fix restore foreign functions Vítor Santos Costa 2010-12-07 18:21:10 +00:00
  • 1bbded5ef7 memfiles need swi compat streams. Vítor Santos Costa 2010-12-07 18:20:45 +00:00
  • c08e99a77c fix mapnodes/2 (obs from Ingo Molnar). Vítor Santos Costa 2010-12-07 17:50:51 +00:00
  • 3654aa1088 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2010-12-07 15:08:44 +00:00
  • 30b0160b0d Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-07 15:08:25 +00:00
  • 21bbffceda make sure we rebuild saved state stuff even if we do not actually enter top-level. fix bug with some definitions being reset at load time. Vítor Santos Costa 2010-12-07 15:06:53 +00:00
  • 7874c790f3 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-06 20:16:05 +00:00
  • 1deb6d2663 fix order at boot Vítor Santos Costa 2010-12-06 20:15:05 +00:00
  • c085e68529 document YAP_Throw Vítor Santos Costa 2010-12-06 20:14:51 +00:00
  • 35db431020 Merge ../yap-6.2 Vitor Santos Costa 2010-12-05 00:09:08 +00:00
  • 8290341a5f fix typo Vitor Santos Costa 2010-12-05 00:07:22 +00:00
  • 5a5be3b31c Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-04 19:06:10 +00:00
  • 8db05c883b make sure we separate betwen async exceptions and synchroneous. Vítor Santos Costa 2010-12-04 19:05:13 +00:00
  • c6f41e2970 YAP_FAIL_ERROR in case a fail has been requested, but not accepetd yet. Vítor Santos Costa 2010-12-04 18:45:09 +00:00
  • bb2bf27b09 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-03 15:15:00 +00:00
  • 268a378ba0 fix p(X) :- once((X, write(yippee), nl)). (obs from Gerlof Bouma). Vítor Santos Costa 2010-12-03 15:14:00 +00:00
  • 2690c1af66 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-03 12:41:10 +00:00
  • 552d424ee0 debugger should use the same code that system uses to find undefined predicates. Vítor Santos Costa 2010-12-03 12:40:30 +00:00
  • 856a32bd19 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-03 12:13:14 +00:00
  • f8806bed9f explicitely link pthreads in clib. Vítor Santos Costa 2010-12-03 12:12:15 +00:00
  • bdd7ea45d1 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-02 19:58:28 +00:00
  • 2f6733e37a add expand_file_name/2 Vítor Santos Costa 2010-12-02 19:57:55 +00:00
  • 4e0390da5c Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2010-12-02 19:42:52 +00:00
  • af6bf40985 fix SWI functor handling to work with 32 bits. (for now) Vítor Santos Costa 2010-12-02 19:41:48 +00:00
  • 2713ac27b6 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-12-02 19:38:15 +00:00
  • f03f353722 make swi functors more robust to confusion with atoms. Vítor Santos Costa 2010-12-02 19:25:10 +00:00
  • 9ee83ddf6c problog examples fix Theofrastos Mantadelis 2010-12-02 15:04:42 +01:00
  • f46000cd11 office fix Theofrastos Mantadelis 2010-12-02 15:02:49 +01:00
  • df162a0ae6 Updating ProbLog and adding ADs Theofrastos Mantadelis 2010-12-02 14:55:15 +01:00
  • b54517d419 Updating ProbLog and adding ADs Theofrastos Mantadelis 2010-12-02 14:54:47 +01:00
  • d3cdc8d2b9 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-12-02 14:48:39 +01:00