Commits · rewriting_HOL4 · AVA / FloVer · GitLab

Snippets Groups Projects

May 04, 2018
- Extract general RoundoffErrorValidator · 8414e5ff
  Heiko Becker authored 7 years ago
  
  8414e5ff
- Cleanup for regression test · c8684a1e
  Heiko Becker authored 7 years ago
  
  c8684a1e
- Fix a bug in Typing that made typeMap uncehckable if let-bound variables are... · 7f40393f
  Heiko Becker authored 7 years ago
  7f40393f
Apr 27, 2018
- Merge branch 'coq8.8_compat' into 'master' · 6f2f4da9
  Heiko Becker authored 7 years ago
  6f2f4da9
- Update ci script to check coq 8.8 compatibility · 41d309cc
  Heiko Becker authored 7 years ago
  
  41d309cc
- Merge branch 'master' into coq8.8_compat · 796a3ca8
  Heiko Becker authored 7 years ago
  
  796a3ca8
- Merge branch 'reworked-ci' into 'master' · b1774cab
  Heiko Becker authored 7 years ago
  b1774cab
- MDockerimage to build Coq and polyML for a continuous integration.erge branch... · 6ee7a764
  Heiko Becker authored 7 years ago
  6ee7a764
- Disable coq8.8.0 checking until branch is merged · df82ed63
  Heiko Becker authored 7 years ago
  
  df82ed63
- Test using a public Dockerhub image · 12a3762f
  Heiko Becker authored 7 years ago
  
  12a3762f
Apr 26, 2018
- Remove unused conditional from CI script as it should always be true · f69f815e
  Heiko Becker authored 7 years ago
  
  f69f815e
Apr 25, 2018
- Change notations for coq 8.8 compatibility (' is not a notation for Zpos anymore) · ce406faa
  Heiko Becker authored 7 years ago
  
  ce406faa
- Use correct version number for Flocq · cfc1a50e
  Heiko Becker authored 7 years ago
  
  cfc1a50e
- Update coq to 8.8 · bc362cfc
  Heiko Becker authored 7 years ago
  
  bc362cfc
- Update .gitlab-ci.yml · cffe703c
  Heiko Becker authored 7 years ago
  
  cffe703c
- Next step for reworked ci, now the Dockerimage must be rebuild · 8cf59d34
  Heiko Becker authored 7 years ago
  
  8cf59d34
Apr 24, 2018
- Next iteration on ci script · ddafa605
  Heiko Becker authored 7 years ago
  
  ddafa605
Apr 23, 2018
- More script fixes · fb68d0ce
  Heiko Becker authored 7 years ago
  
  fb68d0ce
- Fix typo · 1922e1c4
  Heiko Becker authored 7 years ago
  
  1922e1c4
- Remove not useful stuff from dockerfile and start updating ci script for HOL4 · 0cc50396
  Heiko Becker authored 7 years ago
  
  0cc50396
Apr 20, 2018
- Merge branch 'master' into fixed_point_hol4 · 215ffe0f
  Heiko Becker authored 7 years ago
  
  215ffe0f
- Update parser and lexer · 3637e1bb
  Heiko Becker authored 7 years ago
  
  3637e1bb
- Add fixed-point precision to HOL4, fix minor bug in configure script · 3d6185b5
  Heiko Becker authored 7 years ago
  
  3d6185b5
Apr 18, 2018
- Next fix... · 9c1261ae
  Heiko Becker authored 7 years ago
  
  9c1261ae
- Final bug fix? · 60da67c9
  Heiko Becker authored 7 years ago
  
  60da67c9
- Fix another number bug in bash scripts · 32d50f08
  Heiko Becker authored 7 years ago
  
  32d50f08
- Next bug fix · 262be4d3
  Heiko Becker authored 7 years ago
  
  262be4d3
- Fix some submodule cloning bugs in CI and update CI script for HOL4 · b1ba3071
  Heiko Becker authored 7 years ago
  
  b1ba3071
- Make ci check for updated HOL4 · eafb3aaf
  Heiko Becker authored 7 years ago
  
  eafb3aaf
Apr 17, 2018
- Merge branch 'master' into fixed_point_hol4 · 2dd19d8d
  Heiko Becker authored 7 years ago
  
  2dd19d8d
- Update CakeML to the latest compiling state · 67de6c46
  Heiko Becker authored 7 years ago
  
  67de6c46
- Add a pre-commit hook that verifies that HOLCOMMIT and HOLDIRs commit hash coincide · 2611a9f2
  Heiko Becker authored 7 years ago
  
  2611a9f2
- Update Dockerfile to not depend on HOLCOMMIT variable in the file · 306bb00f
  Heiko Becker authored 7 years ago
  
  306bb00f
Apr 09, 2018
- Merge branch 'WIP_fix_broken_Flover_compute' into 'master' · 18e07778
  Heiko Becker authored 7 years ago
  18e07778
- Fix proofs broken by new syntax for option bindings · 285be625
  Heiko Becker authored 7 years ago
  
  285be625
- Merge branch 'option_bind' into 'WIP_fix_broken_Flover_compute' · be61af35
  Heiko Becker authored 7 years ago
  be61af35
- Start resolving compilation issues · 0a00766a
  Nikita Zyuzin authored 7 years ago
  
  0a00766a
- Rename 'optionLift' with 'optionBind' · 37d050e2
  Nikita Zyuzin authored 7 years ago
  37d050e2
Apr 04, 2018
- Merge branch 'fixed_point_checking' into 'master' · ddc04b14
  Heiko Becker authored 7 years ago
  ddc04b14
- Add explanation of isMorePrecise for fixed-points, rename M0 into REAL and... · 40a32997
  Heiko Becker authored 7 years ago
  40a32997