summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/jit.c
AgeCommit message (Expand)Author
2014-09-05full support for recursive def rules in the C runtimekr.angelov
2014-09-01partial implementation for recursive def ruleskr.angelov
2014-09-01bug fixes in the JIT compilerkr.angelov
2014-08-11pattern matching in def rules is now supportedkr.angelov
2014-08-11a partial support for def rules in the C runtimekr.angelov
2013-11-07fix for the memory allocation in the jitter which should work for Windows.kr.angelov
2013-11-04fix the debug mode of the JIT compiler after the refactoring in libgukr.angelov
2013-11-01remove the include to mman.h in jit.c since it doesn't seem to be usedkr.angelov
2013-10-04GuString is now an ordinary C string - it makes live easier. In addition PgfS...kr.angelov
2013-09-25added assertion in the JIT compiler which checks that we are not going outsid...kr.angelov
2013-09-12enable the PGF JIT compiler for Androidkr.angelov
2013-08-16fixes in the C and Python API to make them closer to the Haskell APIkr.angelov
2013-06-26we no longer maintain an explicit list of functions per category since now it...kr.angelov
2013-06-26an optimization in the jitter for generating more compact codekr.angelov
2013-06-26compatibility issue for MacOS Xkr.angelov
2013-06-26fix for x86_64kr.angelov
2013-06-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 07:50:41 +0000