Commit Graph

5500 Commits

Author SHA1 Message Date
Vítor Santos Costa
44cb6abcb6 PFL support. 2012-04-03 15:01:35 +01:00
Vítor Santos Costa
e130c26c6d improve bdd support. 2012-04-03 15:01:14 +01:00
Vítor Santos Costa
3d216cf9db iextend bdd support. 2012-04-03 15:00:22 +01:00
Vítor Santos Costa
88411f4b40 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-30 09:50:41 +01:00
Vítor Santos Costa
3563dcbf03 control for very large bdds. 2012-03-30 09:50:18 +01:00
Vítor Santos Costa
edfb13c5e9 allow users to check for out of space conditions explicitly. 2012-03-30 09:49:36 +01:00
Vítor Santos Costa
f8972365f8 fix phrase/3 2012-03-29 22:32:56 +01:00
tgomes
24b466db4e new version. 2012-03-29 12:24:29 +01:00
Vítor Santos Costa
32167b5465 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-03-28 17:55:06 +01:00
Vítor Santos Costa
7d3d9bcf41 fix module stuff. 2012-03-28 14:35:09 +01:00
Vítor Santos Costa
0a9076bf4a bdd 2012-03-28 10:59:26 +01:00
Vítor Santos Costa
d149d041a3 hack around phrase 2012-03-28 10:58:53 +01:00
Vítor Santos Costa
d3fd980474 another try at improving output of operators. 2012-03-27 16:44:11 +01:00
Vítor Santos Costa
9c685e71a7 fix - -2. 2012-03-27 15:19:07 +01:00
Vítor Santos Costa
9ff1399482 new versions of packages. 2012-03-27 14:59:22 +01:00
Vítor Santos Costa
295cf24f5c extend functionality. 2012-03-27 14:57:43 +01:00
Vítor Santos Costa
cd45c64dcc allow optimisation and preserve ordering. 2012-03-27 14:57:12 +01:00
Vítor Santos Costa
49b9c8ea50 include support for HAS_GETHOSTNAME 2012-03-27 14:55:59 +01:00
Vítor Santos Costa
04e9a3a8ed nclude limits.h 2012-03-27 14:55:39 +01:00
Vítor Santos Costa
3cb9ca11ca include ieeefp.h in yap.c 2012-03-27 14:20:34 +01:00
Vítor Santos Costa
a223c33e0b UN keysort/2 partial error checking and tiny speedup 2012-03-27 14:17:29 +01:00
Vítor Santos Costa
dc43d26c8a Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-25 21:43:43 +01:00
Vítor Santos Costa
52e5fdb6aa fix typo and export extra 2012-03-25 21:42:49 +01:00
Vítor Santos Costa
7d6b2435e0 fix typo and export extra 2012-03-25 21:42:39 +01:00
Vítor Santos Costa
a38177207d use safer method 2012-03-25 21:41:03 +01:00
Vítor Santos Costa
b6d5b79789 force parent unification when binding two variables with same key 2012-03-25 21:40:29 +01:00
Vítor Santos Costa
7d6461a527 fix order. 2012-03-23 22:26:31 +00:00
Vítor Santos Costa
9c42dfa26c UW Experimental: Superfast phrase/3. This version is simply using call/3 2012-03-23 15:00:58 +00:00
Vítor Santos Costa
52f06f5f60 un: strict iso update 2012-03-23 14:42:26 +00:00
Vítor Santos Costa
bdb855a57b make skip_list available to user code 2012-03-22 23:30:02 +00:00
Vítor Santos Costa
07335ce047 clp(bn) support 2012-03-22 23:24:09 +00:00
Vítor Santos Costa
372f3d795e fix bad use of skip_list. 2012-03-22 22:41:41 +00:00
Vítor Santos Costa
6b1574757e fix dist usage. 2012-03-22 22:32:50 +00:00
Vítor Santos Costa
caf9b757f3 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-03-22 22:23:58 +00:00
Vítor Santos Costa
f5f13541c6 old new syntax 2012-03-22 22:23:20 +00:00
Vítor Santos Costa
4c1602b74b old syntax example. 2012-03-22 22:22:16 +00:00
Vítor Santos Costa
573c11e8b2 patch by UN: Avoid writing quoted for bar. Conforms to 6.3.4.3 of ISO/IEC 13211-1:1995/Cor 2:2012 2012-03-22 22:15:07 +00:00
Vítor Santos Costa
65e61cfefd patch by UN: op/3 typo in error 2012-03-22 22:13:11 +00:00
Vítor Santos Costa
1e2abadd78 patch by UN: op/3 typo in error 2012-03-22 22:12:13 +00:00
Vítor Santos Costa
4d5c70b64b fix operator handling (by UN). 2012-03-22 22:10:23 +00:00
Vítor Santos Costa
756bba9bc5 fix by UN to do type checking on sort. 2012-03-22 22:09:08 +00:00
Vítor Santos Costa
b1ee4dfb0d fix debugging info (use flags, not global variable).:: 2012-03-22 22:06:47 +00:00
Vítor Santos Costa
857ff4b895 get rid of portray_delays. 2012-03-22 21:59:04 +00:00
Vítor Santos Costa
e6b48be445 avoid making choice-point. 2012-03-22 21:43:26 +00:00
Vítor Santos Costa
1698bb3c91 imessage for missing library. 2012-03-22 21:42:41 +00:00
Vítor Santos Costa
01b86d78cc support warning if matlab is not to be found. 2012-03-22 21:42:11 +00:00
Vítor Santos Costa
a0d2e6f285 dgraph_leaves: all leaves in a directed graph (linear time). 2012-03-22 21:41:48 +00:00
Vítor Santos Costa
4484dec044 allow writing constraints, and small fix for writing after prefix ops. 2012-03-22 21:40:42 +00:00
Vítor Santos Costa
7b78832aa7 avoid strict float checking when building arrays.w 2012-03-22 21:38:22 +00:00
Vítor Santos Costa
8c6b68278c isupport compiling bdd package. 2012-03-22 21:37:20 +00:00