Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Appli
Fappli_rnd_odd.v
Find file
Blame
History
Permalink
Don't depend on the judgmental behavior of Bool.eqb
· db356aa5
Jason Gross
authored
Jan 16, 2018
This change is backwards compatible.
db356aa5