Commit Graph

6787 Commits

Author SHA1 Message Date
Vítor Santos Costa
1eab4bc936 fix case new thread is created from thread that never had a thread installed 2013-09-17 00:26:37 +01:00
Vítor Santos Costa
5ea258f885 thread support 2013-09-13 15:02:00 +01:00
Vitor Santos Costa
2cfa0081ad make syntax extensions SWI compatible 2013-09-13 11:44:26 +01:00
Vitor Santos Costa
e1208fc7ad fix () extension 2013-09-13 10:52:52 +01:00
Vitor Santos Costa
5cd9720593 DFA and TupleSet 2013-09-12 10:17:59 +01:00
Vitor Santos Costa
9d4c7a5c8c include min and max of lists 2013-09-11 22:01:18 +01:00
Vitor Santos Costa
23b860a977 scalar_product and a fix 2013-09-11 14:53:43 +01:00
Vitor Santos Costa
b30f0eafdf fixes to clpbn interface 2013-09-11 13:04:39 +01:00
Vitor Santos Costa
12d1e17dd3 first cut at supporting TupleSets 2013-09-11 12:31:07 +01:00
Vitor Santos Costa
99ab8e541b improve CLP support 2013-09-11 12:30:31 +01:00
Vitor Santos Costa
52c0d8a8de first cut at supporting TupleSets 2013-09-11 12:29:49 +01:00
Vitor Santos Costa
46c3c4546f examples 2013-09-10 09:57:26 +01:00
Vítor Santos Costa
77e1d9425b improve clpfd emulation 2013-09-10 00:53:54 +01:00
Vitor Santos Costa
8d14c15f3c merge 2013-09-09 23:49:41 +01:00
Vitor Santos Costa
eadfdbd646 clp like interface to gecode 2013-09-09 23:48:44 +01:00
Vitor Santos Costa
cda2e3bffe clp like interface to gecode 2013-09-09 23:48:02 +01:00
Vítor Santos Costa
a685b265b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-09 22:11:39 +01:00
Vítor Santos Costa
fde44acdf3 ensure global environment when consulting 2013-09-09 22:11:12 +01:00
Fabrizio Riguzzi
50287c268b Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-09 12:42:08 +02:00
Fabrizio Riguzzi
700cd2d9dc CLL->Score 2013-09-09 12:41:42 +02:00
Vítor Santos Costa
299816428c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-08 22:24:48 +01:00
Vítor Santos Costa
8d92fa9369 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-09-08 22:24:24 +01:00
Vítor Santos Costa
6966d23195 fix P details when creating execution environment: we should save the old one 2013-09-08 22:24:09 +01:00
Fabrizio Riguzzi
52caac6548 aucpr as a score 2013-09-08 22:11:11 +02:00
Fabrizio Riguzzi
0eefb3c0b8 Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-08 17:47:15 +02:00
Fabrizio Riguzzi
b00a5bf7fc em/8 returns the list of updated probabilities of examples 2013-09-08 17:46:36 +02:00
Fabrizio Riguzzi
cbf31fcd50 fixed test predicates 2013-09-08 16:06:18 +02:00
Paulo Moura
7da733d394 vsc is not yet an internet protocol :-) 2013-09-07 14:43:54 +01:00
Vítor Santos Costa
4c148cc0d3 fix bad setup of goal (SWI emulatin for JPL, Sergio Castro) 2013-09-07 01:03:27 +01:00
Vítor Santos Costa
d1ff57b178 no GMP compilation 2013-09-06 23:03:24 +01:00
Vítor Santos Costa
11282b44d7 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 into HEAD 2013-09-05 00:48:51 +01:00
Vítor Santos Costa
2028730eac check NULL 2013-09-05 00:48:00 +01:00
Vítor Santos Costa
a1b5764527 gecode: clone by default (oops) 2013-09-05 00:47:37 +01:00
Vítor Santos Costa
9932aff5c4 gecode: clone by default 2013-09-05 00:46:00 +01:00
Vítor Santos Costa
ef82f25594 control changes for gecode 2013-09-05 00:26:54 +01:00
Fabrizio Riguzzi
b06e1f8bb0 var depth 2013-09-04 21:34:04 +02:00
Fabrizio Riguzzi
c671d8aa29 slipcover manual 2013-09-04 21:12:09 +02:00
Fabrizio Riguzzi
842b7f25ab Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-04 19:11:28 +02:00
Fabrizio Riguzzi
1f3f9bfb1f inference_sl.pl equal to slipcase 2013-09-04 19:10:31 +02:00
Fabrizio Riguzzi
d53857db21 dos2unix inference_sl.pl 2013-09-04 19:09:36 +02:00
Fabrizio Riguzzi
cb304e781c slipcover 2013-09-04 18:58:00 +02:00
Vítor Santos Costa
90c70459be fix FloatVar code 2013-09-04 17:11:22 +01:00
Vítor Santos Costa
614e7ab856 initialize FloatVar 2013-09-04 17:01:37 +01:00
vsc
c21b5bef3c fix PRISM xompiltaion in 32 bits 2013-09-04 05:05:01 -05:00
vsc
6ab396ee85 support for gecode 4, reification, initial floats 2013-09-04 04:50:32 -05:00
Vitor Santos Costa
76ca8c31df Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-08-12 11:23:12 -05:00
Vitor Santos Costa
5022db1ca7 update submodules 2013-08-12 11:22:51 -05:00
Vítor Santos Costa
3b29acea56 fix compilation in OSX 2013-08-09 19:46:04 -05:00
Vítor Santos Costa
0fd06d8cf1 fix quoting of \ 2013-08-09 18:36:45 -05:00
Vitor Santos Costa
d575ca8391 ISO patches 2013-08-08 15:04:36 -05:00