| Commit | Date | |
|---|---|---|
|
[r9188]
by
tswift
Added documentation for get_calls/4 which returns the pointer to the |
2017-12-31 00:30:52 | Tree |
| 2017-12-30 22:13:25 | Tree | |
| 2017-12-30 22:09:46 | Tree | |
| 2017-12-30 22:06:58 | Tree | |
| 2017-12-30 22:03:15 | Tree | |
| 2017-12-30 21:53:38 | Tree | |
|
[r9182]
by
tswift
curr_sym.P, std_xsb.P : added incr_is_invalid/1,incr_is_invalid/3, incr_invalid_subgoals/1, Also added some code for set_subgoal property, which isn't finished standard.P tables.P tables.P, tr_utils.c get_calls/1 fixed to allow explicit module in input |
2017-12-30 21:52:03 | Tree |
|
[r9181]
by
tswift
curr_sym.P, std_xsb.P : added incr_is_invalid/1,incr_is_invalid/3, incr_invalid_subgoals/1, Also added some code for set_subgoal property, which isn't finished standard.P tables.P tables.P, tr_utils.c get_calls/1 fixed to allow explicit module in input |
2017-12-30 21:50:35 | Tree |
| 2017-12-25 20:53:37 | Tree | |
| 2017-12-21 05:57:35 | Tree |