| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-31 | 1 | -0/+2 |
| | | | | | | | Conflicts: Makefile driver/Driver.ml | ||||
| * | Improvements in the StructReturn transformation (ABI conformance for passing ↵ | Xavier Leroy | 2015-03-20 | 1 | -0/+55 |
| composites). - Implement the "1/2/4/8" composite return policy, used by IA32/MacOS X and IA32/BSD. - Move the default passing conventions from Machine.ml to compcert.ini, making it easier to test the various conventions. - More comprehensive interoperability test in regression/interop1.c. | |||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |