Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
AVA
FloVer
Repository
Branches
Overview
Active
Stale
All
master
default
protected
2b846b72
·
Make CI more stringent to see error messages properly
·
Jul 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixpointdupsem
293ab38b
·
Solved cheats in almost every file, only final proof left
·
Jul 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
FloVer2
646df7a0
·
FloVer 2.0 now with denormals
·
Jan 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CI_test
23cf55c1
·
Fix regression test for new infrastructure
·
Mar 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SMT_Subdiv
1974c006
·
Merge branch 'master' into 'SMT_Subdiv'
·
Oct 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
FMCAD2018
b3666666
·
Update FMCAD data with latest runtime numbers
·
Aug 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rewriting_HOL4
8414e5ff
·
Extract general RoundoffErrorValidator
·
May 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Affine_Magnus
protected
efda65ef
·
Add formalization of affine arithmetic done by Magnus
·
Mar 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar