Vítor Santos Costa
|
6bde2d2cd7
|
avoid unions called u: they confuse eclipse.
|
2014-02-18 09:44:01 +00:00 |
|
Vítor Santos Costa
|
786d6abeda
|
fix changes in variable names
|
2014-02-16 12:57:00 +00:00 |
|
Vítor Santos Costa
|
ba2c0ca2a0
|
support no trace predicates
|
2013-12-11 01:05:51 +00:00 |
|
Vitor Santos Costa
|
743c9c69fb
|
get rid of PROTO
|
2013-04-25 17:15:04 -05:00 |
|
Vitor Santos Costa
|
e9d04ef9f5
|
save/restore exo
|
2013-01-11 18:36:34 +00:00 |
|
Vitor Santos Costa
|
cb37e7714a
|
fix warnings
|
2012-12-20 21:13:51 +00:00 |
|
Vitor Santos Costa
|
88f2dc7730
|
change the way predicates are hidden
|
2012-10-19 18:10:48 +01:00 |
|
Vitor Santos Costa
|
198fc03bae
|
xirestore: predicates need timestamps inorder to find out which clauses are alive.
|
2012-08-23 21:01:32 +01:00 |
|
Vitor Santos Costa
|
1be424fe57
|
imprive speed of ql
|
2012-08-23 09:04:58 -05:00 |
|
Vitor Santos Costa
|
e2fb330575
|
avoid fixed sized hash tables.
|
2012-08-22 18:57:13 -05:00 |
|
Vitor Santos Costa
|
a997f5647c
|
fix save & restore in 6.3.
|
2012-06-12 14:50:36 +01:00 |
|
Vítor Santos Costa
|
3458efd335
|
saved state fixes.
|
2012-06-11 09:22:53 +01:00 |
|
Vítor Santos Costa
|
1531002f26
|
avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to
catch stack bugs.
|
2012-02-18 11:01:06 +00:00 |
|
Joao
|
cc80efbff0
|
CACHE_REGS
|
2011-09-21 15:30:29 +01:00 |
|
Vitor Santos Costa
|
c47a7be2e8
|
fix formt to include all predicates and add right arity to DB entries.
|
2011-09-07 08:03:46 +02:00 |
|
Vitor Santos Costa
|
11a84ec0a2
|
cosmetic fixes.
|
2011-09-01 06:20:21 -07:00 |
|
Vitor Santos Costa
|
51e635f0c9
|
more QLY stuff.
|
2011-08-31 13:59:30 -07:00 |
|
Vitor Santos Costa
|
ec438106a0
|
more qly stuff
|
2011-08-27 21:23:14 -03:00 |
|
Vitor Santos Costa
|
26e3f2cea0
|
qly fixes
|
2011-08-24 12:40:06 +01:00 |
|
Vitor Santos Costa
|
7c0ba3b867
|
qly stuff.
|
2011-08-24 00:11:54 -03:00 |
|
Vitor Santos Costa
|
a3303eeb69
|
more qlyw stuff.
|
2011-08-16 10:34:44 -03:00 |
|
Vitor Santos Costa
|
0b12932f34
|
make this code DEBUG only.
|
2011-08-09 08:34:23 -03:00 |
|
Vitor Santos Costa
|
451dc1380f
|
qly to qlyw
|
2011-08-09 08:11:23 -03:00 |
|