| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-02-19 | silence some warnings in GNU Lightning for i386_64 | krasimir |
| 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-16 | dummy jit_base_tail_finishr for x86_64. | 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-11-15 | fixes in the C runtime to avoid warnings when compiling on MacOS | kr.angelov |
| 2013-06-26 | compatibility issue for MacOS X | 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 |
| 2013-06-17 | fix for a couple of warnings that are generated when GNU lightning is used | kr.angelov |
| 2013-06-17 | add the source code for GNU lightning in the source directory for the C runtime | kr.angelov |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |