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

Age	Commit message (Expand)	Author
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