Vitor Santos Costa
|
c685991119
|
fix self-deadlock in empty IDB entries.
|
2009-04-16 12:55:47 -05:00 |
|
Vitor Santos Costa
|
9624026beb
|
locking fixes.
|
2009-04-16 11:19:26 -05:00 |
|
Vitor Santos Costa
|
b903602ac1
|
should terminate with NULL.
|
2009-04-14 01:32:29 +01:00 |
|
Vitor Santos Costa
|
b159736edd
|
fixes for 64 bits.
|
2009-04-14 01:25:21 +01:00 |
|
Vitor Santos Costa
|
43ae55f5f2
|
thread_local is also dynamic.
|
2009-04-14 01:24:58 +01:00 |
|
Vitor Santos Costa
|
9ef1b5cb4f
|
shift vesion number.
|
2009-04-08 00:49:54 +01:00 |
|
Vitor Santos Costa
|
f27c261daf
|
more Anderson GIT support
|
2009-04-08 00:46:34 +01:00 |
|
Vitor Santos Costa
|
b92b026c90
|
more patches to support Anderson's JIT.
|
2009-04-08 00:32:36 +01:00 |
|
Vitor Santos Costa
|
b2ad3bd000
|
first cut at Anderson's JIT code.
|
2009-04-07 23:55:16 +01:00 |
|
Vitor Santos Costa
|
f97bc596b9
|
do not use int for modules, use Term.
|
2009-04-07 15:44:46 +01:00 |
|
Vitor Santos Costa
|
d05dfc3283
|
allow different comparison functions in b_hash
|
2009-04-04 23:57:46 +01:00 |
|
Vitor Santos Costa
|
94b2b181a7
|
do not deref because you may want to pass a pointer.
|
2009-04-04 23:56:42 +01:00 |
|
Vitor Santos Costa
|
9e8db82391
|
updates to UDI package
|
2009-04-02 17:34:42 +01:00 |
|
Vitor Santos Costa
|
cc7ff82275
|
term_hash non non_ground terms: ignoring the variables.
|
2009-03-31 21:56:12 +01:00 |
|
Vitor Santos Costa
|
18eca09bd0
|
multiple assignment variables should always be globalised.
|
2009-03-31 21:55:17 +01:00 |
|
Vítor Santos Costa
|
e201d11e81
|
bad init could cause overflow.
|
2009-03-31 13:51:44 +01:00 |
|
Vitor Santos Costa
|
a2b6c0c529
|
allow YAP to compile without GMP.
|
2009-03-27 15:32:22 +00:00 |
|
Vitor Santos Costa
|
4044684dea
|
prototype UDI initializer.
|
2009-03-27 15:28:50 +00:00 |
|
Vitor Santos Costa
|
67eddb5a5b
|
arity may be a long int
|
2009-03-27 15:28:32 +00:00 |
|
Vitor Santos Costa
|
4b5c07192a
|
get rid of debugging message.
|
2009-03-27 15:28:22 +00:00 |
|
Vitor Santos Costa
|
3a213d7029
|
get rid of debugging message.
|
2009-03-27 15:28:08 +00:00 |
|
Vitor Santos Costa
|
91fd215d3d
|
fix bad types.
|
2009-03-27 15:23:54 +00:00 |
|
Vitor Santos Costa
|
099edc1520
|
get rid of compilation warning.
|
2009-03-27 15:19:30 +00:00 |
|
Vitor Santos Costa
|
2aa5aa3a26
|
add -A flag to ask for more attributed stack.
|
2009-03-27 15:15:54 +00:00 |
|
Vitor Santos Costa
|
901161a413
|
patches to remove ints and be able to allocate a lot of memory in 64 bit mode.
|
2009-03-27 14:45:40 +00:00 |
|
Vitor Santos Costa
|
751426c610
|
fix unallocated variable in overflow.
|
2009-03-27 14:05:27 +00:00 |
|
Vitor Santos Costa
|
007a1346f4
|
fix unhandled exceptions.
|
2009-03-26 08:54:49 +00:00 |
|
Vitor Santos Costa
|
f46ff06f38
|
get rid of broken $clause/3: fixes listing of dynamic predicates.
|
2009-03-26 08:12:24 +00:00 |
|
Vitor Santos Costa
|
0d64daa393
|
fix thread complaints.
|
2009-03-26 00:39:57 +00:00 |
|
Vitor Santos Costa
|
8a0b7312e4
|
get rid of thread warnings..
|
2009-03-26 00:39:44 +00:00 |
|
Vitor Santos Costa
|
2a6869bf28
|
just planning for the future...
|
2009-03-26 00:38:46 +00:00 |
|
Vitor Santos Costa
|
5c2e5c524b
|
recognise exceptions within comparisons.
|
2009-03-26 00:37:57 +00:00 |
|
Vitor Santos Costa
|
2e807fc5c7
|
fix static_growglobal.
|
2009-03-24 14:15:40 +00:00 |
|
Vitor Santos Costa
|
bdd625c8ae
|
arena is allocated by the system now.
|
2009-03-24 13:47:32 +00:00 |
|
Vitor Santos Costa
|
4b65b063ca
|
fixes for threads to compile and boot.
|
2009-03-24 13:27:36 +00:00 |
|
Vitor Santos Costa
|
0391b3ce25
|
rtree_udi is being compiled from within YAP.
|
2009-03-24 08:21:37 +00:00 |
|
Vitor Santos Costa
|
bab1fd36ec
|
Angelika's updates.
|
2009-03-24 01:06:50 +00:00 |
|
Vitor Santos Costa
|
b55572baa8
|
try to have less verbose makes
|
2009-03-24 01:03:50 +00:00 |
|
Vitor Santos Costa
|
b198de2272
|
patch from master
|
2009-03-24 01:02:44 +00:00 |
|
Vitor Santos Costa
|
7769c33be7
|
fix shunting where it breaks variable order.
|
2009-03-24 00:17:59 +00:00 |
|
Vitor Santos Costa
|
58560d4f2c
|
move bool typedef here.
|
2009-03-23 15:29:13 +00:00 |
|
Vitor Santos Costa
|
e56f46c0e3
|
typedef bool confuses jpl
|
2009-03-23 15:28:35 +00:00 |
|
Vitor Santos Costa
|
d18c0ceeb7
|
be more precise about checking if clpqr and friends are really there.
|
2009-03-23 15:27:59 +00:00 |
|
Vitor Santos Costa
|
ee26527482
|
fix chr reference.
|
2009-03-23 15:10:09 +00:00 |
|
Vitor Santos Costa
|
19d6135c83
|
more fixes
|
2009-03-23 12:40:34 +00:00 |
|
Vitor Santos Costa
|
2e9de6a0dc
|
remove http package
|
2009-03-23 12:23:34 +00:00 |
|
Vitor Santos Costa
|
981dc3d5d7
|
support new version of jpl
make system more robust to missing packages
|
2009-03-23 12:23:00 +00:00 |
|
Vitor Santos Costa
|
4188091d01
|
fix case where we have multiple marginals.
|
2009-03-19 09:52:25 +00:00 |
|
Vitor Santos Costa
|
1b238d62ec
|
fix bad copy and paste from master
|
2009-03-17 22:29:24 +00:00 |
|
Vitor Santos Costa
|
a221244b8c
|
fix bug in following retry chains.
|
2009-03-17 20:10:14 +00:00 |
|