debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	More cleanups in packed struct emulation.	xleroy	2011-10-16
*	Revised emulation of packed structs	xleroy	2011-10-16
*	Watch out for min_int / -1	xleroy	2011-08-27
*	Doc fixes	xleroy	2011-08-23
*	MAJ licence	xleroy	2011-08-23
*	Changelog, doc: updated for release 1.9	xleroy	2011-08-22
*	arm/PrintAsm: don't generate "vfd" directive, useless?	xleroy	2011-08-22
*	Harden proof script against empty destroyed_at_move	xleroy	2011-08-22
*	Wrong check: &e must be rejected if e has array type and is not a l-value.	xleroy	2011-08-21
*	Cleaned up old commented-out parts	xleroy	2011-08-19
*	More careful treatment of 'load immediate 0' as 'xor self'	xleroy	2011-08-18
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18
*	SimplVolatile: new pass to eliminate read-modify-write ops over volatiles	xleroy	2011-08-18
*	Factor out bind_lvalue	xleroy	2011-08-17
*	MAJ	xleroy	2011-08-16
*	New backend pass "RRE": optimize (somewhat) redundant reloads introduced by t...	xleroy	2011-08-16
*	Forgot to update: adding xchg instruction	xleroy	2011-08-16
*	Locations.v: add Loc.diff_dec.	xleroy	2011-08-14
*	IA32 PrintAsm.ml: wrong moves generated in print_builtin_memcpy_big	xleroy	2011-08-10
*	IA32: wrong moves generated in print_builtin_memcpy_big.	xleroy	2011-08-10
*	Treatment of volatiles: offer the choice between random reads and treating vo...	xleroy	2011-08-09
*	More vigorous scrubbing of r-value structs	xleroy	2011-08-09
*	Improved treatment of structs/unions as r-values	xleroy	2011-08-08
*	IA32 port: more faithful treatment of pseudoregister ST0.	xleroy	2011-08-08
*	Cleaned up handling of composite conditions	xleroy	2011-08-05
*	Wrong ifdef PPC	xleroy	2011-08-05
*	More builtins for ARM and PowerPC	xleroy	2011-08-05
*	arm/PrintAsm: bugs in expansion of new builtins	xleroy	2011-08-05
*	Flag long long and long double literals	xleroy	2011-07-31
*	Check fcmpd semantics	xleroy	2011-07-31
*	ARM: added reversed load/store builtins + bswap builtin (to be tested)	xleroy	2011-07-30
*	ARM codegen ported to new ABI + VFD floats	xleroy	2011-07-30
*	Interp.ml: initialize PRNG	xleroy	2011-07-29
*	Typo in arm/PrintAsm.ml	xleroy	2011-07-28
*	Updated Makefile and dependencies. Typo in powerpc/PrintAsm.ml.	xleroy	2011-07-28
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28
*	Check for duplicate label definitions	xleroy	2011-07-18
*	More precise typechecking of statements	xleroy	2011-07-17
*	Improved semantics of casts	xleroy	2011-07-17
*	In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...	xleroy	2011-07-16
*	Merge of branch new-semantics: revised and strengthened top-level statements ...	xleroy	2011-07-15
*	Fix treatment of function pointers at function calls in the CompCert C and Cl...	xleroy	2011-07-14
*	Back from Oregon commit.	xleroy	2011-07-05
*	Relating neg and not	xleroy	2011-06-22
*	Forgot to print Oroli op	xleroy	2011-06-22
*	Recognition of rlwimi instruction (useful for bitfield assignment)	xleroy	2011-06-21
*	Coloringaux: better cost estimate for annotation builtins	xleroy	2011-06-14
*	Add preference for annot_val builtin	xleroy	2011-06-14
*	Forgot to add new file	xleroy	2011-06-14
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13