compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Print symbols as symbols.	Bernhard Schommer	2018-03-08	1	-16/+16
*	Also use binary output for arm. Fix 23172	Bernhard Schommer	2018-03-07	1	-1/+1
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-1/+1
*	Remove mnemonics not exported to JSON from mnemonics list	Michael Schmidt	2018-01-09	1	-4/+4
*	Change AsmToJson to be similar to other printers.	Bernhard Schommer	2018-01-05	1	-3/+11
*	Introduce 'cmn' instruction and optimize compare-with-immediate when negated ...	Michael Schmidt	2017-12-15	1	-1/+2
*	Moved constant expansion into Asmexpand. (#40)	Bernhard Schommer	2017-12-14	1	-10/+29
*	Export configured architecture to JSON (#38)	Michael Schmidt	2017-12-13	1	-3/+3
*	Added json export for the abstract ARM Assembler	Bernhard Schommer	2017-11-20	1	-3/+273
*	Added dump-mnemonics option.	Bernhard Schommer	2017-09-25	1	-0/+2
*	Formatted json printing.	Bernhard Schommer	2017-06-28	1	-2/+2
*	Fixed minor typos in the comments.	Bernhard Schommer	2015-10-04	1	-1/+1
*	Added the first version of the sdump export to json.	Bernhard Schommer	2015-04-27	1	-0/+18