Commit Graph

Select branches

Hide Pull Requests

master

threads

6.2

6.3.0

6.3.2

YAP-6.3.4

yap-6.3.1

yap-6.3.3

Mono Color

• 1c9167a6c5 small fixes Vitor Santos Costa 2013-10-03 11:28:09 +01:00
• 94619d2a32 allow yser code error handling Vitor Santos Costa 2013-10-03 11:25:56 +01:00
• 609f6fc440 allow yser code error handling Vitor Santos Costa 2013-10-03 11:24:59 +01:00
• 710915e001 LDFLAGS Vitor Santos Costa 2013-10-03 11:24:17 +01:00
• bf77381744 alloc K * Size Vitor Santos Costa 2013-10-01 16:42:12 +01:00
• 1ebd0f1a13 document BDD package Vitor Santos Costa 2013-09-30 15:45:14 +01:00
• 448e2c88e1 document BDD package Vitor Santos Costa 2013-09-30 15:45:01 +01:00
• bb6ae90019 doc fixes Vítor Santos Costa 2013-09-30 00:26:00 +01:00
• 937077d51b booleans and more fixes Vítor Santos Costa 2013-09-30 00:20:00 +01:00
• 1ee58c5922 use attributed variables Vítor Santos Costa 2013-09-29 17:41:02 +01:00
• 7cf1b68c3a documentation and small fixes; also call for foreach Vítor Santos Costa 2013-09-29 11:31:18 +01:00
• bef9cec46a fix startup module on new thread to be user module Vítor Santos Costa 2013-09-28 23:20:39 +01:00
• 577b99367d don't make mega-clauses always source Vítor Santos Costa 2013-09-28 18:20:04 +01:00
• 048c00a7a6 fix writing [](_,_) Vítor Santos Costa 2013-09-28 12:12:09 +01:00
• 72fe7e84c0 opaques are not integers Vítor Santos Costa 2013-09-28 12:06:01 +01:00
• 5b6a3bffc1 iteration support Vítor Santos Costa 2013-09-28 12:04:52 +01:00
• e19b58cf53 use new matrix functionality Vítor Santos Costa 2013-09-28 11:11:42 +01:00
• b64965f22c new mapargs Vítor Santos Costa 2013-09-28 11:10:55 +01:00
• 8c9025cdb4 improve and document matrix package Vítor Santos Costa 2013-09-28 11:09:57 +01:00
• 3d863b1058 improve and document matrix package Vítor Santos Costa 2013-09-28 11:09:32 +01:00
• dd17f5a3aa include mapargs as separate support Vítor Santos Costa 2013-09-28 11:08:34 +01:00
• efddaab558 sudoku and for Vítor Santos Costa 2013-09-21 23:23:42 +01:00
• 6033eba372 missing unlock. Vítor Santos Costa 2013-09-21 23:19:21 +01:00
• e7477d9888 foreach + fold (idea from BProlog) Vítor Santos Costa 2013-09-20 01:42:50 +01:00
• 0f45b3dc42 foreach on matrices (idea from BProlog) Vítor Santos Costa 2013-09-20 01:16:25 +01:00
• 28ff95f8de progress with matrix package Vitor Santos Costa 2013-09-19 17:59:37 +01:00
• ab4a6c0ae3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2013-09-19 14:35:46 +01:00
• 285c61b87f development commit Vítor Santos Costa 2013-09-19 14:35:31 +01:00
• b2dcbe961c development commit Vítor Santos Costa 2013-09-19 14:34:44 +01:00
• fc0a260b4e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2013-09-19 14:23:52 +01:00
• 448380c715 isupport opaque type testing. Vitor Santos Costa 2013-09-19 14:23:10 +01:00
• 3659f9036c testing output Fabrizio Riguzzi 2013-09-17 14:10:08 +02:00
• b9d4868e37 Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 Fabrizio Riguzzi 2013-09-17 13:04:44 +02:00
• faf7726452 test program Fabrizio Riguzzi 2013-09-17 13:04:22 +02:00
• ad9a973a26 fix opaque variables & threads Vitor Santos Costa 2013-09-17 09:54:02 +01:00
• 1eab4bc936 fix case new thread is created from thread that never had a thread installed Vítor Santos Costa 2013-09-17 00:26:37 +01:00
• 5ea258f885 thread support Vítor Santos Costa 2013-09-13 15:02:00 +01:00
• 2cfa0081ad make syntax extensions SWI compatible Vitor Santos Costa 2013-09-13 11:44:26 +01:00
• e1208fc7ad fix () extension Vitor Santos Costa 2013-09-13 10:52:52 +01:00
• 5cd9720593 DFA and TupleSet Vitor Santos Costa 2013-09-12 10:17:59 +01:00
• 9d4c7a5c8c include min and max of lists Vitor Santos Costa 2013-09-11 22:01:18 +01:00
• 23b860a977 scalar_product and a fix Vitor Santos Costa 2013-09-11 14:53:43 +01:00
• b30f0eafdf fixes to clpbn interface Vitor Santos Costa 2013-09-11 13:04:39 +01:00
• 12d1e17dd3 first cut at supporting TupleSets Vitor Santos Costa 2013-09-11 12:31:07 +01:00
• 99ab8e541b improve CLP support Vitor Santos Costa 2013-09-11 12:30:31 +01:00
• 52c0d8a8de first cut at supporting TupleSets Vitor Santos Costa 2013-09-11 12:29:49 +01:00
• 46c3c4546f examples Vitor Santos Costa 2013-09-10 09:57:26 +01:00
• 77e1d9425b improve clpfd emulation Vítor Santos Costa 2013-09-10 00:53:54 +01:00
• 8d14c15f3c merge Vitor Santos Costa 2013-09-09 23:49:41 +01:00
• eadfdbd646 clp like interface to gecode Vitor Santos Costa 2013-09-09 23:48:44 +01:00
• cda2e3bffe clp like interface to gecode Vitor Santos Costa 2013-09-09 23:48:02 +01:00
• a685b265b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2013-09-09 22:11:39 +01:00
• fde44acdf3 ensure global environment when consulting Vítor Santos Costa 2013-09-09 22:11:12 +01:00
• 50287c268b Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 Fabrizio Riguzzi 2013-09-09 12:42:08 +02:00
• 700cd2d9dc CLL->Score Fabrizio Riguzzi 2013-09-09 12:41:42 +02:00
• 299816428c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vítor Santos Costa 2013-09-08 22:24:48 +01:00
• 8d92fa9369 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vítor Santos Costa 2013-09-08 22:24:24 +01:00
• 6966d23195 fix P details when creating execution environment: we should save the old one Vítor Santos Costa 2013-09-08 22:24:09 +01:00
• 52caac6548 aucpr as a score Fabrizio Riguzzi 2013-09-08 22:11:11 +02:00
• 0eefb3c0b8 Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 Fabrizio Riguzzi 2013-09-08 17:47:15 +02:00
• b00a5bf7fc em/8 returns the list of updated probabilities of examples Fabrizio Riguzzi 2013-09-08 17:46:36 +02:00
• cbf31fcd50 fixed test predicates Fabrizio Riguzzi 2013-09-08 16:06:18 +02:00
• 7da733d394 vsc is not yet an internet protocol :-) Paulo Moura 2013-09-07 14:43:54 +01:00
• 4c148cc0d3 fix bad setup of goal (SWI emulatin for JPL, Sergio Castro) Vítor Santos Costa 2013-09-07 01:03:27 +01:00
• d1ff57b178 no GMP compilation Vítor Santos Costa 2013-09-06 23:03:24 +01:00
• 11282b44d7 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 into HEAD Vítor Santos Costa 2013-09-05 00:48:51 +01:00
• 2028730eac check NULL Vítor Santos Costa 2013-09-05 00:48:00 +01:00
• a1b5764527 gecode: clone by default (oops) Vítor Santos Costa 2013-09-05 00:47:37 +01:00
• 9932aff5c4 gecode: clone by default Vítor Santos Costa 2013-09-05 00:46:00 +01:00
• ef82f25594 control changes for gecode Vítor Santos Costa 2013-09-05 00:26:54 +01:00
• b06e1f8bb0 var depth Fabrizio Riguzzi 2013-09-04 21:34:04 +02:00
• c671d8aa29 slipcover manual Fabrizio Riguzzi 2013-09-04 21:12:09 +02:00
• 842b7f25ab Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 Fabrizio Riguzzi 2013-09-04 19:11:28 +02:00
• 1f3f9bfb1f inference_sl.pl equal to slipcase Fabrizio Riguzzi 2013-09-04 19:10:31 +02:00
• d53857db21 dos2unix inference_sl.pl Fabrizio Riguzzi 2013-09-04 19:09:36 +02:00
• cb304e781c slipcover Fabrizio Riguzzi 2013-09-04 18:58:00 +02:00
• 90c70459be fix FloatVar code Vítor Santos Costa 2013-09-04 17:11:22 +01:00
• 614e7ab856 initialize FloatVar Vítor Santos Costa 2013-09-04 17:01:37 +01:00
• c21b5bef3c fix PRISM xompiltaion in 32 bits vsc 2013-09-04 05:05:01 -05:00
• 6ab396ee85 support for gecode 4, reification, initial floats vsc 2013-09-04 04:50:32 -05:00
• 76ca8c31df Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vitor Santos Costa 2013-08-12 11:23:12 -05:00
• 5022db1ca7 update submodules Vitor Santos Costa 2013-08-12 11:22:51 -05:00
• 3b29acea56 fix compilation in OSX Vítor Santos Costa 2013-08-09 19:46:04 -05:00
• 0fd06d8cf1 fix quoting of \ Vítor Santos Costa 2013-08-09 18:36:45 -05:00
• d575ca8391 ISO patches Vitor Santos Costa 2013-08-08 15:04:36 -05:00
• 2829696db7 fix bug in term_variables/3 with difference lists Vitor Santos Costa 2013-08-08 14:12:29 -05:00
• 2c769767a4 fix bug in sub_atom when substring is largwer than string Vitor Santos Costa 2013-08-08 14:11:45 -05:00
• 5f741122fa more user udi fixes Vitor Santos Costa 2013-08-05 15:07:51 -05:00
• 24de22eeb5 MLN generative learning Vitor Santos Costa 2013-07-29 17:56:32 -05:00
• bfb4cef8f9 fixes Vitor Santos Costa 2013-07-29 17:55:51 -05:00
• 3bb50ce3af handle possible stack expansion or gc Vitor Santos Costa 2013-07-25 10:21:17 -05:00
• cc6e33bff0 support logsum, very useful in probability computatiion Vitor Santos Costa 2013-07-25 10:20:33 -05:00
• 1c2e17f86a fix break/1 Vitor Santos Costa 2013-07-22 10:52:49 -05:00
• 38a804db1e fix indexing of long instructions Vitor Santos Costa 2013-07-22 10:43:38 -05:00
• 0639f86980 fix error handling Vitor Santos Costa 2013-07-22 10:42:50 -05:00
• ab372b03af improve error handling Vitor Santos Costa 2013-07-22 10:40:47 -05:00
• 45bf92fbed tabling gc fixes: TrNode_child may be NULL and solutions forthcoming Vitor Santos Costa 2013-07-18 10:57:21 -05:00
• 08cfc527bb Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2013-07-17 11:43:25 -05:00
• 7d67d6108e Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-07-16 22:35:02 -05:00
• 5284a77bbf fix tex doc Vitor Santos Costa 2013-07-16 22:30:41 -05:00