debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16
*	Glasnost: making transparent a number of definitions that were opaque	xleroy	2013-03-10
*	Constant propagation within __builtin_annot.	xleroy	2013-02-24
*	Remove some useless "Require".	xleroy	2012-12-30
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12
*	More aggressive elimination of conditional branches during constant	xleroy	2012-08-01
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14
*	Support for MacOS X's indirect symbols. (first try)	xleroy	2012-07-13
*	Merge of the newmem branch:	xleroy	2012-05-21
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27
*	Support for inlined built-ins.	xleroy	2010-06-29
*	Added support for jump tables in back end.	xleroy	2009-11-10
*	Refactoring of Constprop and Constpropproof into a machine-dependent part and...	xleroy	2009-08-17
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30
*	Replace cast{8,16}{signed,unsigned} with zero_ext and sign_ext.	xleroy	2008-12-29
*	Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore ...	xleroy	2008-05-30
*	Ajout license, README, copyright notices	xleroy	2008-01-27
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02
*	Meilleure representation des worklists dans l'algo de Kildall	xleroy	2006-09-11
*	Fusion de la branche "traces":	xleroy	2006-09-04
*	Initial import of compcert	xleroy	2006-02-09