| Commit | Date | |
|---|---|---|
|
[r8535]
by
tswift
Implemented version of message queues for single-threaded engine, to |
2015-11-30 21:04:07 | Tree |
|
[r8534]
by
tswift
Added interrupt_with_goal and handle_goal_interrupt. These allow a |
2015-11-30 21:00:31 | Tree |
| 2015-11-30 20:48:58 | Tree | |
| 2015-11-29 23:21:29 | Tree | |
|
[r8531]
by
tswift
Changed boundary condition on term stacks in 2 term traversal routines. This fixes 2 memory errors uncovered by Valgrind. |
2015-11-19 00:21:46 | Tree |
| 2015-11-15 20:39:53 | Tree | |
| 2015-11-15 03:44:21 | Tree | |
|
[r8528]
by
kifer
fixed the makefile and couple of casts so that the c_calling_XSB example will compile and with fewer warnings. |
2015-11-14 22:37:04 | Tree |
|
[r8527]
by
tswift
Disabled dissasembly for immutable modules. Debug messages for immutable set on w. verboseness flag. |
2015-11-14 19:29:39 | Tree |
| 2015-11-14 19:27:44 | Tree |