summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/lightning/i386
AgeCommit message (Expand)Author
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
2014-10-14simplify jit_bare_retkr.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-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 18:34:07 +0000