Commits · FMCAD2018 · AVA / FloVer · GitLab

Snippets Groups Projects

Aug 22, 2018
- Adapt simple regression test in Coq · 9ac65923
  Heiko Becker authored 6 years ago
  
  View commits for tag FMCAD2018 FMCAD2018
  
  9ac65923
Aug 20, 2018
- Fix bug in environment parser · 92b5700e
  Heiko Becker authored 6 years ago
  
  92b5700e
Aug 19, 2018
- Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer · 28b09555
  Heiko Becker authored 6 years ago
  
  28b09555
- Update script to with correct paths · c3247be5
  Heiko Becker authored 6 years ago
  
  c3247be5
- Readd mixed-precision maps · 8ff697e3
  Heiko Becker authored 6 years ago
  
  8ff697e3
- Update .gitlab-ci.yml to not make artifacts expire · 2dbeed8b
  Heiko Becker authored 6 years ago
  
  2dbeed8b
Aug 18, 2018
- Merge branch 'reworked_type_validator' into 'master' · b16dcdea
  Heiko Becker authored 6 years ago
  b16dcdea
- Fix IEEE_connection Script · 92854d7c
  Heiko Becker authored 6 years ago
  
  92854d7c
- Make ci more verbose to debug · 5f55f541
  Heiko Becker authored 6 years ago
  
  5f55f541
Aug 17, 2018
- Merge remote-tracking branch 'origin/master' into reworked_type_validator · 1b9d5130
  Heiko Becker authored 6 years ago
  
  1b9d5130
- Merge branch 'reworked_type_validator' of gitlab.mpi-sws.org:AVA/FloVer into... · e29df18b
  Heiko Becker authored 6 years ago
  e29df18b
- Fix bug in translationScript and fforward CakeML · 69e60d78
  Heiko Becker authored 6 years ago
  
  69e60d78
Aug 16, 2018
- Simplify Coq files more · 53eb2e1c
  Heiko Becker authored 6 years ago
  
  53eb2e1c
- Fix compilation error in IEEE_connection.v · cb3b7782
  Heiko Becker authored 6 years ago
  
  cb3b7782
- minor style changes in Coq dev and finish porting in HOL4 · 96bc2e7e
  Heiko Becker authored 6 years ago
  
  96bc2e7e
Aug 15, 2018
- Finish translation with CakeML, prove IEEE connection for expressions · 858e91ae
  Heiko Becker authored 6 years ago
  
  858e91ae
Aug 14, 2018
- Port CC functions · 316f0b15
  Heiko Becker authored 6 years ago
  
  316f0b15
- Port FPRangeValidator · 58bb46dc
  Heiko Becker authored 6 years ago
  
  58bb46dc
- Finish Error Validation · a5076909
  Heiko Becker authored 6 years ago
  
  a5076909
- Some cleanup and progress on Error Validator soundness · dac0edc4
  Heiko Becker authored 6 years ago
  
  dac0edc4
Aug 13, 2018
- WIP: Next step for IV validation · 9325d322
  Heiko Becker authored 6 years ago
  
  9325d322
Aug 10, 2018
- WIP for Interval Validation · 7b1808b0
  Heiko Becker authored 6 years ago
  
  7b1808b0
Aug 09, 2018
- Port ErrorBoundsScript to new semantics · 2dea97d6
  Heiko Becker authored 6 years ago
  
  2dea97d6
Aug 08, 2018
- Implement and prove correct new type inferencer in HOL4 · 2e3a7e7e
  Heiko Becker authored 6 years ago
  
  2e3a7e7e
Aug 02, 2018
- Merge branch 'reworked_type_validator' into 'master' · 6f1ffdcc
  Heiko Becker authored 6 years ago
  6f1ffdcc
- Fix remaining admits · 4ccb040c
  Heiko Becker authored 6 years ago
  
  4ccb040c
- Fix IEEE connection and AA validators · 4d4ab82d
  Heiko Becker authored 6 years ago
  
  4d4ab82d
Jul 31, 2018
- Fix overall soundness theorem and FPRangevalidator soundness · 7e8898d7
  Heiko Becker authored 6 years ago
  
  7e8898d7
- Fix soundness proof for roundoff error valdator · e320513e
  Heiko Becker authored 6 years ago
  
  e320513e
Jul 30, 2018
- Rename Lemma in ExpressionsSemantics and fix assumptions for abstract bound lemmas · c056a2d9
  Heiko Becker authored 6 years ago
  
  c056a2d9
Jul 27, 2018
- Change toRTMap to toRExpMap to make function purpose clearer, fix broken... · ebc6d460
  Heiko Becker authored 6 years ago
  ebc6d460
- Fix admits in RealRangeArith · 61a5e249
  Heiko Becker authored 6 years ago
  
  61a5e249
- Fix admits in ExpressionSemantics.v · 2fe03457
  Heiko Becker authored 6 years ago
  
  2fe03457
Jul 26, 2018
- Remove unnecessary print · 5d673f75
  Heiko Becker authored 6 years ago
  
  5d673f75
- Finish proving correctness of new type computation · ea902e6d
  Heiko Becker authored 6 years ago
  
  ea902e6d
- Show correctness of expression level type validator · 36a22bbb
  Heiko Becker authored 6 years ago
  
  36a22bbb
Jul 24, 2018
- more work on type validator · e1fa08a4
  Heiko Becker authored 6 years ago
  
  e1fa08a4
- Next draft of soundness theorem · 934172b1
  Heiko Becker authored 6 years ago
  
  934172b1
Jul 20, 2018
- Draft structure for new type validator/type system, incorporating Fixed-point types properly · 42885f73
  Heiko Becker authored 6 years ago
  
  42885f73
Jul 14, 2018
- Merge branch 'HOL4_fix' into 'master' · d78f37ce
  Heiko Becker authored 6 years ago
  d78f37ce