Skip to content
GitLab
Explore
Sign in
Spot
go2pins
Repository
go2pins
benchs
build.sh
Find file
Blame
History
Permalink
benchs: log time for transpile + compile + LOC
· df67e017
Etienne Renault
authored
Apr 13, 2021
Avoid systematic computation of the whole State Space that can be too huge. * benchs/build.sh: Here.
df67e017