kr.angelov cedf848b5d fix the graphviz visualization after the introduction of nonExist and BIND

2013-09-30 10:38:28 +00:00

..

lightning

rewrite the ARM port of GNU lightning to a form compatible with the versions for the other CPUs

2013-09-11 20:17:50 +00:00

data.c

a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified

2013-09-17 12:45:00 +00:00

data.h

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

2013-09-27 15:09:48 +00:00

expr.c

a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified

2013-09-17 12:45:00 +00:00

expr.h

a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified

2013-09-17 12:45:00 +00:00

graphviz.c

fix the graphviz visualization after the introduction of nonExist and BIND

2013-09-30 10:38:28 +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

added assertion in the JIT compiler which checks that we are not going outside of the compilation window

2013-09-25 07:53:10 +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

a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified

2013-09-17 12:45:00 +00:00

lexer.h

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

2013-09-05 11:20:39 +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

better handling for nonExist in the C runtime. BIND is also supported in the linearizer but not in the parser yet

2013-09-30 10:25:39 +00:00

linearizer.h

better handling for nonExist in the C runtime. BIND is also supported in the linearizer but not in the parser yet

2013-09-30 10:25:39 +00:00

literals.c

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

2013-09-27 15:09:48 +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

better handling for nonExist in the C runtime. BIND is also supported in the linearizer but not in the parser yet

2013-09-30 10:25:39 +00:00

parser.h

a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified

2013-09-17 12:45:00 +00:00

parseval.c

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

2013-09-27 15:09:48 +00:00

pgf.c

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

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

pgf.h

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

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

printer.c

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

2013-09-27 15:09:48 +00:00

reader.c

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

2013-09-27 15:09:48 +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