| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-10-14 | simplify jit_bare_ret | kr.angelov |
| 2014-09-25 | now a complete JIT compiler and ByteCode compiler for the def rules in the ab... | kr.angelov |
| 2014-09-11 | a major revision of the bytecode generator and JIT compiler. the effect is th... | kr.angelov |
| 2014-08-11 | pattern matching in def rules is now supported | kr.angelov |
| 2013-06-26 | fix for x86_64 | kr.angelov |
| 2013-06-25 | Now there is a just-in-time compiler which generates native code for proof se... | kr.angelov |
| 2013-06-20 | add x86_64 support to GNU lightning | kr.angelov |
