Commits · master · AVA / FloVer

18 Jun, 2021 2 commits
- Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer · 9ae495a8
  Heiko Becker authored Jun 18, 2021
  
  9ae495a8
- Make sqrt bound way more accurate · 69cda5de
  Heiko Becker authored Jun 18, 2021
  
  69cda5de
17 Jun, 2021 4 commits
- Update regressiontests.sh to fix typo · a4d55c40
  Heiko Becker authored Jun 17, 2021
  
  a4d55c40
- Update regressiontests.sh to disable binary tests · f72df6ad
  Heiko Becker authored Jun 17, 2021
  
  f72df6ad
- Update ci-hol4.sh to disable binary build · e8f1bad4
  Heiko Becker authored Jun 17, 2021
  
  e8f1bad4
- Add very coarse way of computing Sqrt for errors and intervals · 28fb7c69
  Heiko Becker authored Jun 17, 2021
  
  28fb7c69
10 Mar, 2021 1 commit
- Fix regression test · 780f8cd7
  Heiko Becker authored Mar 10, 2021
  
  780f8cd7
09 Mar, 2021 1 commit
- Update translation files · d620d76e
  Heiko Becker authored Mar 09, 2021
  
  d620d76e
08 Mar, 2021 1 commit
- Fast-forward CakeML · a90304a5
  Heiko Becker authored Mar 08, 2021
  
  a90304a5
05 Mar, 2021 2 commits
- Fast-forward hol4 · 3044f3af
  Heiko Becker authored Mar 05, 2021
  
  3044f3af
- Rework an error bound proof · 58de5a60
  Heiko Becker authored Mar 05, 2021
  
  58de5a60
22 Jan, 2021 1 commit
- Update to latest develop · 39362c71
  Heiko Becker authored Jan 22, 2021
  
  39362c71
21 Jan, 2021 1 commit
- Rework infrastructure a bit · 235966b1
  Heiko Becker authored Jan 21, 2021
  
  235966b1
19 Jan, 2021 4 commits
- FloVer 2.0 now with denormals · 646df7a0
  Heiko Becker authored Jan 19, 2021
  
  646df7a0
- Merge branch 'master' into FloVer2 · d6e9fb37
  Heiko Becker authored Jan 19, 2021
  
  d6e9fb37
- Fast-forward HOL4 version · fb3dbaa4
  Heiko Becker authored Jan 19, 2021
  
  fb3dbaa4
- Start reworking semantics to handle subnormal errors · e3550560
  Heiko Becker authored Jan 19, 2021
  
  e3550560
18 Jan, 2021 1 commit
- Update FloVer to work with latest HOL4 develop · 1b06f787
  Heiko Becker authored Jan 18, 2021
  
  1b06f787
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 1 commit
- Add small docstring to subdiv checker · babc1c42
  Heiko Becker authored Apr 11, 2019
  
  babc1c42