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

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	removed print statements	David Monniaux	2019-05-08	1	-81/+18
\| \|
* \|	from Lustre v6 examples	David Monniaux	2019-05-08	6	-0/+1745
\| \|
* \|	load code into I-cache	David Monniaux	2019-05-04	1	-0/+3
\| \|
* \|	store o	David Monniaux	2019-05-04	2	-3/+3
\| \|
* \|	[#120] - Makefile generator + replaced binary_search/Makefile : it works	Cyril SIX	2019-05-03	4	-30/+81
\| \|
* \|	Merge branch 'mppa-work' into mppa_k1c	Cyril SIX	2019-05-03	4	-1/+57
\|\ \
\| * \|	example of spill peephole	David Monniaux	2019-05-02	1	-0/+21
\| \| \|
\| * \|	forgot Chunks.v	David Monniaux	2019-05-02	1	-1/+1
\| \| \|
\| * \|	Srsd / Srsw	David Monniaux	2019-04-29	1	-0/+10
\| \| \|
\| * \|	test for long bitfields	David Monniaux	2019-04-29	1	-0/+19
\| \| \|
\| * \|	start of extfzl/extfsl	David Monniaux	2019-04-25	1	-0/+6
\| \| \|
* \| \|	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	24	-290/+384
\|/ /
* \|	read from bit fields	David Monniaux	2019-04-25	1	-0/+20
\| \|
* \|	identify bug from x86	David Monniaux	2019-04-13	1	-2/+4
\| \|
* \|	various bugs in FP	David Monniaux	2019-04-13	1	-0/+6
\| \|
* \|	some more examples	David Monniaux	2019-04-13	1	-4/+39
\| \|
* \|	code for checking IEEE-754 exceptions	David Monniaux	2019-04-13	1	-0/+41
\| \|
* \|	experiments with rounding modes	David Monniaux	2019-04-13	1	-5/+21
\| \|
* \|	test for rounding modes	David Monniaux	2019-04-13	1	-0/+20
\| \|
* \|	test breaks	David Monniaux	2019-04-12	1	-0/+44
\| \|
* \|	some more simplifications	David Monniaux	2019-04-12	6	-1209/+10
\| \|
* \|	more builtins	David Monniaux	2019-04-11	4	-16/+27
\| \|
* \|	experiments on the meaning of sbmm8	David Monniaux	2019-04-11	2	-0/+24
\| \|
* \|	__builtin_k1_acswapw	David Monniaux	2019-04-11	2	-0/+26
\| \|
* \|	builtin acswapd	David Monniaux	2019-04-11	1	-0/+13
\| \|
* \|	afaddd / afaddw	David Monniaux	2019-04-11	1	-0/+11
\| \|
* \|	demo of instruction cache flush	David Monniaux	2019-04-11	1	-0/+27
\| \|
* \|	instruction cache builtins	David Monniaux	2019-04-11	1	-0/+5
\| \|
* \|	data cache builtins	David Monniaux	2019-04-11	1	-0/+3
\| \|
* \|	some more builtins	David Monniaux	2019-04-11	1	-0/+8
\| \|
* \|	__builtin_k1_ldu	David Monniaux	2019-04-11	1	-0/+4
\| \|
* \|	wfxl / wfxm	David Monniaux	2019-04-11	1	-0/+8
\| \|
* \|	fix types for k1 builtins	David Monniaux	2019-04-11	1	-0/+55
\| \|
* \|	now compiles with pthread.h	David Monniaux	2019-04-10	1	-4/+1
\| \|
* \|	Merge branch 'mppa-work' of ↵	David Monniaux	2019-04-10	4	-5/+6
\|\ \ \| \| \| \| \| \| \| \| \|	gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
\| * \|	Disabling the packedstruct tests from test/regression	Cyril SIX	2019-04-09	1	-1/+2
\| \| \|
\| * \|	All CompCert tests can be compiled	Cyril SIX	2019-04-09	3	-4/+4
\| \| \|
* \| \|	for killing _Pragma	David Monniaux	2019-04-08	1	-0/+1
\|/ /
* \|	exemples d'accès mémoire lents	David Monniaux	2019-04-08	3	-0/+31
\| \|
* \|	better explanation	David Monniaux	2019-04-08	1	-4/+26
\| \|
* \|	better intermediate point	David Monniaux	2019-04-08	1	-5/+8
\| \|
* \|	powerwindow from tacle-bench	David Monniaux	2019-04-08	42	-0/+5165
\| \|
* \|	from Tacle Bench	David Monniaux	2019-04-08	8	-0/+618
\| \|
* \|	predicated experiments	David Monniaux	2019-04-07	2	-0/+29
\| \|
* \|	uses the pattern matching	David Monniaux	2019-04-06	1	-2/+2
\| \|
* \|	keep the .s files	David Monniaux	2019-04-06	1	-9/+11
\| \|
* \|	Makefile for timing.	David Monniaux	2019-04-06	2	-3/+13
\| \| \| \| \| \| \| \|	We are 12% slower than gcc.
* \|	makefile for PCRE2	David Monniaux	2019-04-06	3	-5/+12764
\| \|
* \|	tests with PCRE2 (regular expression library)	David Monniaux	2019-04-06	39	-0/+62943
\| \|
* \|	use ternary in fill	David Monniaux	2019-04-06	1	-1/+1
\| \|