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 |
|
Vítor Santos Costa
|
dce491ef95
|
thread fixes
|
2013-06-03 22:03:59 -05:00 |
|
Vitor Santos Costa
|
889279cd81
|
fix prototype
|
2013-06-03 23:46:09 +01:00 |
|