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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Start working on supporting different back endsdev/scheduling	Yann Herklotz	2022-03-14	3	-32/+5
\|
*	Add compilation flag for superblock scheduling	Yann Herklotz	2022-03-13	8	-5/+18
\|
*	Changes to make compilation pass	Yann Herklotz	2022-03-10	14	-175/+167
\|
*	Remove CompCert	Yann Herklotz	2022-03-10	2	-4/+0
\|
*	Remove from .gitmodules	Yann Herklotz	2022-03-10	2	-4/+1
\|
*	Try and define a translation from RTL to SRTL	Yann Herklotz	2022-03-10	6	-9/+78
\|
*	Add superblock scheduling backend	Yann Herklotz	2022-03-10	4	-2/+9
\|
*	Start work on reverse if-conversion	Yann Herklotz	2022-03-07	2	-1/+84
\|
*	Fix RAW dependency calculation for predicates	Yann Herklotz	2022-03-06	1	-0/+3
\|
*	Update links in README	Yann Herklotz	2022-03-05	2	-8/+8
\|
*	Remove small customisations from license text	Yann Herklotz	2022-03-05	1	-3/+3
\|
*	Add back proof of beq2_correct	Yann Herklotz	2022-03-03	1	-23/+76
\|
*	Fix Abstr	Yann Herklotz	2022-03-03	1	-30/+17
\|
*	Update Coq version to 8.14.1	Yann Herklotz	2022-03-02	7	-86/+65
\|
*	Rename IP using systemverilog extension	Yann Herklotz	2022-02-28	3	-0/+0
\|
*	Update .gitignore	Yann Herklotz	2022-02-28	1	-66/+8
\|
*	Add ptsets.ml library from CompCert for Bourdoncle	Yann Herklotz	2022-02-28	2	-0/+791
\|
*	Remove .envrc as it should be local	Yann Herklotz	2022-02-27	1	-1/+0
\|
*	Update documentation links	Yann Herklotz	2022-02-27	4	-11/+25
\|
*	Update documentation generation	Yann Herklotz	2022-02-27	10	-6/+1336
\|
*	Final updates to the current documentation	Yann Herklotz	2022-02-25	3	-18/+18
\|
*	Fix up some more documentation	Yann Herklotz	2022-02-25	7	-146/+68
\|
*	Start converting comments	Yann Herklotz	2022-02-25	3	-85/+45
\|
*	Add more documentation and add coqdoc stylesheet	Yann Herklotz	2022-02-25	6	-3/+928
\|
*	Add back pure documentation	Yann Herklotz	2022-02-25	5	-0/+1102
\|
*	Delete docs submodule	Yann Herklotz	2022-02-24	2	-3/+0
\|
*	Update gather data script	Yann Herklotz	2022-02-23	1	-25/+24
\|
*	Add PrintLoops for bourdoncle code	Yann Herklotz	2021-12-09	1	-0/+22
\|
*	Update the documentation	Yann Herklotz	2021-12-09	1	-0/+0
\|
*	Add bourdoncle to build	Yann Herklotz	2021-12-09	8	-28/+64
\|
*	Remove debug directory	Yann Herklotz	2021-12-09	2	-64/+0
\|
*	Update benchmark runs	Yann Herklotz	2021-12-09	2	-34/+80
\|
*	Update README with correct link	Yann Herklotz	2021-12-09	2	-6/+5
\|
*	Add README.md	Yann Herklotz	2021-12-09	1	-0/+147
\|
*	Add a script to gather synthesis data	Yann Herklotz	2021-11-18	1	-0/+66
\|
*	Add a printer for RTLParFU	Yann Herklotz	2021-11-18	1	-0/+120
\|
*	Fix operation chaining in scheduler	Yann Herklotz	2021-11-18	1	-8/+12
\| \| \| \|	It now respects the delays properly.
*	Remove unnecessary proof from RTLParFUgen	Yann Herklotz	2021-11-18	1	-1/+0
\|
*	Fix the pipelining link in the README	Yann Herklotz	2021-11-18	1	-1/+2
\|
*	Improve the benchmark Makefile	Yann Herklotz	2021-11-18	2	-4/+8
\|
*	Fix compilation with new HTL language	Yann Herklotz	2021-11-18	12	-161/+163
\|
*	Add bourdoncle code	Yann Herklotz	2021-11-18	4	-0/+304
\|
*	Rename pipelining	Yann Herklotz	2021-11-18	13	-0/+0
\|
*	Fix generation of RTLParFU	Yann Herklotz	2021-11-17	7	-46/+30
\|
*	Merge remote-tracking branch 'origin/dev/divider' into dev/scheduling	Yann Herklotz	2021-11-16	11	-73/+353
\|\
\| *	Get some Verilog output with dividersdev/divider	Yann Herklotz	2021-02-22	2	-11/+22
\| \|
\| *	Fix Scheduling to add missing states	Yann Herklotz	2021-02-22	1	-14/+34
\| \|
\| *	Fix arguments to RBassign and piped	Yann Herklotz	2021-02-22	4	-5/+10
\| \|
\| *	Add operation pipelining	Yann Herklotz	2021-02-22	2	-8/+137
\| \|
\| *	Add RTLPar printing	Yann Herklotz	2021-02-22	5	-4/+84
\| \|