gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2017-04-19	explicitly classify all functions in libpgf as either internal or API functions	krasimir
2017-01-26	bring the Haskell binding a bit closer to the pure Haskell API	krasimir
2016-06-16	pgf_generate_all now emits __mock_string__ instead of FOO for String literals.	krasimir
2016-05-25	pgf_generate_all now works with literals as well	krasimir
2015-09-11	fix the debug mode in the tree generator in the C runtime	krasimir
2015-07-04	the reasoner's states are now closures just like the code for the def rules. ...	krasimir
2015-07-03	merge the states for reasoning and evaluation into a single structure	krasimir
2014-10-23	fix the debug mode in the reasoner	kr.angelov
2014-10-09	throw away the long obsolete runtime type information in the C runtime	kr.angelov
2014-10-09	replace the hash maps in the abstract syntax with binary search tables	kr.angelov
2013-10-04	GuString is now an ordinary C string - it makes live easier. In addition PgfS...	kr.angelov
2013-08-16	fixes in the C and Python API to make them closer to the Haskell API	kr.angelov
2013-06-27	C runtime: fix the debug modes in the parser and in the reasoner after the ch...	kr.angelov
2013-06-26	an optimization in the jitter for generating more compact code	kr.angelov
2013-06-25	Now there is a just-in-time compiler which generates native code for proof se...	kr.angelov
2013-04-23	a trivial refactoring of the reasoner in the C runtime	kr.angelov
2013-02-11	remove the pgf2yaml tool which was both broken and redundant. The declaration...	kr.angelov
2013-01-07	a new reasoner in the C runtime. It supports tabling which makes it decideabl...	kr.angelov
2012-12-14	debugging infrastructure in the reasoner	kr.angelov
2012-12-14	bugfix for the reasoner in the C runtime	kr.angelov
2012-12-14	The first prototype for exhaustive generation in the C runtime. The trees are...	kr.angelov