summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced with...kr.angelov
2013-09-16Remove contribs and examplesjohn.j.camilleri
2013-09-16added BSD licenses to the Java binding and the android UIkr.angelov
2013-09-13remove leftcorner_cat_idx which is now redundantkr.angelov
2013-09-13minor optimization/refactoring in the grammar readerkr.angelov
2013-09-13the leftcorner indexing is now completely removed since it slowed down the lo...kr.angelov
2013-09-13fix the debug mode of the parser after the changes in the libgu APIkr.angelov
2013-09-13tiny optimization in pgf/readerkr.angelov
2013-09-13bugfix in utf8.ckr.angelov
2013-09-13fix a warning in utf8.ckr.angelov
2013-09-13optimize the reading of strings in the grammar loader.kr.angelov
2013-09-13more UTF8 cleanupkr.angelov
2013-09-13clean up the UTF8 API in libgukr.angelov
2013-09-12fix in Android.mk to make sure that the Android build will always see the ARM...kr.angelov
2013-09-12remove the logging from libgukr.angelov
2013-09-12enable the PGF JIT compiler for Androidkr.angelov
2013-09-11rewrite the ARM port of GNU lightning to a form compatible with the versions ...kr.angelov
2013-09-10Some code verbosity reductionhallgren
2013-09-10Workaround for a problem with lock fieldshallgren
2013-05-30new-comp: delay eta expansion until just before partial evaluationhallgren
2013-09-09Nonlinear patterns in concrete syntax are now detected and reported as errorshallgren
2013-09-09partial evaluator: prettier complaint about nonlinears patternshallgren
2013-09-09partial evaluator: complain about nonlinear patternshallgren
2013-09-09Fix an old name shadowing bug in concrete syntax by removing the refresh passhallgren
2013-09-06added exhaustive generation in the Java bindingkr.angelov
2013-09-05remove the string internalization since it slows down grammar loading with li...kr.angelov
2013-09-05move src/runtime/android to src/ui/android/jnikr.angelov
2013-09-05Fix an old bug that prevented pattern matching agains values containg tableshallgren
2013-09-05added version readPGF in Java which takes as argument InputStream. This makes...kr.angelov
2013-09-05fix gu_in_bytes_ to use bufferingkr.angelov
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-09-05remove dump and yaml from libgukr.angelov
2013-09-05bugfix for gu_buffered_inkr.angelov
2013-09-04add gu and pgf in the library path for building the Java bindingkr.angelov
2013-09-04added description file for building jpgf.jarkr.angelov
2013-09-04fix the warnings from the Java bindingkr.angelov
2013-09-04now it is possible to compile the C code for the Java binding from Eclipse. T...kr.angelov
2013-09-04added Eclipse project for building the Java bindingkr.angelov
2013-09-04fix a few warnings in the Java bindingkr.angelov
2013-09-04updated files src/ui/androidkr.angelov
2013-09-04added make file for compiling the C runtime for Android. The JIT compiler for...kr.angelov
2013-09-04the code in the C runtime is now complete independent from config.hkr.angelov
2013-09-04remove the dependency on the CHAR_ASCII flagkr.angelov
2013-09-04remove the dependency on the HAVE_STATEMENT_EXPRESSIONS flag. This reduces th...kr.angelov
2013-09-04avoid using nan() in libgu for portability with Androidkr.angelov
2013-09-04slight optimization for the linearizer in the C runtimekr.angelov
2013-09-04bugfix in the robust linearizerkr.angelov
2013-09-03fix for linearization with 'pre'kr.angelov
2013-09-03fix in the GF compiler and runtime which let us to define pre construct detec...kr.angelov
2013-09-02gf.cabal: version: 3.5-darcshallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 12:52:26 +0000