| Commit | Date | |
|---|---|---|
|
[r8539]
by
dwarren
Changed way to find current windows system in order to get tome. (Old |
2015-12-10 14:09:09 | Tree |
|
[r8538]
by
tswift
Fixes to hopefully get XSB to compile on Windows with message queues. Also, some code to enable MQs to be called from C. |
2015-12-09 21:27:26 | Tree |
| 2015-12-03 00:28:27 | Tree | |
|
[r8536]
by
tswift
Implemented interrupts with goals for sequential engine -- an analog |
2015-11-30 21:07:42 | Tree |
|
[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 |