gf-core

2013-10-08 13:33:18 +00:00

data.c

GuString is now an ordinary C string - it makes live easier. In addition PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use.

2013-10-04 12:04:39 +00:00

data.h

the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The later is now retrained. Once the grammar is compiled with the .probs file now it doesn't need anything more to do robust parsing. The robustness itself is controlled by the flags 'heuristic_search_factor', 'meta_prob' and 'meta_token_prob' in ParseEngAbs.gf

2013-11-06 10:21:46 +00:00

expr.c

when printing floating literals use %lg instead of %lf for better output

2013-11-06 09:46:29 +00:00

expr.h

GuString is now an ordinary C string - it makes live easier. In addition PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use.

2013-10-04 12:04:39 +00:00

graphviz.c

suppress warning in graphviz.c

2013-10-04 12:56:45 +00:00

graphviz.h

remove the read and write modules from libgu. this simplifies the i/o layer

2013-09-05 11:20:39 +00:00

jit.c

fix for the memory allocation in the jitter which should work for Windows.

2013-11-07 08:47:35 +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

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

bug fix in the linearizer

2013-11-04 12:40:53 +00:00

linearizer.h

bracketedLinearize in Python is now using the linref

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

literals.c

a major redesign in the C runtime. The parser and the linearizer now fully support BIND. The following things are still broken: parseval, word completion, handling 'pre', the robust mode

2013-10-09 12:08:51 +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

factor of 3 speedup for the translation without slowing down the grammar loading. The parser still seems to be 8 times slower than before I introduced the BIND. At least the Android UI now feels a lot more comfortable

2013-11-07 11:14:32 +00:00

parser.h

a major redesign in the C runtime. The parser and the linearizer now fully support BIND. The following things are still broken: parseval, word completion, handling 'pre', the robust mode

2013-10-09 12:08:51 +00:00

parseval.c

fix the parseval metric after the redesign in the C runtime

2013-11-01 17:36:22 +00:00

pgf.c

the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The later is now retrained. Once the grammar is compiled with the .probs file now it doesn't need anything more to do robust parsing. The robustness itself is controlled by the flags 'heuristic_search_factor', 'meta_prob' and 'meta_token_prob' in ParseEngAbs.gf

2013-11-06 10:21:46 +00:00

pgf.h

the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The later is now retrained. Once the grammar is compiled with the .probs file now it doesn't need anything more to do robust parsing. The robustness itself is controlled by the flags 'heuristic_search_factor', 'meta_prob' and 'meta_token_prob' in ParseEngAbs.gf

2013-11-06 10:21:46 +00:00

printer.c

the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The later is now retrained. Once the grammar is compiled with the .probs file now it doesn't need anything more to do robust parsing. The robustness itself is controlled by the flags 'heuristic_search_factor', 'meta_prob' and 'meta_token_prob' in ParseEngAbs.gf

2013-11-06 10:21:46 +00:00

reader.c

factor of 3 speedup for the translation without slowing down the grammar loading. The parser still seems to be 8 times slower than before I introduced the BIND. At least the Android UI now feels a lot more comfortable

2013-11-07 11:14:32 +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

GuString is now an ordinary C string - it makes live easier. In addition PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use.

2013-10-04 12:04:39 +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

typechecker.c

A simple type checker in the C runtime. Dependent types are not supported yet but HOAS is implemented. The API is accessible from Python as well

2013-11-04 17:10:46 +00:00