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

- AST nodes for fzn parser

TYPE : VALUE

- acceptable types:

- driver process fznslurp:

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.