V'itor Santos Costa
d83c62051b
file fixes
2016-01-31 18:48:07 -08:00
Vítor Santos Costa
e5009c733e
use handles internally, not slots
2016-01-31 10:41:38 +00:00
Vítor Santos Costa
50c8724322
linux backport
...
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
Vítor Santos Costa
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
Vítor Santos Costa
bc2dabbca5
fix slot leaks
...
also moe errot gandking
2015-10-09 10:31:07 +01:00
Vítor Santos Costa
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
Vítor Santos Costa
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
Vítor Santos Costa
ef586e264e
android debugging plus clean-ups
2015-04-13 13:28:17 +01:00
Vítor Santos Costa
ab41d5411e
RebootSlots when we start a new execution.
2015-02-10 09:19:05 +00:00
Vitor Santos Costa
e2cd49f408
win32
2015-02-09 10:30:24 +00:00
Vítor Santos Costa
5a668febd9
new slot implementation
2015-02-03 02:36:51 +00:00
Vitor Santos Costa
36e4cbf98b
move handles to a separate handle stack.
2015-01-30 07:25:34 +00:00
Vitor Santos Costa
ce84e60d08
cosmetic
2015-01-18 01:32:13 +00:00
Vitor Santos Costa
408333f0d4
types
2015-01-16 20:02:43 -08:00
Vitor Santos Costa
dab3a4a4f6
fix msicalculaation in recovering cells.
2014-10-23 01:16:30 +01:00
Vítor Santos Costa
325c819f79
intermediate steo in improving doc system to doxygeb
2014-07-26 19:14:15 -05:00
Vítor Santos Costa
8da6fb70e1
handle_t type name causes conflict with WIN32, replace by yhandle_t
2014-06-16 14:41:54 +01:00
Vítor Santos Costa
059884bc03
Android
2014-06-11 19:36:50 +01:00
Vitor Santos Costa
0aa91d7c00
fix bad handle recovery properly.
2014-05-15 01:11:26 +01:00
Vitor Santos Costa
e0d0543e52
fix removeSlots and more documnetation.
2014-05-14 17:59:08 +01:00
Vitor Santos Costa
d0adb0b910
fix slot handling
2014-03-11 15:33:38 +00:00
Vítor Santos Costa
a8e1b91fd5
make length explicit in buffer conversion
2013-12-15 08:37:10 +00:00
Vitor Santos Costa
48bec6b247
fix broken, complicated code for slots
2013-11-20 22:20:51 +00:00
