Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
AVA
FloVer
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
8b287a0c
·
Add a flipped version of the IEEE connection
·
May 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixpointdupsem
494ff47c
·
Fix for current HOL4 develop commit
·
Apr 10, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
Affine_Magnus
protected
efda65ef
·
Add formalization of affine arithmetic done by Magnus
·
Mar 01, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rewriting_HOL4
merged
8414e5ff
·
Extract general RoundoffErrorValidator
·
May 04, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
FMCAD2018
b3666666
·
Update FMCAD data with latest runtime numbers
·
Aug 22, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SMT_Subdiv
1974c006
·
Merge branch 'master' into 'SMT_Subdiv'
·
Oct 28, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CI_test
merged
23cf55c1
·
Fix regression test for new infrastructure
·
Mar 25, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar