summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2014-10-04Implemented Pfloatfield and PsetfloatfieldmasterGrégoire Duchêne
2014-10-02Removed useless parenthesesGrégoire Duchêne
2014-09-29Added the -t CLI optionGrégoire Duchêne
This option makes tamasheq print any exception that escaped the eval function. Thus, instead of crashing, tamasheq will exit normally. This option is used in run_tests.sh when some of the tests do fail on purpose (see tests/AssertFalse.ml).
2014-09-29Do not indiscriminately delete test outputsGrégoire Duchêne
2014-09-29Fixed the evaluation of some predefined exceptionsGrégoire Duchêne
2014-09-29Clarified a few helper functionsGrégoire Duchêne
2014-09-28Added the first testsGrégoire Duchêne
2014-09-28Implemented the -denv CLI optionGrégoire Duchêne
2014-09-27Moved the code into src/Grégoire Duchêne
2014-09-27Added .gitignore and updated ostumakeGrégoire Duchêne
2014-09-10Import of the private versionGrégoire Duchêne
2014-08-28Added ostumake submoduleGrégoire Duchêne
2014-08-28First commitGrégoire Duchêne