Name Last Update
..
examples Loading commit data...
paccs Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README Loading commit data...
TODO Loading commit data...
flatzinc.l Loading commit data...
flatzinc.y Loading commit data...
fzsem.pl Loading commit data...
semantic.pl Loading commit data...
stable.pl Loading commit data...
types.h Loading commit data...
types.pl Loading commit data...
typescript Loading commit data...

README

Sample usage:

./fzp < examples/aust.fzn | ./fz-paccs load name type code halt

Notes:

- AST nodes for fzn parser

TYPE : VALUE

- acceptable types:

- driver process fz-BACK (BACK is back-end specific):

reads stdin (as produced by bison-generated parser), which results
in a Prolog term which is the AST. It then does semantic analysis
(name & type).

AST is translated to an IR or actual C code for PaCCS.