Files

 develop

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

scolin

Fix a bug where initializations of global variables were not visited

Apr 3, 2016

d5d2776 · Apr 3, 2016

History

History

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ext		ext	Represent functions without arguments in typsig	Mar 10, 2014
frontc		frontc	Allow empty clobbers in gcc asm	Apr 3, 2016
ocamlutil		ocamlutil	Safer fix for Pretty module	Jul 1, 2014
_tags		_tags	Move ocamlutil to src	Aug 27, 2013
cfg.ml		cfg.ml	Reorganise src/ext and clean-up cil library	Aug 26, 2013
cfg.mli		cfg.mli	Fix inconsistent use of qualified idents.	Oct 20, 2013
check.ml		check.ml	Fix flexible array members assignment (closes #140)	Sep 9, 2013
check.mli		check.mli	forgot to check these in	Feb 27, 2007
cil.ml		cil.ml	Add ability to have size_t on 8 bytes	Mar 28, 2016
cil.mli		cil.mli	Fix documentation for Cil.ptrdiffType	May 26, 2014
cil.mllib		cil.mllib	Do not include LLVM feature in cillib	Sep 4, 2013
cilint.ml		cilint.ml	Fix one-off bug in Cilint truncation functions	Sep 9, 2011
cilint.mli		cilint.mli	minor 64-bit cleanup, mark deprecated functions	May 28, 2009
cillower.ml		cillower.ml	Remove the svn:executable property from numerous source files that are	Nov 22, 2007
cillower.mli		cillower.mli	Remove the svn:executable property from numerous source files that are	Nov 22, 2007
ciloptions.ml		ciloptions.ml	Remove Testcil and Testcilint modules	Jun 17, 2013
ciloptions.mli		ciloptions.mli	Remove the svn:executable property from numerous source files that are	Nov 22, 2007
cilutil.ml		cilutil.ml	Remove deprecated Cil.featureDescr	Aug 27, 2013
cilversion.ml.in		cilversion.ml.in	Extract the substitution template for "cilversion.ml" into its own fi…	Nov 22, 2007
dataflow.ml		dataflow.ml	Reorganise src/ext and clean-up cil library	Aug 26, 2013
dataflow.mli		dataflow.mli	Reorganise src/ext and clean-up cil library	Aug 26, 2013
dominators.ml		dominators.ml	Reorganise src/ext and clean-up cil library	Aug 26, 2013
dominators.mli		dominators.mli	Reorganise src/ext and clean-up cil library	Aug 26, 2013
escape.ml		escape.ml	change the way we generate args for features so that only one of {do,…	Oct 16, 2003
escape.mli		escape.mli	Let's try that again. Use just "int64" instead of "Int64.t" or	Jul 8, 2003
expcompare.ml		expcompare.ml	Move Expcompare out of src/ext	Aug 26, 2013
feature.ml		feature.ml	Ignore directories when looking for plugins	Oct 9, 2013
feature.mli		feature.mli	Feature.enabled should not raise Not_found	Sep 5, 2013
formatcil.ml		formatcil.ml	OCaml 3.09 includes warnings for unused local variables and unreachab…	Dec 4, 2005
formatcil.mli		formatcil.mli	Released CIL 1.3.6	Feb 5, 2007
formatlex.mll		formatlex.mll	OCaml 3.09 includes warnings for unused local variables and unreachab…	Dec 4, 2005
formatparse.mly		formatparse.mly	remove excess newlines and old .cvsignore files	Sep 19, 2008
libmaincil.ml		libmaincil.ml	Using Util.list_map instead of List.map	Feb 14, 2010
machdep-ml.c.in		machdep-ml.c.in	Avoid warnings about casting pointers to int	Sep 20, 2015
machdepenv.ml		machdepenv.ml	Fix parsing of char_signed with --envmachine	Feb 8, 2013
main.ml		main.ml	Remove deprecated Cil.featureDescr	Aug 27, 2013
mergecil.ml		mergecil.ml	Fix a bug where initializations of global variables were not visited	Apr 3, 2016
mergecil.mli		mergecil.mli	Making lots of changets in the alpha renamer	Jan 8, 2004
rmtmps.ml		rmtmps.ml	Support range of values in case labels	Apr 30, 2013
rmtmps.mli		rmtmps.mli	added a flag to remove unused globals even in MSVC mode	May 18, 2006
View all files