aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-205-19/+96
* Merge branch 'master' into struct-passingXavier Leroy2015-03-143-189/+180
|\
| * Merge branch 'master' into no-shellBernhard Schommer2015-02-194-137/+113
| |\
| | * Interpreter produces more detailed trace, including name of semantic rules used.Xavier Leroy2015-02-081-95/+61
| * | Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-292-94/+119
* | | Improve performance and configurability for the StructReturn pass.Xavier Leroy2015-03-142-3/+29
* | | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-272-1/+10
| |/ |/|
* | Merge branch 'named-structs'Xavier Leroy2015-01-232-12/+14
|\ \
| * | Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-222-11/+13
| * | Introduce symbol environments (type Senv.t) as a restricted view on global en...Xavier Leroy2014-11-261-1/+1
* | | PR#16: give option rules precedence over file pattern rules.Xavier Leroy2015-01-033-31/+38
* | | PR#14: recognize ".so" arguments as files to pass to the linker.Xavier Leroy2015-01-021-1/+2
| |/ |/|
* | Stdlib path is ignored when the configuration has_runtime_lib is set to false.Bernhard Schommer2014-12-151-2/+7
* | Removed unused variable and changed the search for the installation directory...Bernhard Schommer2014-12-041-1/+1
|/
* Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-242-2/+9
* Add Genv.public_symbol operation.Xavier Leroy2014-11-241-1/+21
* Record public global definitions via field "prog_public" in AST.program.Xavier Leroy2014-11-241-1/+2
* Add flags to control individual optimization passes + flag -O0 for turning th...Xavier Leroy2014-11-164-37/+116
* Revised parsing of command-line arguments (in preparation for adding more).Xavier Leroy2014-11-163-118/+250
* Revised translation of '&&' and '||' to Clight.Xavier Leroy2014-10-131-1/+1
* Removed environment variable for the stdlib_path and added a new variable for...Bernhard Schommer2014-10-063-20/+20
* Change the way the tools like the linker, assembler, etc. are specified by in...Bernhard Schommer2014-09-301-0/+86
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-293-50/+64
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.xleroy2014-08-192-5/+9
* Nicer reporting of I/O errors (e.g. "No such file").xleroy2014-08-131-23/+26
* configure: distinguish between ABI and processor model.xleroy2014-07-291-2/+2
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-2/+3
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-273-1/+5
* Merge of "newspilling" branch:xleroy2014-07-231-1/+1
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-091-1/+1
* Merge of branch linear-typing:xleroy2014-04-063-22/+78
* Error messages were not displayed correctly if the main() function is missing...xleroy2014-03-211-5/+5
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-194-0/+39
* Recognize .i and .p source files as C sources not to be preprocessed.xleroy2014-02-051-3/+31
* Interp.ml: in the emulation of printf(), check formats against types of argum...xleroy2014-01-121-34/+51
* Better printing of integer literals: add U and LL suffixes when needed.xleroy2014-01-121-1/+1
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-123-38/+19
* More tolerance for functions declared without a prototypexleroy2013-12-282-3/+6
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-283-10/+6
* Revised parsing of command-line options, more GCC-like.xleroy2013-12-211-21/+44
* Merge of branch value-analysis.xleroy2013-12-203-1/+12
* Rename "-fno-sse" into "-fno-fpu" and honor it on PowerPC as well.xleroy2013-11-272-3/+4
* Revised semantics of external functions, continued:xleroy2013-11-182-143/+36
* Revised modeling of external functions and built-in functions: just axiomatizexleroy2013-11-172-20/+124
* Compile in debug mode and activate stack backtraces.xleroy2013-07-071-0/+1
* Merge of the "princeton" branch:xleroy2013-06-161-4/+4
* More precise and faster recovery of function name from function or fundef value.xleroy2013-06-081-2/+8
* Merge of the float32 branch: xleroy2013-05-191-0/+1
* Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi...xleroy2013-05-172-0/+3
* Preliminary support for debugging info (-g).xleroy2013-05-172-8/+13
generated by cgit (git 2.34.1) at 2024-06-03 01:41:06 +0000