| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-11-04 | A simple type checker in the C runtime. Dependent types are not supported ↵ | kr.angelov | |
| yet but HOAS is implemented. The API is accessible from Python as well | |||
| 2013-10-09 | lexer.c is now exluded from the makefile for Android since the new runtime ↵ | kr.angelov | |
| doesn't need lexing | |||
| 2013-09-17 | a major refactoring in the C runtime. GuList is now removed and replaced ↵ | kr.angelov | |
| with GuSeq. The GuSeq/GuBuf API is simplified | |||
| 2013-09-12 | fix in Android.mk to make sure that the Android build will always see the ↵ | kr.angelov | |
| ARM headers of GNU lightning | |||
| 2013-09-12 | remove the logging from libgu | kr.angelov | |
| 2013-09-12 | enable the PGF JIT compiler for Android | kr.angelov | |
| 2013-09-05 | remove the string internalization since it slows down grammar loading with ↵ | kr.angelov | |
| little benefit | |||
| 2013-09-05 | move src/runtime/android to src/ui/android/jni | kr.angelov | |
