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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make externctrl application its own HTL pass	Michalis Pardalos	2021-06-06	1	-11/+20
\|
*	Move HTL renaming pass to own file	Michalis Pardalos	2021-06-06	1	-0/+12
\|
*	Add module idents to the semantics	Michalis Pardalos	2021-05-17	1	-30/+43
\| \| \| \|	Necessary because they are used as pointers in externctrl
*	Give new semantics for HTL	Michalis Pardalos	2021-05-13	1	-15/+41
\| \| \| \|	There is still some questions about the use of module identifiers in the semantics.
*	Remove "active_call" from HTL semantics	Michalis Pardalos	2021-05-13	1	-12/+8
\| \| \| \| \|	added previously to support the fork/wait/join HTL instructions which have since been removed
*	Tie all modules' clock to main	Michalis Pardalos	2021-04-30	1	-0/+1
\|
*	[WIP] Re-implement translation of calls.	Michalis Pardalos	2021-04-19	1	-0/+17
\| \| \| \| \|	Add an explicit map of local HTL registers to control signals and params of other modules, used to implement calls.
*	[WIP] Remove extra statements from HTL.	Michalis Pardalos	2021-04-18	1	-56/+4
\|
*	[WIP] Add semantics for new HTL instructions	Michalis Pardalos	2021-04-02	1	-38/+72
\|
*	Merge branch 'michalis' of https://github.com/mpardalos/vericert into ↵	Yann Herklotz	2021-02-16	1	-4/+36
\| \| \| \|	michalis-merge
*	Fix imports to remove warnings when compiling	Yann Herklotz	2021-01-22	1	-5/+14
\|
*	Add correct copyright notices in files	Yann Herklotz	2021-01-10	1	-0/+1
\|
*	Add RTLBlock intermediate language	Yann Herklotz	2020-08-30	1	-0/+171