| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | updatecontracts | Dana N. Xu | 2013-02-18 | 7 | -87/+90 |
| * | update | Dana N. Xu | 2013-02-18 | 5 | -57/+45 |
| * | cleaned code | Dana N. Xu | 2012-09-15 | 16 | -165/+145 |
| * | minor | Dana N. Xu | 2012-09-12 | 14 | -30/+407 |
| * | ok | Dana N. Xu | 2012-09-12 | 17 | -898/+1694 |
| * | insert and riser work | Dana N. Xu | 2012-06-27 | 12 | -326/+672 |
| * | fix some small bugs | Dana N. Xu | 2012-06-18 | 14 | -127/+311 |
| * | fixed some bugs | Dana N. Xu | 2012-06-08 | 32 | -278/+1087 |
| * | caller name is added | Dana N. Xu | 2011-11-17 | 1 | -3/+3 |
| * | caller name is added | Dana N. Xu | 2011-11-17 | 1 | -37/+6 |
| * | version | Dana N. Xu | 2011-11-03 | 1 | -1/+1 |
| * | otherlibs Makefile | Dana N. Xu | 2011-11-03 | 1 | -1/+2 |
| * | depend files for tools | Dana N. Xu | 2011-10-25 | 4 | -4/+14 |
| * | changed two more files | Dana N. Xu | 2011-10-24 | 2 | -118/+404 |
| * | added contract | Dana N. Xu | 2011-10-24 | 147 | -95/+18839 |
| * | contracts branch based on 3.12.1 | Xavier Leroy | 2011-10-20 | 1602 | -28599/+53479 |
| |\ | |||||
| | * | tagging release 3.12.13.12.1 | Damien Doligez | 2011-07-04 | 11 | -23/+39 |
| | * | Added missing Makefile. | Xavier Clerc | 2011-06-11 | 1 | -0/+2 |
| | * | PR#5276: issue with ocamlc -pack and recursively-packed modules | Xavier Leroy | 2011-06-11 | 2 | -10/+23 |
| | * | Use Makefile.okbad to test parsing only | Damien Doligez | 2011-06-10 | 6 | -4/+4 |
| | * | update changes between 3.12.0 and 3.12.1 | Damien Doligez | 2011-06-10 | 1 | -0/+39 |
| | * | ignore generated files | Damien Doligez | 2011-06-07 | 0 | -0/+0 |
| | * | fix camlp4 regression on ocamlnet | Damien Doligez | 2011-06-07 | 1 | -1/+1 |
| | * | fix camlp4 regression on ocamlnet | Damien Doligez | 2011-06-07 | 1 | -3/+46 |
| | * | add test for a camlp4 regression | Damien Doligez | 2011-06-06 | 3 | -0/+14 |
| | * | add regression test for commit 11070 | Damien Doligez | 2011-06-06 | 3 | -0/+9 |
| | * | ignore generated files | Damien Doligez | 2011-06-06 | 0 | -0/+0 |
| | * | removed generated file | Damien Doligez | 2011-06-06 | 1 | -6/+0 |
| | * | PR#4702: cleanup tick thread at exit | Xavier Leroy | 2011-06-06 | 2 | -2/+13 |
| | * | Fixes the regression discussed in the notes of PR#5080. | Xavier Clerc | 2011-06-06 | 1 | -2/+2 |
| | * | PR#4778: wrong MASM syntax generated (rarely) | Xavier Leroy | 2011-06-04 | 2 | -1/+2 |
| | * | PR#5184: alignment constraints for mapped files under Win32 | Xavier Leroy | 2011-06-04 | 2 | -2/+3 |
| | * | PR#5280: wrong autodetection of alignment constraints on MIPS 32 | Xavier Leroy | 2011-06-04 | 2 | -3/+5 |
| | * | PR#5281 typo in error message | Damien Doligez | 2011-06-01 | 2 | -2/+2 |
| | * | Avoid signature duplication by using the 'module type of' construct. | Xavier Clerc | 2011-05-30 | 3 | -97/+2 |
| | * | Allow dependency upon "_oasis". | Xavier Clerc | 2011-05-30 | 1 | -1/+2 |
| | * | fix PR#5272 | Jacques Garrigue | 2011-05-20 | 2 | -3/+5 |
| | * | Tentative fix for PR#5269 | Xavier Clerc | 2011-05-18 | 2 | -2/+2 |
| | * | undo PR#5238: does not work | Damien Doligez | 2011-05-17 | 1 | -1/+1 |
| | * | PR#5234 option -shared reverses order of -cclib options | Damien Doligez | 2011-05-17 | 2 | -2/+2 |
| | * | PR#5149 item 6 | Damien Doligez | 2011-05-17 | 1 | -3/+8 |
| | * | ignore temp files | Damien Doligez | 2011-05-17 | 15 | -7/+156 |
| | * | add .svnignore | Damien Doligez | 2011-05-17 | 1 | -0/+9 |
| | * | PR#5238 dummy location must have empty file name | Damien Doligez | 2011-05-16 | 1 | -1/+1 |
| | * | PR#5244 specialize compare (regression on PR#4194) | Damien Doligez | 2011-05-16 | 1 | -1/+1 |
| | * | clarified license | Damien Doligez | 2011-05-13 | 9 | -18/+11 |
| | * | added $id expansion | Damien Doligez | 2011-05-13 | 0 | -0/+0 |
| | * | A long time ago, forgot to add config/auto-aux/expm1.c ... | Xavier Leroy | 2011-05-12 | 2 | -0/+27 |
| | * | PR#5069 | Xavier Leroy | 2011-05-12 | 2 | -3/+6 |
| | * | - Added new operation 'compare_ext' to custom blocks, called when | Xavier Leroy | 2011-05-12 | 4 | -19/+61 |
