gf-core.git/src/runtime/c/pgf/reasoner.h, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2017-04-19T09:34:23+00:00 explicitly classify all functions in libpgf as either internal or API functions 2017-04-19T09:34:23+00:00 krasimir krasimir@chalmers.se 2017-04-19T09:34:23+00:00 urn:sha1:7d72d99c2f7fc228d71df627a10a2ff776335b2b pgf_generate_all now works with literals as well 2016-05-25T09:36:05+00:00 krasimir krasimir@chalmers.se 2016-05-25T09:36:05+00:00 urn:sha1:faebebc8f4b4587c9c1849e20473ef9ef6678ded a fix that should solve the segmentation fault on MacOS with the exhaustive generator 2015-12-19T17:30:41+00:00 krasimir krasimir@chalmers.se 2015-12-19T17:30:41+00:00 urn:sha1:0b9395fd7006592d0434503751a88ef95ab47603 fix the debug mode in the tree generator in the C runtime 2015-09-11T09:26:17+00:00 krasimir krasimir@chalmers.se 2015-09-11T09:26:17+00:00 urn:sha1:ef888baec84264bd94284fec13c7a076dcb8a84c 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-04T15:06:34+00:00 krasimir krasimir@chalmers.se 2015-07-04T15:06:34+00:00 urn:sha1:192b1cc01897906f67e15a0046897eb5fecbe002 merge the states for reasoning and evaluation into a single structure 2015-07-03T11:53:52+00:00 krasimir krasimir@chalmers.se 2015-07-03T11:53:52+00:00 urn:sha1:b3680b60258372baa1d5e606026760ef223641b9 fixes in the C and Python API to make them closer to the Haskell API 2013-08-16T12:44:37+00:00 kr.angelov kr.angelov@gmail.com 2013-08-16T12:44:37+00:00 urn:sha1:1e44fdb3d3413709ae635f0fae91ffa4a93a2d9d forgot to add reasoner.h 2013-06-26T09:09:54+00:00 kr.angelov kr.angelov@gmail.com 2013-06-26T09:09:54+00:00 urn:sha1:fcd2a2b12a00bb5e3427162e3f6c07b4b58a2d3d