diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,577 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

5577 Commits

Author SHA1 Message Date
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
Vítor Santos Costa 683377b520 buffer output when exiting absmi. 2012-04-12 23:52:25 +01:00
Vítor Santos Costa af7510a67b fix handling of repeated calls to YAP_Init. 2012-04-12 23:25:04 +01:00
Vítor Santos Costa 5a8cc421d2 small pfl fixes. 2012-04-12 18:11:29 +01:00
Vítor Santos Costa c5f42cd7eb more pfl changes. 2012-04-12 17:24:39 +01:00
Vítor Santos Costa 8c2dd1f847 fix bad call for parameters. 2012-04-12 17:17:21 +01:00
Vítor Santos Costa 28ce2da3dc Merge branch 'master' of https://github.com/tacgomes/yap6.3 2012-04-12 17:07:19 +01:00
Tiago Gomes 9def6c2b15 tempary hack to fix cbp and clean in benchs.sh 2012-04-12 00:42:55 +01:00
Tiago Gomes 564958ef8d improvements on benchmarkings 2012-04-11 23:48:59 +01:00
Vítor Santos Costa 27dc66a5f4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-04-11 22:09:15 +01:00
Vítor Santos Costa c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Tiago Gomes 03013960d3 refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00
Tiago Gomes f2fbbf29d8 rework the examples and erase the city network in the old format 2012-04-11 15:36:50 +01:00