Vitor Santos Costa
|
7488ef0539
|
ifix bug in checking for free space.
|
2012-05-08 12:55:34 +01:00 |
|
Vitor Santos Costa
|
4945e390f1
|
detect C++ flags and compile horus accordingly
|
2012-05-03 15:40:33 +01:00 |
|
Vítor Santos Costa
|
9b0b6ec649
|
fix stop_low_level_trace.
P Moura request for (?).
|
2012-05-02 10:09:26 +01:00 |
|
Vítor Santos Costa
|
0efe86f3ba
|
fix bad fix on modules, hope this one works.
|
2012-04-30 15:35:17 +01:00 |
|
Vítor Santos Costa
|
2bfc88db98
|
fix module dereferencing.
|
2012-04-27 16:30:23 +01:00 |
|
Vítor Santos Costa
|
067d6d3f4f
|
fix problog experiment.
|
2012-04-27 16:30:02 +01:00 |
|
Vítor Santos Costa
|
5ee39c6f08
|
back to original version.
|
2012-04-27 16:20:40 +01:00 |
|
Vítor Santos Costa
|
9e36576951
|
fix implicit import
|
2012-04-27 15:52:03 +01:00 |
|
Vítor Santos Costa
|
6bb4db125d
|
fix names.
|
2012-04-27 15:33:32 +01:00 |
|
Vítor Santos Costa
|
60184e230d
|
new lbdd stuff.
|
2012-04-27 15:32:57 +01:00 |
|
Vítor Santos Costa
|
ceb0c1f5ac
|
new support file.
|
2012-04-27 15:32:17 +01:00 |
|
Vítor Santos Costa
|
823066f9da
|
use library for learning.
|
2012-04-27 15:30:39 +01:00 |
|
Vítor Santos Costa
|
fd4bf21ece
|
fix file names.
|
2012-04-27 15:26:44 +01:00 |
|
Vítor Santos Costa
|
fd755f0b7e
|
allow ProbLog to use lbdd.
|
2012-04-26 13:52:09 +01:00 |
|
Vítor Santos Costa
|
c3eb3db4ed
|
call gc if we set dead mega clauses.
|
2012-04-23 23:28:41 +01:00 |
|
Vítor Santos Costa
|
5b443bdc46
|
fix marking of dead mega clauses */
|
2012-04-23 23:24:35 +01:00 |
|
Ricardo Rocha
|
cd5e1211c5
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-04-23 18:57:14 +01:00 |
|
Ricardo Rocha
|
42631bcc71
|
missing cache regs
|
2012-04-23 18:57:10 +01:00 |
|
Vítor Santos Costa
|
d7c7ef1c01
|
ifix signdeness stuff.
|
2012-04-23 17:26:49 +01:00 |
|
Vítor Santos Costa
|
fe82747031
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-04-23 15:51:05 +01:00 |
|
Vítor Santos Costa
|
24d09ffde5
|
fix trailing issues in numbervars.
|
2012-04-23 15:50:01 +01:00 |
|
Ricardo Rocha
|
a6ff7528d1
|
missing variable declaration
|
2012-04-23 15:39:49 +01:00 |
|
Vitor Santos Costa
|
f24bf2e2cd
|
full school
|
2012-04-23 07:13:58 -05:00 |
|
Vitor Santos Costa
|
32a905bc8b
|
ddnnf support
|
2012-04-23 07:13:25 -05:00 |
|
Vitor Santos Costa
|
040c1c7fa7
|
more ddnnf stuff
|
2012-04-23 07:13:01 -05:00 |
|
Vítor Santos Costa
|
a9434aed37
|
more gc changes.
|
2012-04-20 23:45:16 +02:00 |
|
Vitor Santos Costa
|
3aee05ae9e
|
Merge branch 'master' of /home/vitor/yap-6.3
|
2012-04-20 16:44:27 -05:00 |
|
Vitor Santos Costa
|
22f702f8e4
|
ddnnfs.
|
2012-04-20 16:43:30 -05:00 |
|
Vitor Santos Costa
|
220f7e6efc
|
support mtbdds.
|
2012-04-20 16:42:59 -05:00 |
|
Vitor Santos Costa
|
178ad27db8
|
better understanding of ddnnf.
|
2012-04-20 07:07:19 -05:00 |
|
Vítor Santos Costa
|
e11d8bbda1
|
fix module generating detection and messages.
|
2012-04-20 12:29:10 +02:00 |
|
Vítor Santos Costa
|
753170bf7c
|
fix synatx error.
|
2012-04-20 12:28:42 +02:00 |
|
Vitor Santos Costa
|
c3da25227f
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-04-19 01:01:11 -05:00 |
|
Vitor Santos Costa
|
49b936db67
|
avoid read-only flags.
|
2012-04-19 01:00:29 -05:00 |
|
U-WIN-UA9ACS5GS9N\vitor
|
19807d46f7
|
WIN32 and CYGWIN fixes.
|
2012-04-18 14:14:56 -05:00 |
|
Vítor Santos Costa
|
81be229e22
|
fix SWI error handling.
|
2012-04-18 01:09:23 +02:00 |
|
Vítor Santos Costa
|
fac8af303d
|
fix call to gc.
|
2012-04-18 00:57:43 +02:00 |
|
Vítor Santos Costa
|
b26d266ed6
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-04-17 00:22:15 +01:00 |
|
Vítor Santos Costa
|
2cfb744b07
|
fix bad frame pointer.
|
2012-04-17 00:21:08 +01:00 |
|
Vítor Santos Costa
|
a660082b45
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 23:48:31 +01:00 |
|
Vítor Santos Costa
|
40ce9feb76
|
bdd experiments
|
2012-04-16 23:47:36 +01:00 |
|
Denys Duchier
|
c484053210
|
added a README file for gecode bindings
|
2012-04-16 22:28:35 +02:00 |
|
Denys Duchier
|
638bcfb242
|
added support for gecode 3.7.3
|
2012-04-16 22:14:34 +02:00 |
|
Denys Duchier
|
82ced70a33
|
maybe import customize_compiler from new distutils
|
2012-04-16 22:02:53 +02:00 |
|
Denys Duchier
|
347b28f69d
|
removed -q option because of new g++
|
2012-04-16 21:59:11 +02:00 |
|
Denys Duchier
|
b66b261972
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 21:51:54 +02:00 |
|
Vítor Santos Costa
|
8894645017
|
fix bug in trail expansion (should recover numbers)
|
2012-04-15 22:40:00 +01:00 |
|
Vítor Santos Costa
|
c385dc13a8
|
fix syntax
|
2012-04-15 00:02:37 +01:00 |
|
Vítor Santos Costa
|
cdd1af567e
|
if commit is called from C-code we can't trust getval not to send exceptions.
|
2012-04-15 00:01:26 +01:00 |
|
Vítor Santos Costa
|
34ccb95dd3
|
fix problem with catching handling.
|
2012-04-15 00:01:02 +01:00 |
|