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

Age	Commit message (Collapse)	Author
2013-11-01	remove the include to mman.h in jit.c since it doesn't seem to be used	kr.angelov

2013-10-04	GuString is now an ordinary C string - it makes live easier. In addition ↵	kr.angelov
	PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use.
2013-09-25	added assertion in the JIT compiler which checks that we are not going ↵	kr.angelov
	outside of the compilation window
2013-09-12	enable the PGF JIT compiler for Android	kr.angelov

2013-08-16	fixes in the C and Python API to make them closer to the Haskell API	kr.angelov

2013-06-26	we no longer maintain an explicit list of functions per category since now ↵	kr.angelov
	it is implicitly kept in the JIT compiled code
2013-06-26	an optimization in the jitter for generating more compact code	kr.angelov

2013-06-26	compatibility issue for MacOS X	kr.angelov

2013-06-26	fix for x86_64	kr.angelov

2013-06-25	Now there is a just-in-time compiler which generates native code for proof ↵	kr.angelov
	search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.