added openmp example that typechecks, but has some compile issues (especially with C pragmas)
Merge pull request #58 from bbarker/OpenMP_hello

Open mp hello
Updating: adding an ATS-QA-LIST-example on alloca
Updating: for merging
Updating: minor changes
Updating: supporting s2zexp_typize
Updating: allowing data constructors to omit type arguments
Updating: documenting BUGS/bug-2014-02-15
Updating: adding an ATS-QA-LIST example
Updating: preparing for the release of ATS2-0.0.6
Updating: template argument: S2ZEvar(s2v) -> S2Evar
Updating: preparing for the release of ATS2-0.0.6
Updating: preparing for ATS2-0.0.6
attempting grexpset dataviewtype

added some notes

nearly working alternative list cnfizer

typechecks

initial support for multiple makefile targets

minor changes

now compiles with grexplst_cnfize_except

finished initial version of cnf_timeout
removed an experimental datatype
Merge pull request #59 from bbarker/falcon_cnf_timeout

added cnf_timeout script
Updating: tidying up some FALCON code
started rule numbering at 1 to conform to MATLAB