aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
dev/schedulingStart working on supporting different back endsYann Herklotz2 years
masterFix some of the testing in MakefileYann Herklotz3 years
dev-michalisFix renamer skipping ram_memMichalis Pardalos3 years
oopsla21Use main instead of top for synthesising Vericert designsYann Herklotz3 years
dev/divAdd the dividerYann Herklotz3 years
exp/inl-cse-constSwitch CSE and const-propYann Herklotz3 years
dev/ioAdd predicate semantics to abstractYann Herklotz3 years
dev/dividerGet some Verilog output with dividersYann Herklotz3 years
dev/cond-const-propAdd parallel blockYann Herklotz3 years
michalis-mergeMerge branch 'master' into michalis-mergeYann Herklotz3 years
[...]
 
TagDownloadAuthorAge
v1.2.2vericert-kvx-1.2.2.tar.gz  vericert-kvx-1.2.2.zip  Yann Herklotz3 years
v1.2.1vericert-kvx-1.2.1.tar.gz  vericert-kvx-1.2.1.zip  Yann Herklotz3 years
v1.2.0vericert-kvx-1.2.0.tar.gz  vericert-kvx-1.2.0.zip  Yann Herklotz3 years
v1.1.0vericert-kvx-1.1.0.tar.gz  vericert-kvx-1.1.0.zip  Yann Herklotz4 years
v1.0.1vericert-kvx-1.0.1.tar.gz  vericert-kvx-1.0.1.zip  Yann Herklotz4 years
v1.0.0vericert-kvx-1.0.0.tar.gz  vericert-kvx-1.0.0.zip  Yann Herklotz4 years
v0.1.0vericert-kvx-0.1.0.tar.gz  vericert-kvx-0.1.0.zip  Yann Herklotz4 years
 
AgeCommit messageAuthorFilesLines
2021-02-12Add temporary fixes to get everything to compiledev/predicated-executionYann Herklotz9-45/+514
2021-02-03Fix state generation for if-conversionYann Herklotz4-14/+21
2021-02-03Fix scheduling for if-conversionYann Herklotz1-14/+90
2021-02-02Add predicated values and instructionsYann Herklotz7-41/+92
2021-02-02Add if conversion passYann Herklotz1-3/+65
2021-02-02Add if conversion passYann Herklotz1-0/+32
2021-02-02Add Vrange and predicatesYann Herklotz8-66/+95
2021-01-31Fix OCaml files for compilationYann Herklotz4-92/+94
2021-01-30Fix compilation of CoqYann Herklotz2-19/+48
2021-01-30Fix proofs with better defined equalityYann Herklotz2-31/+57
[...]
 
Clone
https://git.ymhg.org/vericert-kvx
ssh://git@git.ymhg.org:vericert-kvx
generated by cgit (git 2.34.1) at 2024-06-29 16:47:43 +0000