krasimir
|
7d72d99c2f
|
explicitly classify all functions in libpgf as either internal or API functions
|
2017-04-19 09:34:23 +00:00 |
|
krasimir
|
faebebc8f4
|
pgf_generate_all now works with literals as well
|
2016-05-25 09:36:05 +00:00 |
|
krasimir
|
0b9395fd70
|
a fix that should solve the segmentation fault on MacOS with the exhaustive generator
|
2015-12-19 17:30:41 +00:00 |
|
krasimir
|
ef888baec8
|
fix the debug mode in the tree generator in the C runtime
|
2015-09-11 09:26:17 +00:00 |
|
krasimir
|
192b1cc018
|
the reasoner's states are now closures just like the code for the def rules. This means more compact JIT compiled code and uniformity with the code for def rules
|
2015-07-04 15:06:34 +00:00 |
|
krasimir
|
b3680b6025
|
merge the states for reasoning and evaluation into a single structure
|
2015-07-03 11:53:52 +00:00 |
|
kr.angelov
|
1e44fdb3d3
|
fixes in the C and Python API to make them closer to the Haskell API
|
2013-08-16 12:44:37 +00:00 |
|
kr.angelov
|
fcd2a2b12a
|
forgot to add reasoner.h
|
2013-06-26 09:09:54 +00:00 |
|