Commits · CI_test · AVA / FloVer · GitLab

Snippets Groups Projects

Mar 25, 2020
- Fix regression test for new infrastructure · 23cf55c1
  Heiko Becker authored 5 years ago
  
  23cf55c1
Mar 24, 2020
- Fix wrong directory specification for CakeML libs in Holmakefile · cfab86f5
  Heiko Becker authored 5 years ago
  
  cfab86f5
Mar 23, 2020
- Fix type in Holmakefile · 4b1e1386
  Heiko Becker authored 5 years ago
  
  4b1e1386
- Uncomment cake_checker target · 87a65387
  Heiko Becker authored 5 years ago
  
  87a65387
- Fix CI scripts for new, restructured HOL4 development · 2c62cf04
  Heiko Becker authored 5 years ago
  
  2c62cf04
- Make binary compilation work with new preambleFloVer to get CML dependencies right · 9046ff96
  Heiko Becker authored 5 years ago
  
  9046ff96
- Make top hol4 directory compile with new preambleFloVer · 4ee074cf
  Heiko Becker authored 5 years ago
  
  4ee074cf
- Make Infra directory compile without CML dependency · 9ee1c9d0
  Heiko Becker authored 5 years ago
  
  9ee1c9d0
Mar 19, 2020
- Fix errors related to unused CakeML submodule · fe3344cd
  Heiko Becker authored 5 years ago
  
  fe3344cd
Mar 18, 2020
- Update to latest HOL4 version, remove cakeml submodule, add dependency to CAKEMLDIR variable · 9ef2537b
  Heiko Becker authored 5 years ago
  
  9ef2537b
Nov 07, 2019
- Make FloVer compile with HOL4 master · 91790db5
  Heiko Becker authored 5 years ago
  
  91790db5
Jul 01, 2019
- Update .gitlab-ci.yml to make artifacts expire · 16846e80
  Heiko Becker authored 5 years ago
  
  16846e80
May 29, 2019
- fforward CakeML to master branch, fforward HOL · 5dbe22dc
  Heiko Becker authored 6 years ago
  
  5dbe22dc
Apr 29, 2019
- Fforward CakeML and HOL · 46d9b0cc
  Heiko Becker authored 6 years ago
  
  46d9b0cc
Apr 11, 2019
- Add small docstring to subdiv checker · babc1c42
  Heiko Becker authored 6 years ago
  
  babc1c42
- Update README.md · f8feba16
  Heiko Becker authored 6 years ago
  
  f8feba16
- Merge branch 'master' into 'master' · ee86245c
  Heiko Becker authored 6 years ago
  ee86245c
- Adjusting parameters for fixed-point script · 7879ee83
  Joachim Bard authored 6 years ago and Heiko Becker committed 6 years ago
  
  7879ee83
Apr 10, 2019
- Fforward Daisy to latest state of certified branch · 123de65a
  Heiko Becker authored 6 years ago
  
  123de65a
- Merge branch 'master' into 'master' · 56ad16c8
  Heiko Becker authored 6 years ago
  56ad16c8
Apr 09, 2019
- removing old CI testcases · b9576264
  Joachim Bard authored 6 years ago
  
  b9576264
- updating CI testcases · fa8496dd
  Joachim Bard authored 6 years ago
  
  fa8496dd
- Removing unnecessary 'Admitted.' · b860d761
  Joachim Bard authored 6 years ago
  
  b860d761
- Merge branch 'master' into 'master' · 2b3c798d
  Heiko Becker authored 6 years ago
  2b3c798d
- Proving last part for soundness of SubdivChecker · 316bad71
  Joachim Bard authored 6 years ago
  
  316bad71
- Update README.md · a40d99f5
  Heiko Becker authored 6 years ago
  
  a40d99f5
Apr 08, 2019
- using smt analysis for fixed point script · c00f40b3
  Joachim Bard authored 6 years ago
  
  c00f40b3
- checking missing invariants for subdivs · c2e75dee
  Joachim Bard authored 6 years ago
  
  c2e75dee
- Merge branch 'exprMerge' · 93e18826
  Joachim Bard authored 6 years ago
  
  93e18826
- some more work on soundness of SubdivsChecker · 88437004
  Joachim Bard authored 6 years ago
  
  88437004
Apr 05, 2019
- adjusting eval script for fixed-point arith · 346ce385
  Joachim Bard authored 6 years ago
  
  346ce385
- Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer · 43cdec44
  Joachim Bard authored 6 years ago
  
  43cdec44
- Fix link to FM branch · 6a6ee6a4
  Heiko Becker authored 6 years ago
  
  6a6ee6a4
- Clean up ssa file removing commented lemmas · c166ad0b
  Heiko Becker authored 6 years ago
  
  c166ad0b
- Update README.md with latest state of FloVer · 67607f7a
  Heiko Becker authored 6 years ago
  
  67607f7a
- Add docstring to general soundness theorem · 6fd90de5
  Heiko Becker authored 6 years ago
  
  6fd90de5
- Extend conclusion of ResultChecker to get rid of some admitted goals · ab3e452e
  Heiko Becker authored 6 years ago
  
  ab3e452e
Apr 04, 2019
- Merge remote-tracking branch 'upstream/master' · c6ea9dea
  Joachim Bard authored 6 years ago
  
  c6ea9dea
- fixing 1 admit · 7a686633
  Joachim Bard authored 6 years ago
  
  7a686633
- Finish proving IEEE connection for new semantics · 7f62e7d7
  Heiko Becker authored 6 years ago
  7f62e7d7