Commit Graph

6728 Commits

Author SHA1 Message Date
Vitor Santos Costa
0639f86980 fix error handling 2013-07-22 10:42:50 -05:00
Vitor Santos Costa
ab372b03af improve error handling 2013-07-22 10:40:47 -05:00
Vitor Santos Costa
45bf92fbed tabling gc fixes: TrNode_child may be NULL and solutions forthcoming 2013-07-18 10:57:21 -05:00
Vitor Santos Costa
08cfc527bb Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-07-17 11:43:25 -05:00
Vitor Santos Costa
7d67d6108e Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
Conflicts:
	C/exo_udi.c
2013-07-16 22:35:02 -05:00
Vitor Santos Costa
5284a77bbf fix tex doc 2013-07-16 22:30:41 -05:00
Vitor Santos Costa
07c2ca8324 use boolean. 2013-07-16 22:29:32 -05:00
Vitor Santos Costa
4245a04ed0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-07-16 10:00:51 -05:00
Vitor Santos Costa
dde4830ceb Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-07-16 10:00:05 -05:00
Vitor Santos Costa
55a440cf0c add isinf and isnan. 2013-07-16 09:58:57 -05:00
Fabrizio Riguzzi
a405ee4bb0 update manual 2013-07-16 15:57:18 +02:00
Vítor Santos Costa
f79f93bccd small updates 2013-07-16 08:01:01 -05:00
Vítor Santos Costa
5e80c3ca86 learning 2013-07-16 08:00:16 -05:00
Vítor Santos Costa
bc992f552f use new notation 2013-07-16 07:59:38 -05:00
Fabrizio Riguzzi
2e309201ab slipcase examples 2013-07-16 13:55:22 +02:00
Fabrizio Riguzzi
dff6925a66 remved unnecessary gloabl vars from bddem.c 2013-07-16 12:43:50 +02:00
Fabrizio Riguzzi
d87bb830cd simplecudd link 2013-07-12 15:03:37 +02:00
Fabrizio Riguzzi
69b1f51a4e fixed hrefs in cplint manual 2013-07-12 14:59:20 +02:00
Vitor Santos Costa
1f47d33579 improve gc of some tabling instructions 2013-07-09 22:48:19 +01:00
Vítor Santos Costa
493161f6d8 ciao style arrays, (...) 2013-07-07 16:15:25 -05:00
Vítor Santos Costa
c5554a343d fix doc text 2013-07-07 16:14:08 -05:00
Vitor Santos Costa
459ab89d7d more ezo stuff 2013-06-28 21:15:03 -05:00
Vitor Santos Costa
ec5f7ebb28 Chaange semantics for min and max 2013-06-25 22:53:23 -05:00
Vitor Santos Costa
a1632ff3e7 fix 32 bit offsets 2013-06-22 20:09:20 -05:00
Vitor Santos Costa
b257218ece fix bad alignment 2013-06-22 00:27:31 -05:00
Vitor Santos Costa
e50f62ba3f accumulator first try 2013-06-22 00:26:43 -05:00
Vitor Santos Costa
44ac5c6eac accumulator first try 2013-06-22 00:26:14 -05:00
Vitor Santos Costa
b2fda6c653 more exo fixes 2013-06-22 00:25:37 -05:00
Vitor Santos Costa
4f8fad43df make sure BITS32 and 16 are what they say they are 2013-06-22 00:24:53 -05:00
Vitor Santos Costa
84c1803102 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-06-20 18:17:53 -05:00
Vitor Santos Costa
ddee3df5f8 fix order 2013-06-20 18:09:30 -05:00
Vitor Santos Costa
1a0532f178 doc fixes 2013-06-20 18:08:29 -05:00
Vitor Santos Costa
5c870c11f7 don't even try to compile unsupported gprof 2013-06-20 18:07:57 -05:00
Vítor Santos Costa
44dccc00bb fix exception passing from SWI 2013-06-20 12:11:29 -05:00
Vítor Santos Costa
0726597812 error handling 2013-06-20 10:48:00 -05:00
Vítor Santos Costa
5a57611749 copyright changes 2013-06-20 10:47:44 -05:00
Vitor Santos Costa
cc73f426d9 MLN stuff 2013-06-19 21:38:43 -05:00
Vitor Santos Costa
24714dbd01 small fixes to l-bfgs 2013-06-19 21:36:18 -05:00
Vítor Santos Costa
f4ef6702e1 upgrade version 2013-06-19 21:34:30 -05:00
Vitor Santos Costa
7e1f3009e6 Bernd Gutmann's lbfgs interface 2013-06-13 17:57:55 -05:00
Vitor Santos Costa
f1cbc7f3be improved mln stuff 2013-06-07 18:22:42 -05:00
Vitor Santos Costa
c60e1046a7 use int64 fr file_time 2013-06-07 18:00:27 +01:00
Vítor Santos Costa
fef0538157 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-06-07 09:27:32 -05:00
Vítor Santos Costa
5b4f355ee0 avoid creating new index in retractall 2013-06-07 09:26:50 -05:00
Vítor Santos Costa
5303f2f479 simple check for all var arguments 2013-06-07 09:26:21 -05:00
Vítor Santos Costa
b6b44c655f unnecessary lock-pred 2013-06-07 09:25:40 -05:00
Vitor Santos Costa
23a787bcb3 mlns in PFL 2013-06-06 19:22:22 -05:00
Vitor Santos Costa
6b31d08633 mlns in PFL 2013-06-06 19:18:46 -05:00
Vitor Santos Costa
e96750b476 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2013-06-05 23:01:10 +01:00
Vitor Santos Costa
4826d92709 exo updates 2013-06-05 23:00:57 +01:00