compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added missing dltl to dall.	Bernhard Schommer	2017-03-08	1	-0/+1
*	Merge pull request #167 from AbsInt/pipe_prerequisite	Xavier Leroy	2017-02-15	7	-28/+21
\|\
\| *	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	7	-28/+21
* \|	Merge pull request #170 from AbsInt/remove_cminor	Xavier Leroy	2017-02-15	1	-65/+0
\|\ \
\| * \|	Removed CMinor import. Bug 20992	Bernhard Schommer	2017-02-14	1	-65/+0
* \| \|	Removed superfluous semicolon.	Bernhard Schommer	2017-02-14	1	-1/+1
\|/ /
* \|	Remove Optionsprinter. Bug 20993	Bernhard Schommer	2017-02-14	2	-155/+1
* \|	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-1/+1
\|/
*	Merge branch 'elaboration-of-attributes'	Xavier Leroy	2017-02-06	1	-0/+1
\|\
\| *	Refactor the classification of attributes	Xavier Leroy	2017-02-03	1	-0/+1
* \|	Remove overriding open in Interp.	Bernhard Schommer	2017-02-03	1	-11/+11
\|/
*	Fixed indention of help.	Bernhard Schommer	2017-01-27	1	-3/+3
*	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	2	-0/+22
*	Allow .sx files for preprocessed assembler files.	Bernhard Schommer	2017-01-25	1	-0/+3
*	Use quoted strings.	Bernhard Schommer	2017-01-18	4	-127/+138
*	Added backtrace handler.	Bernhard Schommer	2017-01-17	1	-0/+2
*	add parameter to enforce a specific compcert build number for QSKs (bug 20595)	Michael Schmidt	2016-12-16	1	-2/+14
*	Also exit on errors. Bug 19872	Bernhard Schommer	2016-12-15	1	-1/+1
*	Check errors at the end. Bug 19872	Bernhard Schommer	2016-12-15	1	-0/+1
*	remove unused file, update tests for arch-field of configuration files	Michael Schmidt	2016-11-03	1	-1/+1
*	Merge pull request #145 from AbsInt/64	Xavier Leroy	2016-10-27	3	-11/+14
\|\
\| *	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-1/+1
\| *	driver/Interp: update	Xavier Leroy	2016-10-24	1	-8/+8
\| *	Support for 64-bit architectures: update the PowerPC port	Xavier Leroy	2016-10-01	1	-456/+0
\| *	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	3	-4/+463
* \|	Document -target and -conf. Bug 20210	Bernhard Schommer	2016-10-18	1	-0/+2
* \|	Refactored debugging options.	Bernhard Schommer	2016-10-14	2	-29/+6
* \|	Remove undocumented option. Bug 20193	Bernhard Schommer	2016-10-14	3	-8/+2
* \|	Fix minor typo	Michael Schmidt	2016-10-12	1	-1/+1
* \|	Fixed regression in printing of floats.	Bernhard Schommer	2016-10-04	1	-1/+1
\|/
*	Allow %lf type specifier in printf.	Bernhard Schommer	2016-09-22	1	-1/+1
*	Ignore also ignores the argunment. Bug 18004	Bernhard Schommer	2016-09-20	2	-2/+7
*	Merge pull request #139 from AbsInt/advanced-diagnostics	Bernhard Schommer	2016-09-20	3	-31/+40
\|\
\| *	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	7	-20/+93
\| \|\
\| * \|	Additional test for color output.	Bernhard Schommer	2016-08-05	3	-26/+33
\| * \|	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-5/+7
* \| \|	Added option to specify sdump folder. Fix 19816.	Bernhard Schommer	2016-09-16	1	-2/+7
\| \|/ \|/\|
* \|	Merge pull request #118 from AbsInt/armeb	Xavier Leroy	2016-08-24	3	-1/+11
\|\ \
\| * \	fix merge conflicts	Michael Schmidt	2016-08-17	7	-10/+61
\| \|\ \
\| * \| \|	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	3	-1/+11
* \| \| \|	Print whole command line.	Bernhard Schommer	2016-08-22	1	-8/+8
\| \|/ / \|/\| \|
* \| \|	Merge pull request #107 from AbsInt/add-file	Xavier Leroy	2016-08-17	6	-8/+57
\|\ \ \
\| * \| \|	Moved quoting functions in Responsefile	Bernhard Schommer	2016-08-16	3	-34/+8
\| * \| \|	Added missing begin end around quoting. Bug 18308.	Bernhard Schommer	2016-08-10	1	-2/+2
\| * \| \|	Corrected diab quoting. Bug 18308	Bernhard Schommer	2016-07-21	1	-8/+11
\| * \| \|	Added support for quoting for diab backend.	Bernhard Schommer	2016-07-21	3	-1/+20
\| * \| \|	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	4	-9/+31
\| * \| \|	Merged responfile function into command.	Bernhard Schommer	2016-07-19	5	-49/+33
\| * \| \|	Added heuristic for passing arg via responsefiles.	Bernhard Schommer	2016-07-12	5	-11/+51
\| * \| \|	Added responsefile support for commandline.	Bernhard Schommer	2016-07-08	2	-1/+8