kr.angelov 35a98594be added make file for compiling the C runtime for Android. The JIT compiler for Android is temporary disabled

2013-09-04 11:56:47 +00:00

..

lightning

added untested port of GNU lightning to ARM

2013-08-01 12:07:06 +00:00

data.c

bugfix which caused the runtime to crash on Android

2013-08-28 15:19:39 +00:00

data.h

nonExist now does the expected thing

2013-08-23 13:17:45 +00:00

edsl.h

initial import of the C runtime

2012-01-20 13:41:10 +00:00

expr.c

complete pgf_expr_eq in the C runtime

2013-07-02 20:12:57 +00:00

expr.h

hash function for abstract syntax trees

2013-07-02 19:12:53 +00:00

graphviz.c

fixes in the C and Python API to make them closer to the Haskell API

2013-08-16 12:44:37 +00:00

graphviz.h

added graphvizParseTree in the C and Python runtimes

2013-08-15 15:10:28 +00:00

jit.c

fixes in the C and Python API to make them closer to the Haskell API

2013-08-16 12:44:37 +00:00

jit.h

we no longer maintain an explicit list of functions per category since now it is implicitly kept in the JIT compiled code

2013-06-26 09:35:50 +00:00

lexer.c

This patch removes Gregoire's parse_tokens function in the python binding and adds another implementation which builds on the existing API for lexers in the C runtime. Now it is possible to write incremental Lexers in Python

2013-02-01 09:29:43 +00:00

lexer.h

word completion in the C runtime now returns multi-word expressions and the category for every expression

2013-08-19 15:34:19 +00:00

lightning.h

add the source code for GNU lightning in the source directory for the C runtime

2013-06-17 07:26:00 +00:00

linearizer.c

slight optimization for the linearizer in the C runtime

2013-09-04 07:11:14 +00:00

linearizer.h

added API for computing bracketed strings from Python and C

2013-04-18 13:37:09 +00:00

literals.c

the statistical parser is now using two memory pools: one for parsing and one for the output trees. This means that the memory for parsing can be released as soon as the needed abstract trees are retrieved, while the trees themselves are retained in the separate output pool

2013-05-06 15:28:04 +00:00

literals.h

libpgf: a new implementation for literals which also allows custom literals. the same mechanism is now used for the metavariables

2012-03-12 14:25:51 +00:00

parser.c

remove the dependency on the HAVE_STATEMENT_EXPRESSIONS flag. This reduces the dependency on the ./configure script

2013-09-04 10:06:07 +00:00

parser.h

patch for adjustable heuristics from Python

2013-06-26 07:36:03 +00:00

parseval.c

patch for adjustable heuristics from Python

2013-06-26 07:36:03 +00:00

pgf.c

provide API to access the language code for the concrete language

2013-08-16 12:54:16 +00:00

pgf.h

fullFormLexicon in C and Python

2013-08-19 12:16:30 +00:00

printer.c

nonExist now does the expected thing

2013-08-23 13:17:45 +00:00

reader.c

added make file for compiling the C runtime for Android. The JIT compiler for Android is temporary disabled

2013-09-04 11:56:47 +00:00

reader.h

Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.

2013-06-25 19:22:42 +00:00

reasoner.c

fixes in the C and Python API to make them closer to the Haskell API

2013-08-16 12:44:37 +00:00

reasoner.h

fixes in the C and Python API to make them closer to the Haskell API

2013-08-16 12:44:37 +00:00