summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/lightning
AgeCommit message (Collapse)Author
2023-08-04Create funcs.hKrasimir Angelov
2023-08-04Create Create aarch64/fp.hKrasimir Angelov
2023-08-04Create aarch64/core.hKrasimir Angelov
2023-08-04Create aarch64/asm.hKrasimir Angelov
2017-04-13silence a few warnings on MacOSkrasimir
2016-04-14more fixes for GNU Lightning for ARMkrasimir
2016-04-14bugfix in GNU Lightning for ARMkrasimir
2015-07-16refine the GNU lightning patch to avoid generating unnecessary codekrasimir
2015-07-16bugfixes in the JIT compiler for x86_64. One of the fixes is actually in GNU ↵krasimir
lightning
2015-02-19silence some warnings in GNU Lightning for i386_64krasimir
2015-02-11fix in the JIT compiler that would hopefully make it work on iOSkr.angelov
2014-12-01fix in GNU lightning to enable the compilation of two of the the floating ↵kr.angelov
point operations.
2014-10-14simplify jit_bare_retkr.angelov
2014-10-09fix for lightning for ARMkr.angelov
2014-09-30enough fixes to get the JIT compiler compile for ARM. It is still broken if ↵kr.angelov
you try to use it
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ↵kr.angelov
abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
2014-09-16dummy jit_base_tail_finishr for x86_64. kr.angelov
2014-09-11a major revision of the bytecode generator and JIT compiler. the effect is ↵kr.angelov
that now we can compute with lambda functions and with true tail recursion
2014-08-11pattern matching in def rules is now supportedkr.angelov
2013-11-15fixes in the C runtime to avoid warnings when compiling on MacOSkr.angelov
2013-10-08bugfix in GNU lightning for ARMkr.angelov
2013-09-11rewrite the ARM port of GNU lightning to a form compatible with the versions ↵kr.angelov
for the other CPUs
2013-08-01added untested port of GNU lightning to ARMkr.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 ↵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.
2013-06-20add x86_64 support to GNU lightningkr.angelov
2013-06-17fix for a couple of warnings that are generated when GNU lightning is usedkr.angelov
2013-06-17add the source code for GNU lightning in the source directory for the C runtimekr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 09:29:23 +0000