summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/lightning
AgeCommit message (Expand)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
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 poi...kr.angelov
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 y...kr.angelov
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ab...kr.angelov
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 th...kr.angelov
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
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 se...kr.angelov
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 12:02:08 +0000