aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Makefile
Commit message (Expand)AuthorAgeFilesLines
...
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-1/+8
* Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-1/+2
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-1/+1
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-191-1/+1
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-171-1/+1
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-1/+12
* Empty declarationsjjourdan2014-05-231-1/+1
* Merge of branch linear-typing:xleroy2014-04-061-1/+2
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-281-3/+4
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-1/+1
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-2/+3
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...xleroy2013-11-061-1/+1
* Add test for NaNsxleroy2013-08-021-4/+20
* Missing case: initialization of a global variable of type _Bool.xleroy2013-05-081-1/+1
* Revised semantics and compilation of 2-argument C operators to better match xleroy2013-05-061-1/+1
* Add __builtin_bswap16 and __builtin_bswap32 to all ports.xleroy2013-04-201-1/+1
* Tests "floats" and "floats-basics" moved from test/c to test/regressionxleroy2013-04-201-11/+16
* Interp.ml: support printf of long longxleroy2013-04-201-1/+1
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-1/+1
* Fix 'interp' entryxleroy2013-03-011-1/+1
* Testing dense switchesxleroy2013-03-011-1/+1
* Errors for excessively large global variables or stack frames.xleroy2013-02-021-2/+2
* Support for inline assembly (asm statements).xleroy2012-12-181-1/+1
* Globalenvs: allocate one-byte block with permissions Nonempty for eachxleroy2012-11-121-1/+1
* Merge of branch seq-and-or. See Changelog for details.xleroy2012-10-061-2/+2
* Initializers: handle By_copy accesses (e.g. for &(glob.field))xleroy2012-02-071-0/+12
* Merge of the "volatile" branch:xleroy2012-02-041-1/+1
* Merge of the nonstrict-ops branch:xleroy2012-01-141-1/+2
* cparser/*: refactoring of the expansion of read-modify-write operatorsxleroy2011-11-261-1/+1
* Fixed serious bug in handling of volatile arrays.xleroy2011-11-261-2/+2
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-3/+3
* IA32: wrong moves generated in print_builtin_memcpy_big.xleroy2011-08-101-1/+1
* In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...xleroy2011-07-161-1/+1
* Typoxleroy2011-05-121-1/+1
* cparser: support for attributes over struct and union.xleroy2011-05-121-2/+2
* cparser/Elab: __attribute, not attributexleroy2011-04-161-1/+1
* Revised handling of sizeof(string-literal)xleroy2011-03-151-2/+3
* Treat "char" as unsigned OR signed depending on the configuration.xleroy2011-03-091-2/+2
* In StructAssign: be careful not to duplicate accesses to a volatile variable.xleroy2010-11-101-1/+1
* Inconsistent treatment of "lone" zero-width bit fieldsxleroy2010-09-241-1/+1
* Merge of the reuse-temps branch:xleroy2010-09-021-2/+3
* Adding __builtin_annotationxleroy2010-09-011-1/+1
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...xleroy2010-09-011-0/+1
* Merge of branches/full-expr-4:xleroy2010-08-181-2/+3
* Bug in cparser/AddCasts.ml.xleroy2010-07-081-1/+1
* Another regressionxleroy2010-05-101-1/+1
* More struct testsxleroy2010-04-171-1/+2
* Test bit field of size 32xleroy2010-04-091-1/+1
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.xleroy2010-04-091-1/+1