From 9eeb3845eb466189276fb16e08c41902b430c342 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 24 Mar 2022 10:03:59 +0000 Subject: Rename changelog --- CHANGELOG.org | 65 ----------------------------------------------------------- 1 file changed, 65 deletions(-) delete mode 100644 CHANGELOG.org (limited to 'CHANGELOG.org') diff --git a/CHANGELOG.org b/CHANGELOG.org deleted file mode 100644 index 88c0953..0000000 --- a/CHANGELOG.org +++ /dev/null @@ -1,65 +0,0 @@ -# -*- fill-column: 80 -*- -#+title: Vericert Changelog -#+author: Yann Herklotz -#+email: git@ymhg.org - -* Unreleased - -** New Features - -- Add ~RTLBlock~, a basic block intermediate language that is based on CompCert's - RTL. -- Add ~RTLPar~, which can execute groups of instructions in parallel. -- Add SDC hyper-block scheduling pass to go from RTLBlock to RTLPar using. -- Add operation chaining support to scheduler. -- Add ~Abstr~ intermediate language for equivalence checking of schedule. -- Add built-in verified SAT solver used for equivalence checking of - hyper-blocks. - -* 2021-10-01 - v1.2.2 - -Mainly fix some documentation and remove any ~Admitted~ theorems, even though -these were in parts of the compiler that were never used. - -* 2021-07-12 - v1.2.1 - -Main release for OOPSLA'21 paper. - -- Add better documentation on how to run Vericert. -- Add =Dockerfile= with instructions on how to get figures of the paper. - -* 2021-04-07 - v1.2.0 - -** New Features - -- Add memory inference capabilities in generated hardware. - -* 2020-12-17 - v1.1.0 - -Add a stable release with all proofs completed. - -* 2020-08-14 - v1.0.1 - -Release a new minor version fixing all proofs and fixing scripts to generate the -badges. - -** Fixes - -- Fix some of the proofs which were not passing. - -* 2020-08-13 - v1.0.0 - -First release of a fully verified version of Vericert with support for the -translation of many C constructs to Verilog. - -** New Features - -- Most int instructions and operators. -- Non-recursive function calls. -- Local arrays, structs and unions of type int. -- Pointer arithmetic with int. - -* 2020-04-03 - v0.1.0 - -This is the first release with working HLS but without any proofs associated -with it. -- cgit