summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/reasoner.h
AgeCommit message (Expand)Author
2017-04-19explicitly classify all functions in libpgf as either internal or API functionskrasimir
2016-05-25pgf_generate_all now works with literals as wellkrasimir
2015-12-19a fix that should solve the segmentation fault on MacOS with the exhaustive g...krasimir
2015-09-11fix the debug mode in the tree generator in the C runtimekrasimir
2015-07-04the reasoner's states are now closures just like the code for the def rules. ...krasimir
2015-07-03merge the states for reasoning and evaluation into a single structurekrasimir
2013-08-16fixes in the C and Python API to make them closer to the Haskell APIkr.angelov
2013-06-26forgot to add reasoner.hkr.angelov