summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* updatecontractsDana N. Xu2013-02-187-87/+90
* updateDana N. Xu2013-02-185-57/+45
* cleaned codeDana N. Xu2012-09-1516-165/+145
* minorDana N. Xu2012-09-1214-30/+407
* okDana N. Xu2012-09-1217-898/+1694
* insert and riser workDana N. Xu2012-06-2712-326/+672
* fix some small bugsDana N. Xu2012-06-1814-127/+311
* fixed some bugsDana N. Xu2012-06-0832-278/+1087
* caller name is addedDana N. Xu2011-11-171-3/+3
* caller name is addedDana N. Xu2011-11-171-37/+6
* versionDana N. Xu2011-11-031-1/+1
* otherlibs MakefileDana N. Xu2011-11-031-1/+2
* depend files for toolsDana N. Xu2011-10-254-4/+14
* changed two more filesDana N. Xu2011-10-242-118/+404
* added contractDana N. Xu2011-10-24147-95/+18839
* contracts branch based on 3.12.1Xavier Leroy2011-10-201602-28599/+53479
|\
| * tagging release 3.12.13.12.1Damien Doligez2011-07-0411-23/+39
| * Added missing Makefile.Xavier Clerc2011-06-111-0/+2
| * PR#5276: issue with ocamlc -pack and recursively-packed modulesXavier Leroy2011-06-112-10/+23
| * Use Makefile.okbad to test parsing onlyDamien Doligez2011-06-106-4/+4
| * update changes between 3.12.0 and 3.12.1Damien Doligez2011-06-101-0/+39
| * ignore generated filesDamien Doligez2011-06-070-0/+0
| * fix camlp4 regression on ocamlnetDamien Doligez2011-06-071-1/+1
| * fix camlp4 regression on ocamlnetDamien Doligez2011-06-071-3/+46
| * add test for a camlp4 regressionDamien Doligez2011-06-063-0/+14
| * add regression test for commit 11070Damien Doligez2011-06-063-0/+9
| * ignore generated filesDamien Doligez2011-06-060-0/+0
| * removed generated fileDamien Doligez2011-06-061-6/+0
| * PR#4702: cleanup tick thread at exitXavier Leroy2011-06-062-2/+13
| * Fixes the regression discussed in the notes of PR#5080.Xavier Clerc2011-06-061-2/+2
| * PR#4778: wrong MASM syntax generated (rarely)Xavier Leroy2011-06-042-1/+2
| * PR#5184: alignment constraints for mapped files under Win32Xavier Leroy2011-06-042-2/+3
| * PR#5280: wrong autodetection of alignment constraints on MIPS 32Xavier Leroy2011-06-042-3/+5
| * PR#5281 typo in error messageDamien Doligez2011-06-012-2/+2
| * Avoid signature duplication by using the 'module type of' construct.Xavier Clerc2011-05-303-97/+2
| * Allow dependency upon "_oasis".Xavier Clerc2011-05-301-1/+2
| * fix PR#5272Jacques Garrigue2011-05-202-3/+5
| * Tentative fix for PR#5269Xavier Clerc2011-05-182-2/+2
| * undo PR#5238: does not workDamien Doligez2011-05-171-1/+1
| * PR#5234 option -shared reverses order of -cclib optionsDamien Doligez2011-05-172-2/+2
| * PR#5149 item 6Damien Doligez2011-05-171-3/+8
| * ignore temp filesDamien Doligez2011-05-1715-7/+156
| * add .svnignoreDamien Doligez2011-05-171-0/+9
| * PR#5238 dummy location must have empty file nameDamien Doligez2011-05-161-1/+1
| * PR#5244 specialize compare (regression on PR#4194)Damien Doligez2011-05-161-1/+1
| * clarified licenseDamien Doligez2011-05-139-18/+11
| * added $id expansionDamien Doligez2011-05-130-0/+0
| * A long time ago, forgot to add config/auto-aux/expm1.c ...Xavier Leroy2011-05-122-0/+27
| * PR#5069Xavier Leroy2011-05-122-3/+6
| * - Added new operation 'compare_ext' to custom blocks, called whenXavier Leroy2011-05-124-19/+61