index
:
vericert
debug/unhashed
dev-michalis
dev/asplos
dev/div
dev/divider
dev/full-nix-build
dev/mac-op
dev/michalis
dev/scheduling
dev/value
exp/inl-cse-const
master
stable
Vericert is a formally verified high-level synthesis tool.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
hls
/
HTL.v
Commit message (
Expand
)
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
*
Give new semantics for HTL
Michalis Pardalos
2021-05-13
1
-15
/
+41
*
Remove "active_call" from HTL semantics
Michalis Pardalos
2021-05-13
1
-12
/
+8
*
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
*
[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 michali...
Yann Herklotz
2021-02-16
1
-4
/
+36
*
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