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

Commit Graph

  • 9c100ae09d fix INCREMENTAL_COPY delay P until Q has copied trailed bindings (should not be needed, but hey!) don't trust TR when copying bindings. vsc 2010-02-03 22:52:45 +00:00
  • 976ae73266 fix get_dbterm compilation. vsc 2010-02-03 18:52:10 +00:00
  • 9c85f67eee fix one more CP field to offset. Vitor Santos Costa 2010-02-02 23:42:15 +00:00
  • 929995f5a1 fix compilation problems. Vitor Santos Costa 2010-02-01 21:44:21 +00:00
  • 3b1ab8cfd9 do not recover space if there is an overflow. (obs from Paulo Moura). Vitor Santos Costa 2010-02-01 21:43:45 +00:00
  • 9d1f0cd361 incremental copying with or-threads. Vítor Manuel de Morais Santos Costa 2010-02-01 20:05:01 +00:00
  • eea6932e23 fix undefined error in the absence of tabling (obs from Paulo Moura). Vitor Santos Costa 2010-01-31 23:13:30 +00:00
  • 6b0136b836 updated jpl package. Vitor Santos Costa 2010-01-31 23:07:52 +00:00
  • a0b48eb108 protect against calls to garbage collector (obs from Paulo Moura). Vitor Santos Costa 2010-01-31 23:03:55 +00:00
  • 6b8c2b096a make sure everything is close together. Vitor Santos Costa 2010-01-31 23:03:27 +00:00
  • 10744069fc fix global variable core dump in threaded yapor. Vítor Manuel de Morais Santos Costa 2010-01-29 18:09:07 +00:00
  • 404331ac0f do not force gcc Vítor Manuel de Morais Santos Costa 2010-01-29 16:11:40 +00:00
  • 4d341f2aab fix bad call to gc (obs from Jose Santos). Vítor Manuel de Morais Santos Costa 2010-01-29 15:21:00 +00:00
  • d0fdcba231 make it compile support non-incremental copy. Vítor Manuel de Morais Santos Costa 2010-01-29 12:28:23 +00:00
  • f56b9ab426 each OPTYap worker needs its own auxiliary stack! Vítor Manuel de Morais Santos Costa 2010-01-29 12:28:00 +00:00
  • 4b8d655437 cut cps are different from everyone else? Vítor Manuel de Morais Santos Costa 2010-01-28 15:44:31 +00:00
  • 5b47d00cbc replace by macros wherever possible. Vítor Manuel de Morais Santos Costa 2010-01-28 15:43:52 +00:00
  • 139fc6c440 small fixes for CUT_C Vítor Manuel de Morais Santos Costa 2010-01-28 15:42:49 +00:00
  • 995e8f6dc7 fix cut handling with threads do not compile or.threadengine unless yapor on. Vitor Santos Costa 2010-01-27 11:01:28 +00:00
  • f9bf676cb8 disable BP_FREE on 64 bits amd64 Vitor Santos Costa 2010-01-27 11:00:25 +00:00
  • b4b9891242 fix for gprof in 64 bit OSX. Vitor Santos Costa 2010-01-27 10:59:59 +00:00
  • cfba7815c1 fix compilation in OSX, WINDOWS Vitor Santos Costa 2010-01-26 23:36:00 +00:00
  • 484af95732 boot file is now in c-interface. Vitor Santos Costa 2010-01-26 23:24:15 +00:00
  • 6700981b63 fix typo (obs from Bernd Gutmann) Vitor Santos Costa 2010-01-26 22:27:00 +00:00
  • 74f3142499 faster calls Vitor Santos Costa 2010-01-26 22:26:08 +00:00
  • bcc4a27206 cut_succeed and cut_fail should recover pool of try_c and should do trim_trail (not that the latter really matters). Vítor Manuel de Morais Santos Costa 2010-01-26 18:03:09 +00:00
  • 4283f44ebc remove bad opt from dynamic loading in Linux (messup with OSX). Vítor Manuel de Morais Santos Costa 2010-01-26 18:02:30 +00:00
  • 98c0964c80 iget rid of annoying message. Vítor Manuel de Morais Santos Costa 2010-01-26 16:35:15 +00:00
  • b94a667972 fix uninited nb if booting from prolog (obs from nf). Vítor Manuel de Morais Santos Costa 2010-01-26 12:37:10 +00:00
  • 110f1c7977 improve SWI interface compatibility Vitor Santos Costa 2010-01-26 12:21:06 +00:00
  • b112574dc5 booting should not be console controlled. Vitor Santos Costa 2010-01-26 12:20:46 +00:00
  • df267a07b9 be able to parse "hello" Vitor Santos Costa 2010-01-26 12:19:48 +00:00
  • 8ec6791183 add atom_to_term/3. Vitor Santos Costa 2010-01-26 12:19:13 +00:00
  • b0ea945ebc Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vítor Manuel de Morais Santos Costa 2010-01-26 11:40:47 +00:00
  • 4d54ea4c92 improve PP on threaded version Vítor Manuel de Morais Santos Costa 2010-01-26 11:40:32 +00:00
  • 2702c7e973 oops, forgot deref Vitor Santos Costa 2010-01-25 21:28:51 +00:00
  • 0d38d67dfa add missing interface functions. Vitor Santos Costa 2010-01-25 12:29:51 +00:00
  • c8ee7259d7 allow MMAP variable on OSX. Vitor Santos Costa 2010-01-25 12:29:27 +00:00
  • 5cd85f4eaa export Yap_IsGroundTerm(t) Vitor Santos Costa 2010-01-25 12:28:49 +00:00
  • cd5a1b24e3 add some more mac stuff Vitor Santos Costa 2010-01-25 12:28:16 +00:00
  • 98769ce9af fix case where debugger was finding the wrong clause. Vitor Santos Costa 2010-01-25 10:21:40 +00:00
  • 87a075bd28 avoid unnecessy retry ports Vitor Santos Costa 2010-01-25 10:21:21 +00:00
  • 30e5e5d803 protect hooks within spy Vitor Santos Costa 2010-01-25 09:02:15 +00:00
  • de46b64eee allow debugging inside directives. Vitor Santos Costa 2010-01-25 09:02:00 +00:00
  • ce3a193ae7 fix forgotten unlocks. Vitor Santos Costa 2010-01-25 09:01:04 +00:00
  • ad3bf0b178 pthread_locking is required for CYGWIN and Mac. Vitor Santos Costa 2010-01-22 22:30:43 +00:00
  • d2bf8c717d make sure it compiles under YAPOR alone. Vitor Santos Costa 2010-01-22 22:30:11 +00:00
  • 6da35f6e7b count the number of alternatives left plus the actual choicepoint!! Vitor Santos Costa 2010-01-22 22:29:40 +00:00
  • 7854f39fb9 in SYSTEM_MALLOC, save_heap makes no sense (as it stands). Vitor Santos Costa 2010-01-22 22:29:07 +00:00
  • e73b3e1a6b Merge branch 'master' of git@gitorious.org:yap-git/mainline Vitor Santos Costa 2010-01-21 22:30:24 +00:00
  • a7c1e9afba fix hashing over empty atoms (obs from Jose Santos). Vítor Manuel de Morais Santos Costa 2010-01-21 15:21:26 +00:00
  • 1187e58005 fix unnecessary unlocking (obs from Jiefei Ma). Vítor Manuel de Morais Santos Costa 2010-01-21 15:05:59 +00:00
  • 3a0179ca9d fix XOPEN_SOURCE complaint. Vítor Manuel de Morais Santos Costa 2010-01-21 15:05:30 +00:00
  • 7bdc216cf6 get rid of the 0x0x problem. Vítor Manuel de Morais Santos Costa 2010-01-21 15:05:01 +00:00
  • aaabdbb9a7 fix 0x0x on Macs (obs from Paulo Moura). Vitor Santos Costa 2010-01-21 10:08:36 +00:00
  • fa9425cd21 make sure there is indexing code after a record_at Vitor Santos Costa 2010-01-21 10:00:24 +00:00
  • 2edc06b6a2 fix unifiable for attributed variables (obs from Jiefei Ma). Vitor Santos Costa 2010-01-21 09:47:55 +00:00
  • e860bd7ee1 fix initialization/1 (obs from Paulo Moura). Vitor Santos Costa 2010-01-18 14:34:30 +00:00
  • d78591f73c don't forget that we may have aaa and aa in substring. Vitor Santos Costa 2010-01-18 14:27:56 +00:00
  • 8f9f1223e7 fix sub_atom(xxx,_,_,_,'') (obs from David Vaz). Vitor Santos Costa 2010-01-17 00:04:17 +00:00
  • e86b28911f improve performance of depth_limit call. Vitor Santos Costa 2010-01-17 00:03:55 +00:00
  • d3f0410c7d include PL_get_intptr Vítor Manuel de Morais Santos Costa 2010-01-15 16:21:43 +00:00
  • 0c29616bc2 SWI-compatible for initialization/2· Vítor Manuel de Morais Santos Costa 2010-01-15 16:21:29 +00:00
  • 89e38cbcc0 or_last is different under yapor. Vítor Manuel de Morais Santos Costa 2010-01-15 16:15:36 +00:00
  • af32dc1a9c make cut_c default. Vítor Manuel de Morais Santos Costa 2010-01-15 15:09:18 +00:00
  • ffdf270a3d make SWI-Prolog get YAP stuff from include/Yap at run-time. Vítor Manuel de Morais Santos Costa 2010-01-15 14:39:03 +00:00
  • 44a418bd04 small orp fixes. Vitor Santos Costa 2010-01-15 12:04:01 +00:00
  • 7da431fe00 fix fix :( Vitor Santos Costa 2010-01-15 10:58:58 +00:00
  • 0ae63bf0e2 ubmodules. Vitor Santos Costa 2010-01-15 01:03:48 +00:00
  • 70c762c162 fix undefined predicate (made Logtalk loop). Vitor Santos Costa 2010-01-15 01:03:34 +00:00
  • d93b24920d fix bad library order Vitor Santos Costa 2010-01-15 01:02:24 +00:00
  • ff628b8e78 move to more recent interface. Vitor Santos Costa 2010-01-15 00:49:05 +00:00
  • 2727c04935 fix install of ProbLog. Vitor Santos Costa 2010-01-15 00:31:26 +00:00
  • a498dc1265 icompile table+orp Vítor Manuel de Morais Santos Costa 2010-01-14 17:38:39 +00:00
  • 5ef31fbfd2 experiment in or-parallel threads. Vítor Manuel de Morais Santos Costa 2010-01-14 15:58:19 +00:00
  • ac104aac9c revert previous commit. Vítor Manuel de Morais Santos Costa 2010-01-14 15:57:16 +00:00
  • 69caa6d5df upgrade to more recent version of ProbLog. Vítor Manuel de Morais Santos Costa 2010-01-14 15:46:46 +00:00
  • 0343a1da5a fix g++ on win Vítor Manuel de Morais Santos Costa 2010-01-14 15:44:34 +00:00
  • 31314c8059 fix warning about not checking output. Vítor Manuel de Morais Santos Costa 2010-01-14 15:43:18 +00:00
  • 8d5c490ff7 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-01-12 22:21:46 +00:00
  • d4b14648b0 fix confusion with SWI handling of C-backtrackable predicates. Vítor Manuel de Morais Santos Costa 2010-01-12 14:58:48 +00:00
  • bf52be1ece add extra options for SWI compatibility: notice, attributes/1 is not actually implemented within write yet! Vítor Manuel de Morais Santos Costa 2010-01-12 14:27:32 +00:00
  • 4670e456a5 do not check for bom over binary files (obs from Nuno Fonseca). Vítor Manuel de Morais Santos Costa 2010-01-12 14:08:38 +00:00
  • e41c7a05c1 fix restoring of LU try chains. Vitor Santos Costa 2010-01-12 10:08:38 +00:00
  • 5824e5ecea fix debugging info. Vitor Santos Costa 2010-01-12 10:08:15 +00:00
  • 02108d2017 make it so that we always use the fixed op for |. Needs improement. Vitor Santos Costa 2010-01-12 10:06:10 +00:00
  • 324833f84a fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira). Vítor Manuel de Morais Santos Costa 2010-01-11 15:44:43 +00:00
  • e86a995dd2 fix bad test faster interface to eval (obs from Jose Santos) Vitor Santos Costa 2010-01-11 10:35:36 +00:00
  • 5fc26e1b45 improve emulataion of backtrackable SWI c-code (request from NF). Vitor Santos Costa 2010-01-06 11:25:15 -02:00
  • b0df6b25cd support cases where we do not have g++ or we don't want minisat. Vitor Santos Costa 2010-01-06 11:24:55 -02:00
  • a7e6c5672e try to speed up eval a bit. Vitor Santos Costa 2010-01-04 21:16:42 -02:00
  • a792174a0e add dependency on yap2swi.c Vitor Santos Costa 2010-01-04 21:16:27 -02:00
  • 33f3dcc3d1 avoid excessive error testing Vitor Santos Costa 2010-01-03 15:43:07 -02:00
  • da4aa804a7 improve error handling for is/2. Vitor Santos Costa 2010-01-03 15:42:51 -02:00
  • ab0913a2df ask for space proportional to the free trail space at trail overflow. Vitor Santos Costa 2009-12-21 10:26:00 -02:00
  • 6d1eec34db make atom locking compatible with SWI-Prolog. Vitor Santos Costa 2009-12-21 10:12:47 -02:00
  • 6ec92ac5c0 handle correctly file rewind in the presence of ungetc (obs from Jose Santos). Vitor Santos Costa 2009-12-19 19:57:20 -02:00
  • 5f0f91208d fix compilation of threads+tabling Vitor Santos Costa 2009-12-18 00:19:49 -02:00
  • 79a1d3e13c fix thread stuff (obs from Jiefei Ma). Vitor Santos Costa 2009-12-17 23:55:09 -02:00
  • 5b8dc25eff fix locking stuff. Vitor Santos Costa 2009-12-17 16:11:02 -02:00