krasimir
|
2551ab740b
|
silence a few warnings on MacOS
|
2017-04-13 11:07:08 +00:00 |
|
krasimir
|
983da7adfc
|
more fixes for GNU Lightning for ARM
|
2016-04-14 13:47:56 +00:00 |
|
krasimir
|
6a0ed34b11
|
bugfix in GNU Lightning for ARM
|
2016-04-14 08:26:07 +00:00 |
|
krasimir
|
d22c07dcfb
|
refine the GNU lightning patch to avoid generating unnecessary code
|
2015-07-16 15:29:14 +00:00 |
|
krasimir
|
fac48d43e8
|
bugfixes in the JIT compiler for x86_64. One of the fixes is actually in GNU lightning
|
2015-07-16 15:21:09 +00:00 |
|
krasimir
|
e893d41393
|
silence some warnings in GNU Lightning for i386_64
|
2015-02-19 12:53:52 +00:00 |
|
kr.angelov
|
d361b7f5d2
|
fix in the JIT compiler that would hopefully make it work on iOS
|
2015-02-11 13:07:06 +00:00 |
|
kr.angelov
|
14a2821fd8
|
fix in GNU lightning to enable the compilation of two of the the floating point operations.
|
2014-12-01 09:42:21 +00:00 |
|
kr.angelov
|
1c2e02ad50
|
simplify jit_bare_ret
|
2014-10-14 09:09:26 +00:00 |
|
kr.angelov
|
397276defd
|
fix for lightning for ARM
|
2014-10-09 13:17:01 +00:00 |
|
kr.angelov
|
312d4ff52e
|
enough fixes to get the JIT compiler compile for ARM. It is still broken if you try to use it
|
2014-09-30 12:39:31 +00:00 |
|
kr.angelov
|
14e6eec5ec
|
now a complete JIT compiler and ByteCode compiler for the def rules in the abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
|
2014-09-25 10:35:06 +00:00 |
|
kr.angelov
|
3e3178abfa
|
dummy jit_base_tail_finishr for x86_64.
|
2014-09-16 12:29:35 +00:00 |
|
kr.angelov
|
621d748bac
|
a major revision of the bytecode generator and JIT compiler. the effect is that now we can compute with lambda functions and with true tail recursion
|
2014-09-11 15:39:39 +00:00 |
|
kr.angelov
|
c30e2df228
|
pattern matching in def rules is now supported
|
2014-08-11 15:53:41 +00:00 |
|
kr.angelov
|
a6d60f9c8d
|
fixes in the C runtime to avoid warnings when compiling on MacOS
|
2013-11-15 10:03:22 +00:00 |
|
kr.angelov
|
4a50440db9
|
bugfix in GNU lightning for ARM
|
2013-10-08 13:33:18 +00:00 |
|
kr.angelov
|
bfafdbfec3
|
rewrite the ARM port of GNU lightning to a form compatible with the versions for the other CPUs
|
2013-09-11 20:17:50 +00:00 |
|
kr.angelov
|
8dc7d6c094
|
added untested port of GNU lightning to ARM
|
2013-08-01 12:07:06 +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 |
|
kr.angelov
|
fa7ac00838
|
add x86_64 support to GNU lightning
|
2013-06-20 08:27:04 +00:00 |
|
kr.angelov
|
e65bbb0713
|
fix for a couple of warnings that are generated when GNU lightning is used
|
2013-06-17 07:32:41 +00:00 |
|
kr.angelov
|
407f680bae
|
add the source code for GNU lightning in the source directory for the C runtime
|
2013-06-17 07:26:00 +00:00 |
|