Vítor Santos Costa
|
7e8cac9fb1
|
a step forward.
|
2012-08-13 09:23:36 -05:00 |
|
Costa Vitor
|
4756948967
|
fix processing of pfl ground networks.
|
2012-08-08 22:16:37 -05:00 |
|
Costa Vitor
|
652073caa4
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-08-08 11:17:50 -05:00 |
|
Vitor Santos Costa
|
ad609e39da
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-08-08 04:00:06 +01:00 |
|
Vitor Santos Costa
|
d5ed379068
|
recognise weird trie.
|
2012-08-08 03:59:37 +01:00 |
|
Vitor Santos Costa
|
15bcaf97fc
|
speedup.
|
2012-08-08 03:59:06 +01:00 |
|
Vítor Santos Costa
|
2b2cedc2b6
|
remove some comments and improve em interface.
|
2012-08-07 21:53:10 -05:00 |
|
Vítor Santos Costa
|
c159894c29
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-08-07 18:37:02 -05:00 |
|
Costa Vitor
|
98f68edd34
|
PFL files should have the PFL suffiv
|
2012-08-07 18:35:44 -05:00 |
|
Costa Vitor
|
e2fa3a3b8a
|
fix call to ground solvers, both using clpbn style and horus style.
|
2012-08-07 18:33:51 -05:00 |
|
Costa Vitor
|
51b47d14da
|
if/3 didn't work.
|
2012-08-07 18:32:45 -05:00 |
|
Vítor Santos Costa
|
a4ae6acbb6
|
check for Rinterface.h
|
2012-08-02 19:53:43 -05:00 |
|
Vitor Santos Costa
|
a8f0beb64b
|
close streams on exit, so that we can flush the buffers
|
2012-08-02 09:59:57 -05:00 |
|
Vítor Santos Costa
|
adef8d4737
|
fix nil name class in Snow Leopard (obs from Paulo Moura).
|
2012-08-02 09:41:14 -05:00 |
|
Vítor Santos Costa
|
d6773df815
|
fix current_stream/3.
|
2012-08-02 09:36:37 -05:00 |
|
Vitor Santos Costa
|
7458d8ee74
|
update to newer releases.
|
2012-08-01 19:48:29 +01:00 |
|
Vítor Santos Costa
|
ccb67cec96
|
ISO-patch, thanks to Ulrich Neumerkel.
|
2012-07-31 08:33:46 -05:00 |
|
Vítor Santos Costa
|
21e7f359dc
|
emulate old socket interface: correct docs.
|
2012-07-26 16:18:16 -04:00 |
|
Vítor Santos Costa
|
e7551b106a
|
emulate old yap socket (thanks to Jan code).
|
2012-07-26 16:16:26 -04:00 |
|
Vítor Santos Costa
|
9d48e0ed79
|
fix compatibility with unix library.
|
2012-07-25 22:36:19 -04:00 |
|
Vítor Santos Costa
|
a69a509b11
|
check if strlwr exists
|
2012-07-24 21:51:30 -04:00 |
|
Vítor Santos Costa
|
5e78479fb2
|
fix typo.
|
2012-07-18 17:58:09 -05:00 |
|
Vítor Santos Costa
|
2852f82b72
|
updaate.
|
2012-07-18 17:57:39 -05:00 |
|
Costa Vitor
|
2019c218f1
|
make cuud detection more robust.
|
2012-07-18 17:56:04 -05:00 |
|
Costa Vitor
|
53b694edd0
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-07-18 17:36:10 -05:00 |
|
Costa Vitor
|
c8ef4dbdb4
|
we cannot trust that just having on reference will protect a clause. Several references may go in a single operation!
|
2012-07-18 14:32:53 -05:00 |
|
Costa Vitor
|
efc857b3e1
|
small fixes.
|
2012-07-16 14:10:22 -05:00 |
|
Costa Vitor
|
82d6640fea
|
fix bad counting.
|
2012-07-16 14:09:56 -05:00 |
|
Costa Vitor
|
8ba1de7250
|
fixes for external CUDD compatibility.
|
2012-07-16 11:58:21 -05:00 |
|
Vítor Santos Costa
|
a99412c48f
|
fix gall to gc.
|
2012-07-16 10:20:56 -05:00 |
|
Vítor Santos Costa
|
61439cdd12
|
iimprove dbusage debugging module.
|
2012-07-16 10:19:15 -05:00 |
|
Vítor Santos Costa
|
1fc641b7d1
|
add module aware versions of pred interface.
|
2012-07-13 14:57:12 -05:00 |
|
Vítor Santos Costa
|
ec0437664c
|
fix loop in db_dynamic.
|
2012-07-13 14:56:50 -05:00 |
|
Vitor Santos Costa
|
d78a55ca83
|
fix cudd support.
|
2012-07-08 07:45:16 -05:00 |
|
Vítor Santos Costa
|
bc8c9a423a
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
packages/jpl
|
2012-07-07 09:54:27 -05:00 |
|
Vítor Santos Costa
|
1e1d49e112
|
allow installing examples by defult.
|
2012-07-07 09:43:07 -05:00 |
|
Vítor Santos Costa
|
d9decfe003
|
fix example path in meld.
|
2012-07-06 18:58:35 -05:00 |
|
Vítor Santos Costa
|
8a22258fdf
|
use standard paths for installing examples.
|
2012-07-06 18:56:05 -05:00 |
|
Vítor Santos Costa
|
50a7acdae0
|
install chr examples by default.
|
2012-07-06 18:50:50 -05:00 |
|
Vítor Santos Costa
|
f166b8bfb6
|
make sure library_path is initialised at boot time, so that people get no
surprises.
|
2012-07-06 18:49:02 -05:00 |
|
Vitor Santos Costa
|
c67edd877a
|
learning is debugging
|
2012-07-03 19:48:13 +01:00 |
|
Vitor Santos Costa
|
b4b1e68c35
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2012-07-03 16:03:27 +01:00 |
|
Tiago Gomes
|
4af5a90b8b
|
re-enable all elimination heuristics
|
2012-07-02 22:53:44 +01:00 |
|
Vitor Santos Costa
|
79b4c6cb25
|
new version.
|
2012-07-02 20:04:02 +01:00 |
|
Vitor Santos Costa
|
5fb55b2535
|
inline fixes.
|
2012-07-02 20:03:46 +01:00 |
|
Vitor Santos Costa
|
51c8142cb1
|
Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
Conflicts:
H/yapio.h
|
2012-07-02 19:58:04 +01:00 |
|
Miguel Areias
|
bc21735ff1
|
fixed compilation bug (Prof. Vitor Costa)
|
2012-07-02 19:48:58 +01:00 |
|
Denys Duchier
|
97163fa150
|
place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same.
|
2012-06-30 20:42:14 +02:00 |
|
Tiago Gomes
|
7a3d39551b
|
improve the way we compute hashs for counting bp
|
2012-06-30 19:25:29 +01:00 |
|
Denys Duchier
|
a34b45bcc0
|
distinguish gcc and clang for INLINE_ONLY
|
2012-06-30 17:51:47 +02:00 |
|