Vitor Santos Costa
|
ab9d2da775
|
improve LOCK init
|
2013-10-29 12:41:28 +00:00 |
|
Vitor Santos Costa
|
83695cc8c8
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2013-10-16 10:40:12 +01:00 |
|
Vitor Santos Costa
|
e19a910152
|
use private memory for yapor's alloc
|
2013-10-16 09:44:34 +01:00 |
|
Vítor Santos Costa
|
797c063785
|
debug bad exit
|
2013-10-14 08:04:24 +01:00 |
|
Vítor Santos Costa
|
70d864b13d
|
fix limit on atoms to ints
|
2013-10-08 13:04:30 +01:00 |
|
Vítor Santos Costa
|
ff2acca219
|
fix operators
|
2013-10-07 12:20:52 +01:00 |
|
Vitor Santos Costa
|
f3cefdf895
|
yapor stuff
|
2013-10-04 18:18:57 +01:00 |
|
Vitor Santos Costa
|
43163a190f
|
Atom Translations and CUDA stub
|
2013-10-04 13:22:00 +01:00 |
|
Vitor Santos Costa
|
d46276edbe
|
include wid when inittiing yapor regs
|
2013-10-03 15:48:15 +01:00 |
|
Vitor Santos Costa
|
bf77381744
|
alloc K * Size
|
2013-10-01 16:42:12 +01:00 |
|
Vítor Santos Costa
|
bef9cec46a
|
fix startup module on new thread to be user module
|
2013-09-28 23:20:39 +01:00 |
|
Vítor Santos Costa
|
577b99367d
|
don't make mega-clauses always source
|
2013-09-28 18:20:04 +01:00 |
|
Vítor Santos Costa
|
048c00a7a6
|
fix writing [](_,_)
|
2013-09-28 12:12:09 +01:00 |
|
Vítor Santos Costa
|
72fe7e84c0
|
opaques are not integers
|
2013-09-28 12:06:01 +01:00 |
|
Vítor Santos Costa
|
5b6a3bffc1
|
iteration support
|
2013-09-28 12:04:52 +01:00 |
|
Vítor Santos Costa
|
6033eba372
|
missing unlock.
|
2013-09-21 23:19:21 +01:00 |
|
Vitor Santos Costa
|
448380c715
|
isupport opaque type testing.
|
2013-09-19 14:23:10 +01:00 |
|
Vitor Santos Costa
|
ad9a973a26
|
fix opaque variables & threads
|
2013-09-17 09:54:02 +01:00 |
|
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 |
|
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 |
|
Vítor Santos Costa
|
d1ff57b178
|
no GMP compilation
|
2013-09-06 23:03:24 +01:00 |
|
Vítor Santos Costa
|
2028730eac
|
check NULL
|
2013-09-05 00:48:00 +01: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 |
|
Vitor Santos Costa
|
2829696db7
|
fix bug in term_variables/3 with difference lists
|
2013-08-08 14:12:29 -05:00 |
|
Vitor Santos Costa
|
2c769767a4
|
fix bug in sub_atom when substring is largwer than string
|
2013-08-08 14:11:45 -05:00 |
|
Vitor Santos Costa
|
5f741122fa
|
more user udi fixes
|
2013-08-05 15:07:51 -05:00 |
|
Vitor Santos Costa
|
cc6e33bff0
|
support logsum, very useful in probability computatiion
|
2013-07-25 10:20:33 -05:00 |
|
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
|
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 |
|
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
|
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
|
5c870c11f7
|
don't even try to compile unsupported gprof
|
2013-06-20 18:07:57 -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 |
|