vericert - Vericert is a formally verified high-level synthesis tool.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add RTLPar	Yann Herklotz	2020-11-02	1	-0/+98
\|
*	Fix pretty printing bug in Verilog	Yann Herklotz	2020-11-02	1	-2/+2
\|
*	WIP on RTLBlock semantics	Yann Herklotz	2020-11-02	1	-12/+98
\|
*	Add optimisations to output	Yann Herklotz	2020-11-02	3	-16/+78
\|
*	Add flag to control if scheduling is active	Yann Herklotz	2020-11-01	2	-2/+8
\|
*	Improve performance dramatically for RTLBlock generation	Yann Herklotz	2020-10-31	1	-17/+19
\|
*	Fix bugs in Scheduling	Yann Herklotz	2020-10-31	1	-3/+12
\|
*	Add tbl_to_casestatement into extraction	Yann Herklotz	2020-10-26	2	-11/+26
\|
*	Fix build error with ValueVal	Yann Herklotz	2020-10-26	1	-2/+8
\|
*	Add printing of intermediate rtlblock language	Yann Herklotz	2020-10-23	4	-1/+11
\|
*	Fix printing of negative numbers	Yann Herklotz	2020-10-23	1	-1/+5
\|
*	Fix scheduling for loads and stores with WAR dependencies	Yann Herklotz	2020-10-23	1	-16/+120
\|
*	Improve test script	Yann Herklotz	2020-10-23	2	-5/+9
\|
*	Finish implementing scheduling and add top level export	Yann Herklotz	2020-10-20	4	-6/+12
\|
*	Fix bug in scheduling	Yann Herklotz	2020-10-20	1	-1/+1
\|
*	Add top level functions to schedule	Yann Herklotz	2020-10-19	1	-49/+115
\|
*	Revert ValueInt.v	Yann Herklotz	2020-10-18	1	-79/+23
\|
*	Add output to scheduling	Yann Herklotz	2020-10-18	1	-25/+282
\|
*	Add renumbering to compiler passes	Yann Herklotz	2020-10-18	1	-0/+1
\|
*	Add scheduling to driver	Yann Herklotz	2020-10-18	1	-2/+2
\|
*	More changes to HTLBlockgen	Yann Herklotz	2020-10-15	1	-2/+2
\|
*	Add HTLBlockgen and more scheduling	Yann Herklotz	2020-10-15	9	-45/+1041
\|
*	Update CompCert dependency	Yann Herklotz	2020-10-06	1	-0/+0
\|
*	Add long and bool support to value	Yann Herklotz	2020-10-06	1	-23/+79
\|
*	Fix Makefile for verilog backend	Yann Herklotz	2020-10-03	4	-6/+6
\|
*	Fix compilation	Yann Herklotz	2020-09-28	3	-10/+11
\|
*	Add fixes to run scheduling on compilation	Yann Herklotz	2020-09-03	3	-3/+17
\|
*	Scheduling added to partitioning	Yann Herklotz	2020-09-03	1	-3/+2
\|
*	Add scheduling	Yann Herklotz	2020-09-03	2	-0/+181
\|
*	Fix bug for basic block construction in loops	Yann Herklotz	2020-08-31	1	-3/+7
\|
*	Add working partitioning algorithm	Yann Herklotz	2020-08-31	4	-42/+175
\|
*	Continue on Partitioning algorithm	Yann Herklotz	2020-08-30	3	-14/+66
\|
*	Add RTLBlock intermediate language	Yann Herklotz	2020-08-30	23	-10/+187
\|
*	Fix links in gh-pages sitev1.0.1	Yann Herklotz	2020-08-14	2	-2/+16
\|
*	Update documentation with links	Yann Herklotz	2020-08-14	2	-66/+71
\|
*	Add download of Coq documentation	Yann Herklotz	2020-08-14	2	-0/+13
\|
*	Remove on:	Yann Herklotz	2020-08-14	1	-14/+0
\|
*	Update workflow	Yann Herklotz	2020-08-14	3	-10/+623
\|
*	Add modified polybench benchmarks	Yann Herklotz	2020-08-13	28	-0/+3234
\|
*	Add html generation and clean Coq files	Yann Herklotz	2020-08-13	5	-7/+8
\|
*	Finished all the proofsv1.0.0	Yann Herklotz	2020-08-13	3	-39/+46
\| \| \| \|	Removed support for case statements temporarily.
*	Add statistics to be tracked	Yann Herklotz	2020-08-13	1	-3/+20
\|
*	Merge branch 'develop'	Yann Herklotz	2020-08-12	1	-57/+221
\|\
\| *	Remove unnecessary commented proof	Yann Herklotz	2020-08-12	1	-23/+0
\| \|
\| *	Finish proof of conditionals	Yann Herklotz	2020-08-12	1	-4/+11
\| \|
\| *	Nearly finished all proofs	Yann Herklotz	2020-08-12	1	-48/+228
\| \|
* \|	Add documentation badge to README	Yann Herklotz	2020-08-11	4	-4/+4
\|/
*	Add benchmark changes	Yann Herklotz	2020-08-11	9	-1929/+3466
\|
*	Add content to documentation	Yann Herklotz	2020-08-11	1	-0/+79
\|
*	Fix admitted icon in README	Yann Herklotz	2020-08-11	1	-14/+4
\|