kr.angelov
|
71744f7642
|
fix for the memory allocation in the jitter which should work for Windows.
|
2013-11-07 08:47:35 +00:00 |
|
kr.angelov
|
6e1451e142
|
fix the debug mode of the JIT compiler after the refactoring in libgu
|
2013-11-04 19:33:29 +00:00 |
|
kr.angelov
|
a0505da063
|
remove the include to mman.h in jit.c since it doesn't seem to be used
|
2013-11-01 07:46:24 +00:00 |
|
kr.angelov
|
e8335806af
|
GuString is now an ordinary C string - it makes live easier. In addition 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-10-04 12:04:39 +00:00 |
|
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 |
|