krasimir 483df35954 fix in the dictionary lookup

2015-05-08 18:12:24 +00:00

..

lightning

silence some warnings in GNU Lightning for i386_64

2015-02-19 12:53:52 +00:00

aligner.c

API for word alignment in the C runtime and in the Haskell binding

2014-12-29 10:59:20 +00:00

data.c

throw away the long obsolete runtime type information in the C runtime

2014-10-09 13:44:26 +00:00

data.h

parsing with meta rules is now removed since we don't use them anymore and I would gladly remove some code.

2015-02-19 11:59:51 +00:00

evaluator.c

now (+) in the abstract syntax works, i.e. it knows how to deal with partial sums

2014-10-31 14:16:11 +00:00

evaluator.h

now (+) in the abstract syntax works, i.e. it knows how to deal with partial sums

2014-10-31 14:16:11 +00:00

expr.c

implemented escape characters when reading/printing an abstract expression with string literals

2015-02-24 09:35:12 +00:00

expr.h

added mkStr to the Haskell binding

2014-12-19 08:58:02 +00:00

graphviz.c

CAPIT is now naturally supported in the C runtime

2014-10-22 15:05:55 +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

hopu.c

a skeletal module for higher-order pattern unification in the C runtime

2014-10-31 19:57:56 +00:00

hopu.h

a skeletal module for higher-order pattern unification in the C runtime

2014-10-31 19:57:56 +00:00

jit.c

added getpagesize() definition for Windows

2015-04-20 09:57:28 +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

API for word alignment in the C runtime and in the Haskell binding

2014-12-29 10:59:20 +00:00

linearizer.h

fix in linearizer.h to make jpgf compilable

2014-12-01 09:41:48 +00:00

literals.c

the parser is now fully Unicode compatible

2015-05-08 09:23:29 +00:00

literals.h

change in the API for literals

2014-12-16 10:21:26 +00:00

parser.c

fix in the dictionary lookup

2015-05-08 18:12:24 +00:00

parseval.c

remove pgf/parser.h

2014-11-27 11:12:14 +00:00

pgf.c

change in the API for literals

2014-12-16 10:21:26 +00:00

pgf.h

API for word alignment in the C runtime and in the Haskell binding

2014-12-29 10:59:20 +00:00

printer.c

Prelude.CAPIT is now a built-in primitive. It still generates &| in the Haskell runtime but will be intepreted in the C runtime

2014-10-09 19:34:12 +00:00

reader.c

change in the API for literals

2014-12-16 10:21:26 +00:00

reader.h

fix in reader.h for compiling jpgf.c

2014-09-30 11:25:27 +00:00

reasoner.c

fix the debug mode in the reasoner

2014-10-23 08:15:12 +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

the C runtime now supports reading and writing expressions with indexed meta variables. The type checker generates fresh indices

2014-10-17 09:27:37 +00:00