main #2

Merged
fjosw merged 16 commits from portelli/lattice-benchmarks:main into main 2023-01-27 16:35:49 +00:00
Showing only changes of commit ec1e597e56 - Show all commits

3
.gitignore vendored
View File

@ -1,5 +1,4 @@
/.vscode
build*
.buildutils
autom4te.cache
config.*
@ -13,3 +12,5 @@ missing
Makefile.in
.DS_Store
*~
/*/env
/*/build