Commits · master · AVA / FloVer

12 Jan, 2021 1 commit
- Add some doc with proofgoal shape to proofs · eadccab4
  Heiko Becker authored Jan 12, 2021
  
  eadccab4
23 Jul, 2020 3 commits
- Change HOLCOMMIT again · 06486055
  Heiko Becker authored Jul 23, 2020
  
  06486055
- Update HOLCOMMIT · 1e2e53c5
  Heiko Becker authored Jul 23, 2020
  
  1e2e53c5
- Minor changes to proofs · 297e12b9
  Heiko Becker authored Jul 23, 2020
  
  297e12b9
10 Jul, 2020 1 commit
- Make FloVer work with latest HOL master · d6aa770d
  Heiko Becker authored Jul 10, 2020
  
  d6aa770d
12 May, 2020 1 commit
- Fix bug in FMA evaluation, add some small lemmas · 06ad54de
  Heiko Becker authored May 12, 2020
  
  06ad54de
22 Apr, 2020 1 commit
- Change return type of checker for integration with CakeML · 65bfd34f
  Heiko Becker authored Apr 22, 2020
  
  65bfd34f
25 Mar, 2020 1 commit
- Fix regression test for new infrastructure · 23cf55c1
  Heiko Becker authored Mar 25, 2020
  
  23cf55c1
24 Mar, 2020 1 commit
- Fix wrong directory specification for CakeML libs in Holmakefile · cfab86f5
  Heiko Becker authored Mar 24, 2020
  
  cfab86f5
23 Mar, 2020 6 commits
- Fix type in Holmakefile · 4b1e1386
  Heiko Becker authored Mar 23, 2020
  
  4b1e1386
- Uncomment cake_checker target · 87a65387
  Heiko Becker authored Mar 23, 2020
  
  87a65387
- Fix CI scripts for new, restructured HOL4 development · 2c62cf04
  Heiko Becker authored Mar 23, 2020
  
  2c62cf04
- Make binary compilation work with new preambleFloVer to get CML dependencies right · 9046ff96
  Heiko Becker authored Mar 23, 2020
  
  9046ff96
- Make top hol4 directory compile with new preambleFloVer · 4ee074cf
  Heiko Becker authored Mar 23, 2020
  
  4ee074cf
- Make Infra directory compile without CML dependency · 9ee1c9d0
  Heiko Becker authored Mar 23, 2020
  
  9ee1c9d0
19 Mar, 2020 1 commit
- Fix errors related to unused CakeML submodule · fe3344cd
  Heiko Becker authored Mar 19, 2020
  
  fe3344cd
18 Mar, 2020 1 commit
- Update to latest HOL4 version, remove cakeml submodule, add dependency to CAKEMLDIR variable · 9ef2537b
  Heiko Becker authored Mar 18, 2020
  
  9ef2537b
07 Nov, 2019 1 commit
- Make FloVer compile with HOL4 master · 91790db5
  Heiko Becker authored Nov 07, 2019
  
  91790db5
01 Jul, 2019 1 commit
- Update .gitlab-ci.yml to make artifacts expire · 16846e80
  Heiko Becker authored Jul 01, 2019
  
  16846e80
29 May, 2019 1 commit
- fforward CakeML to master branch, fforward HOL · 5dbe22dc
  Heiko Becker authored May 29, 2019
  
  5dbe22dc
29 Apr, 2019 1 commit
- Fforward CakeML and HOL · 46d9b0cc
  Heiko Becker authored Apr 29, 2019
  
  46d9b0cc
11 Apr, 2019 4 commits
- Add small docstring to subdiv checker · babc1c42
  Heiko Becker authored Apr 11, 2019
  
  babc1c42
- Update README.md · f8feba16
  Heiko Becker authored Apr 11, 2019
  
  f8feba16
- Merge branch 'master' into 'master' · ee86245c
  Heiko Becker authored Apr 11, 2019
```
Adjusting parameters for fixed-point script

See merge request AVA/FloVer!22
```
  ee86245c
- Adjusting parameters for fixed-point script · 7879ee83
  Joachim Bard authored Apr 11, 2019
  
  7879ee83
10 Apr, 2019 2 commits
- Fforward Daisy to latest state of certified branch · 123de65a
  Heiko Becker authored Apr 10, 2019
  
  123de65a
- Merge branch 'master' into 'master' · 56ad16c8
  Heiko Becker authored Apr 10, 2019
```
Cleanup for submission

See merge request AVA/FloVer!21
```
  56ad16c8
09 Apr, 2019 6 commits
- removing old CI testcases · b9576264
  Joachim Bard authored Apr 09, 2019
  
  b9576264
- updating CI testcases · fa8496dd
  Joachim Bard authored Apr 09, 2019
  
  fa8496dd
- Removing unnecessary 'Admitted.' · b860d761
  Joachim Bard authored Apr 09, 2019
  
  b860d761
- Merge branch 'master' into 'master' · 2b3c798d
  Heiko Becker authored Apr 09, 2019
```
Final proofs for SubdivChecker

See merge request AVA/FloVer!20
```
  2b3c798d
- Proving last part for soundness of SubdivChecker · 316bad71
  Joachim Bard authored Apr 09, 2019
  
  316bad71
- Update README.md · a40d99f5
  Heiko Becker authored Apr 09, 2019
  
  a40d99f5
08 Apr, 2019 4 commits
- using smt analysis for fixed point script · c00f40b3
  Joachim Bard authored Apr 08, 2019
  
  c00f40b3
- checking missing invariants for subdivs · c2e75dee
  Joachim Bard authored Apr 08, 2019
  
  c2e75dee
- Merge branch 'exprMerge' · 93e18826
  Joachim Bard authored Apr 08, 2019
  
  93e18826
- some more work on soundness of SubdivsChecker · 88437004
  Joachim Bard authored Apr 08, 2019
  
  88437004
05 Apr, 2019 3 commits
- adjusting eval script for fixed-point arith · 346ce385
  Joachim Bard authored Apr 05, 2019
  
  346ce385
- Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer · 43cdec44
  Joachim Bard authored Apr 05, 2019
  
  43cdec44
- Fix link to FM branch · 6a6ee6a4
  Heiko Becker authored Apr 05, 2019
  
  6a6ee6a4