8 Commits

Author	SHA1	Message	Date
kr.angelov	4f05852b22	added assertion in the JIT compiler which checks that we are not going outside of the compilation window	2013-09-25 07:53:10 +00:00
kr.angelov	2105188bd0	enable the PGF JIT compiler for Android	2013-09-12 09:05:43 +00:00
kr.angelov	1e44fdb3d3	fixes in the C and Python API to make them closer to the Haskell API	2013-08-16 12:44:37 +00:00
kr.angelov	d1410aba22	we no longer maintain an explicit list of functions per category since now it is implicitly kept in the JIT compiled code	2013-06-26 09:35:50 +00:00
kr.angelov	a2af8e216f	an optimization in the jitter for generating more compact code	2013-06-26 09:03:51 +00:00
kr.angelov	d94b6146f2	compatibility issue for MacOS X	2013-06-26 07:03:32 +00:00
kr.angelov	3a22258109	fix for x86_64	2013-06-26 06:43:33 +00:00
kr.angelov	d553cb165a	Now there is a just-in-time compiler which generates native code for proof 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.	2013-06-25 19:22:42 +00:00