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

	Commit message (Expand)	Author	Age	Files	Lines
*	"macosx" is now called "macos"	Xavier Leroy	2021-01-18	1	-1/+1
*	Introduce additional "branch" build information.	Bernhard Schommer	2020-07-08	1	-2/+2
*	Added base address if needed.	Bernhard Schommer	2020-02-06	3	-33/+53
*	Compatibility with OCaml 4.10 (#214)	Xavier Leroy	2020-02-06	1	-1/+1
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
*	Compatibility with OCaml 4.08 (#302)	Xavier Leroy	2019-07-08	1	-2/+2
*	Fix misspellings in messages, man pages, and comments	Xavier Leroy	2019-05-31	3	-4/+4
*	Change to AbsInt version string.	Bernhard Schommer	2019-05-10	1	-1/+1
*	Simplified offset printing.	Bernhard Schommer	2019-04-16	1	-2/+3
*	Print only debug info for printed functions.	Bernhard Schommer	2019-04-16	5	-13/+16
*	Reworked range entries.	Bernhard Schommer	2019-04-16	3	-39/+71
*	Avoid generation of empty ranges.	Bernhard Schommer	2019-04-16	1	-1/+4
*	Relax requirement for ranges for compilation unit.	Bernhard Schommer	2019-04-16	1	-1/+1
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-1/+1
*	Reverted reintroduced quote of compilation dir.	Bernhard Schommer	2017-09-19	1	-2/+2
*	No verbose debug info in default mode.	Bernhard Schommer	2017-07-14	1	-5/+17
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-2/+2
*	Better fix for problems with quoting in files.	Bernhard Schommer	2017-03-20	2	-4/+4
*	Quote directory for comp_dir entry.	Bernhard Schommer	2017-03-20	1	-2/+2
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-7/+6
*	Simplified DebugInformation interface.	Bernhard Schommer	2017-02-06	3	-83/+36
*	Remove open AST.	Bernhard Schommer	2017-02-06	1	-4/+3
*	Removed the open AST.	Bernhard Schommer	2017-02-06	2	-10/+8
*	Do not print anonymous member names in debug info	Bernhard Schommer	2017-01-24	5	-4/+6
*	Use quoted strings.	Bernhard Schommer	2017-01-18	1	-5/+6
*	More verbose dwarf.	Bernhard Schommer	2016-12-07	3	-4/+6
*	Compute the correct size of location expressions.	Bernhard Schommer	2016-12-01	1	-1/+1
*	Reset all Hashtbls.	Bernhard Schommer	2016-11-25	2	-10/+14
*	Do not use hardcoded register number for sp.	Bernhard Schommer	2016-11-25	1	-10/+10
*	Use 64 bit address in debug information.	Bernhard Schommer	2016-11-10	2	-19/+23
*	macosx needs all strings in degub_str.	Bernhard Schommer	2016-10-25	1	-1/+2
*	Pass range info to the children.	Bernhard Schommer	2016-10-25	1	-1/+2
*	Refactored debugging options.	Bernhard Schommer	2016-10-14	1	-2/+36
*	Added sizetyp for subarray bounds. Fix 19894	Bernhard Schommer	2016-09-22	3	-21/+43
*	Use asprintf instead of printing to a buffer.	Bernhard Schommer	2016-07-26	1	-5/+2
*	Activate advanced debug information for arm, ia32.	Bernhard Schommer	2016-06-28	1	-1/+1
*	Merge branch 'master' into cleanup	Bernhard Schommer	2016-03-21	1	-10/+0
\|\
* \|	Added an interface file for DebugInformation.	Bernhard Schommer	2016-03-18	5	-43/+183
* \|	Code cleanup.	Bernhard Schommer	2016-03-10	7	-25/+12
\|/
*	More unique debug types.	Bernhard Schommer	2016-01-14	3	-26/+26
*	Sort strings in the debug_str section.	Bernhard Schommer	2015-12-04	1	-0/+1
*	Fixed regression introduce by merge of PR#69.	Bernhard Schommer	2015-12-03	4	-0/+16
*	Added now option to control debug output.	Bernhard Schommer	2015-11-16	1	-17/+20
*	Do not enforce locations for function parameters.	Bernhard Schommer	2015-11-10	1	-1/+3
*	Merge branch 'master' of git+ssh://ssh.absint.com/common/repositories/git/too...	Michael Schmidt	2015-11-06	1	-2/+2
\|\
\| *	Do not print parameter names in function types.	Bernhard Schommer	2015-11-06	1	-2/+2
* \|	bug 17567, typos	Michael Schmidt	2015-11-06	4	-11/+11
\|/
*	New option to control the debug information build.	Bernhard Schommer	2015-11-04	2	-5/+12
*	bug 17567, typos	Michael Schmidt	2015-11-04	1	-3/+3
*	bug 17567, typos	Michael Schmidt	2015-11-04	2	-2/+2