| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-07-03 | merge the states for reasoning and evaluation into a single structure | krasimir |
| 2014-10-31 | now (+) in the abstract syntax works, i.e. it knows how to deal with partial ... | kr.angelov |
| 2014-10-16 | finally proper stack unwind in the evaluator | kr.angelov |
| 2014-10-08 | now we statically allocate closures for all top-level functions and all nulla... | kr.angelov |
| 2014-10-06 | partial implementation for the FAIL instruction | kr.angelov |
| 2014-09-30 | bugfix in the gate evaluate_value_lambda | 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-09-05 | the code for def rules now uses proper graph update to preserve lazyness | kr.angelov |
| 2014-08-29 | added evaluator.h which I had forgoten | kr.angelov |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |