Skip to content
GitLab
Explore
Sign in
sovereign
why3-avr
Repository
why3-avr
avrmodel.mlw
Find file
Blame
History
Permalink
Update avrmodel.mlw to why3 1.1 (some parts not yet provable)
· cec669d6
Jonathan Moerman
authored
Sep 04, 2019
Session isn't updated as the ocaml installation my laptop is a bit wonky and wont save properly
cec669d6