summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-10-02something in the typeinferencer of the latest GHC has changed. I need to add ...kr.angelov
2013-09-30fix the bracketed linearization in Python after the introduction of nonExist ...kr.angelov
2013-09-30fix the graphviz visualization after the introduction of nonExist and BINDkr.angelov
2013-09-23the compiler now sorts the list of sequences in the PGF fileskr.angelov
2013-09-30better handling for nonExist in the C runtime. BIND is also supported in the ...kr.angelov
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-26remove pgf/edsl.h from the C runtimekr.angelov
2013-09-26add gu_variant_close in libgukr.angelov
2013-09-25fix the debug mode of the parser after the refactoring in libgukr.angelov
2013-09-25added assertion in the JIT compiler which checks that we are not going outsid...kr.angelov
2013-09-25fix a typo in src/runtime/javascript/translator.htmlkr.angelov
2013-09-24a small fix in the python binding after the refactoring in the C runtimekr.angelov
2013-09-23GrammarToPGF now looks only at the top modules for the PGF flagskr.angelov
2013-09-23fix a warning in the compilerkr.angelov
2013-09-23GF.Grammar.Grammar.allExtends now returns a list of source modules instead of...kr.angelov
2013-09-20Comment out identifier refreshing code only used by the removed refresh passhallgren
2013-09-19Introduce type RawIdent; only 9 imports of Data.ByteString.Char8 remainhallgren
2013-09-19Make Ident abstract; imports of Data.ByteString.Char8 down from 29 to 16 moduleshallgren
2013-09-18the PGF reader now releases strings that are not used after the loadingkr.angelov
2013-09-18add type signature for gu_string_length in the headers of libgukr.angelov
2013-09-17bugfix in the ordering of strings in libgukr.angelov
2013-09-17gu_buf_binsearch -> gu_seq_binsearch. Improved APIkr.angelov
2013-09-17added order and equality for strings in libgukr.angelov
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced with...kr.angelov
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:04:46 +0000