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

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

expr.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

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

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

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

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

linearizer.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

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

bugfix for the custom literals in the C runtime

2013-10-21 12:34:57 +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

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

pgf.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

pgf.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

printer.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

reader.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

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