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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3	David Monniaux	2020-03-11	5	-128/+366
\|\
\| *	Fixed stupid typo bug preventing the prediction update for the RANDOM predictor	Cyril SIX	2020-03-11	1	-1/+1
\| *	Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...	David Monniaux	2020-03-11	2	-125/+360
\| \|\
\| \| *	Linearizeaux: dumb selector when cycling dependencies are found	Cyril SIX	2020-03-10	1	-4/+6
\| \| *	Linearizeaux, forgot to visit the rest of the nodes in dfs_visit	Cyril SIX	2020-03-10	1	-22/+26
\| \| *	Some dependencies were not taken into account in tracelinearize	Cyril SIX	2020-03-10	1	-15/+12
\| \| *	Linearize: More helpful message when tracelinearize fails	Cyril SIX	2020-03-10	1	-4/+12
\| \| *	Bug fix in ftracelinearize	Cyril SIX	2020-03-10	1	-4/+15
\| \| *	[BROKEN] Replacing the boolean -fduplicate option by an integer	Cyril SIX	2020-03-09	1	-4/+6
\| \| *	Linearizeaux: forgotten print	Cyril SIX	2020-03-09	1	-1/+1
\| \| *	Duplicate: getting rid of the annoying exception-based code	Cyril SIX	2020-03-09	1	-46/+29
\| \| *	Removing prints in Duplicateaux.ml	Cyril SIX	2020-03-09	1	-65/+20
\| \| *	Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untested	Cyril SIX	2020-03-09	21	-180/+315
\| \| \|\
\| \| * \|	Linearizeaux: Fixed bug where the output list was in reverse order	Cyril SIX	2020-03-09	1	-4/+20
\| \| * \|	Adding debug info in Linearizeaux	Cyril SIX	2020-03-06	1	-0/+12
\| \| * \|	[UNTESTED] Sequence ordering	Cyril SIX	2020-03-06	1	-3/+27
\| \| * \|	Linearize: Dependencies computing to decide which sequence to put first	Cyril SIX	2020-03-03	1	-31/+132
\| \| * \|	Linearizeaux: can_be_merged	Cyril SIX	2020-02-21	1	-13/+48
\| \| * \|	Linearizeaux: function try_merge	Cyril SIX	2020-02-21	1	-11/+20
\| \| * \|	WIP2	Cyril SIX	2020-02-20	1	-16/+24
\| \| * \|	WIP	Cyril SIX	2020-02-20	1	-0/+26
\| \| * \|	First part of Hansen algorithm - build the sequences	Cyril SIX	2020-02-19	1	-1/+43
\| * \| \|	remet is_trivial_op dans CSE2	David Monniaux	2020-03-11	2	-2/+5
\| \| \|/ \| \|/\|
\| * \|	removing some coqc 8.10 warnings	Sylvain Boulmé	2020-03-09	1	-1/+1
* \| \|	fix in catalog handling	David Monniaux	2020-03-11	1	-1/+7
* \| \|	CSE3 ready to run?	David Monniaux	2020-03-11	2	-11/+78
* \| \|	progress on CSE3	David Monniaux	2020-03-10	2	-4/+5
* \| \|	-fcse3 command line option	David Monniaux	2020-03-10	1	-4/+4
* \| \|	printing created hashes	David Monniaux	2020-03-10	1	-2/+54
* \| \|	starts compiling but still fake	David Monniaux	2020-03-10	5	-11/+241
* \| \|	CSE3: apply_instr'	David Monniaux	2020-03-10	1	-0/+30
* \| \|	oper sound	David Monniaux	2020-03-10	2	-7/+30
* \| \|	move sound	David Monniaux	2020-03-10	2	-1/+50
* \| \|	oper1	David Monniaux	2020-03-10	1	-0/+14
* \| \|	moved no away	David Monniaux	2020-03-10	2	-12/+23
* \| \|	oper2	David Monniaux	2020-03-10	2	-2/+131
* \| \|	forward_move_rhs_sound	David Monniaux	2020-03-10	1	-0/+12
* \| \|	rhs_find_op_sound	David Monniaux	2020-03-10	2	-10/+57
* \| \|	eq_find_sound	David Monniaux	2020-03-10	2	-1/+52
* \| \|	forward_move_l	David Monniaux	2020-03-10	2	-3/+29
* \| \|	kill_mem_sound	David Monniaux	2020-03-09	1	-6/+52
* \| \|	cse3: forward_move_sound	David Monniaux	2020-03-09	2	-3/+72
* \| \|	get moves	David Monniaux	2020-03-09	2	-30/+4
* \| \|	CSE3	David Monniaux	2020-03-09	1	-0/+21
* \| \|	get_moves	David Monniaux	2020-03-09	1	-1/+33
* \| \|	kill_reg_sound	David Monniaux	2020-03-09	2	-3/+88
* \| \|	moved stuff around	David Monniaux	2020-03-09	2	-177/+155
* \| \|	CSE3 analysis proof	David Monniaux	2020-03-07	1	-0/+35
* \| \|	get_kills_has_arg	David Monniaux	2020-03-07	1	-0/+21
* \| \|	get_kills_has_lhs	David Monniaux	2020-03-06	1	-7/+25