| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-10-04 | Implemented Pfloatfield and Psetfloatfieldmaster | Grégoire Duchêne |
| 2014-10-02 | Removed useless parentheses | Grégoire Duchêne |
| 2014-09-29 | Added the -t CLI option | Grégoire Duchêne |
| 2014-09-29 | Do not indiscriminately delete test outputs | Grégoire Duchêne |
| 2014-09-29 | Fixed the evaluation of some predefined exceptions | Grégoire Duchêne |
| 2014-09-29 | Clarified a few helper functions | Grégoire Duchêne |
| 2014-09-28 | Added the first tests | Grégoire Duchêne |
| 2014-09-28 | Implemented the -denv CLI option | Grégoire Duchêne |
| 2014-09-27 | Moved the code into src/ | Grégoire Duchêne |
| 2014-09-27 | Added .gitignore and updated ostumake | Grégoire Duchêne |
| 2014-09-10 | Import of the private version | Grégoire Duchêne |
| 2014-08-28 | Added ostumake submodule | Grégoire Duchêne |
| 2014-08-28 | First commit | Grégoire Duchêne |
 |
index : tamasheq | |
| OCaml instrumentation tool. |
| summaryrefslogtreecommitdiff |