Commits · 7ac41d60e63177dc51c7916c8fe6236742d06e1c · pub / colibrics

Jul 19, 2021
- Fix interval intersection + correction proof · 7ac41d60
  Arthur Correnson authored 3 years ago
  
  7ac41d60
Jul 12, 2021
- [ieee/coq] organizing the lemmas in modules · 041e82e2
  Arthur Correnson authored 3 years ago
  
  041e82e2
- [ieee/coq] interval intersection · 765c7cb1
  Arthur Correnson authored 3 years ago
  
  765c7cb1
Jul 09, 2021
- [ieee/coq] Iadd correct · b300c978
  Arthur Correnson authored 3 years ago
  
  b300c978
Jul 08, 2021
- [ieee/coq] cleaning proofs · 837876a6
  Arthur Correnson authored 3 years ago
  
  837876a6
- [ieee/coq] Bplus_le_compat · ef392fbc
  Arthur Correnson authored 3 years ago
  
  ef392fbc
- [ieee/coq] Bplus_correct (Rx) · e1badb4a
  Arthur Correnson authored 3 years ago
  
  e1badb4a
- [ieee/coq] Proof of Rextended.round_id & refactor of Bplus_correct proof · 97ba681c
  Arthur Correnson authored 3 years ago
  
  97ba681c
Jul 07, 2021
- [ieee/flocq] massive proof cleaning · ea68cba2
  Arthur Correnson authored 3 years ago
  
  ea68cba2
- to remove · 4f7d4485
  Arthur Correnson authored 3 years ago
  
  4f7d4485
Jul 05, 2021
- [ieee/coq] proof of round_le is done · 085d4588
  Arthur Correnson authored 3 years ago
  
  085d4588
- [ieee/coq] fixing the structure of the proof Bplus_correct_full · 3ecce114
  Arthur Correnson authored 3 years ago
  
  3ecce114
Jun 30, 2021
- [ieee/coq] backup the wip on proofs · f4295aac
  Arthur Correnson authored 3 years ago
  
  f4295aac
Jun 29, 2021
- [ieee/coq] wip on Iadd2_correct · 285b1bc9
  Arthur Correnson authored 3 years ago
  
  285b1bc9
- [ieee/coq] cleaning proofs · 67c5f554
  Arthur Correnson authored 3 years ago
  
  67c5f554
Jun 28, 2021
- [ieee/coq] Iadd2 check · 5375de5a
  Arthur Correnson authored 3 years ago
  
  5375de5a
- Section Rextended · 70261682
  Arthur Correnson authored 3 years ago
  
  70261682
Jun 27, 2021
- [ieee/coq] test arround binary overflow · 75b03691
  Arthur Correnson authored 3 years ago
  
  75b03691
- [ieee/coq] Bplus_correct_full · 7732b2fd
  Arthur Correnson authored 3 years ago
  
  7732b2fd
Jun 25, 2021
- wipwipwip · 1d733ab1
  Arthur Correnson authored 3 years ago
  
  1d733ab1
- [ieee/coq] WIP on Rextended · 2de5c61c
  Arthur Correnson authored 3 years ago
  
  2de5c61c
Jun 24, 2021
- [ieee/coq] Functorize Finterval · faacf572
  Arthur Correnson authored 3 years ago
  
  faacf572
- [ieee/coq] rewrite Futils properly · a1e579ca
  Arthur Correnson authored 3 years ago
  
  a1e579ca
Jun 23, 2021
- [ieee/flocq] WIP on new util lemmas in Finterval · 2cc9c3b5
  Arthur Correnson authored 3 years ago
  
  2cc9c3b5
Jun 18, 2021
- [ieee/coq] Remove old (obsolete) definitions · 1c9bf612
  Arthur Correnson authored 3 years ago
  
  1c9bf612
- [ieee/flocq] cleaning · d3ea06f3
  Arthur Correnson authored 3 years ago
  
  d3ea06f3
- [ieee/coq] utils lemma on Flocq BinarySingleNan · 64e4c8ab
  Arthur Correnson authored 3 years ago
  
  64e4c8ab
- [ieee/coq] WIP on the add_le_mono proof · 0bf316dd
  Arthur Correnson authored 3 years ago
  
  0bf316dd
- [ieee/coq] add a _CoqProject & a Makefile · 8aba9203
  Arthur Correnson authored 3 years ago
  
  8aba9203
Jun 17, 2021
- [ieee/coq] clean sources · 56178d1c
  Arthur Correnson authored 3 years ago
  
  56178d1c
- [ieee/coq] Iadd2 proven correct · f84bee56
  Arthur Correnson authored 3 years ago
  
  f84bee56
- [ieee/coq] redesign interval arithmetic & add automation · b1809925
  Arthur Correnson authored 3 years ago
  
  b1809925
Jun 16, 2021
- [ieee/coq] TODO: Iadd incorrect for infinities extrem cases · 983cb8fe
  Arthur Correnson authored 3 years ago
  
  983cb8fe
Jun 15, 2021
- [ieee/coq] Add a NaN flag to the definition of intervals · d3101552
  Arthur Correnson authored 3 years ago
  
  d3101552
- [ieee/coq] correction of Iadd · 356d5192
  Arthur Correnson authored 3 years ago
  
  356d5192
- Add Coq & why3 sources for float intervals · 97c5ed4b
  Arthur Correnson authored 3 years ago
  
  97c5ed4b
Jun 12, 2021
- Merge branch 'feature/fp-check' into 'master' · c162d3e8
  François Bobot authored 3 years ago
  
  Feature/fp check See merge request bobot/colibrics!12
  c162d3e8
Jun 11, 2021
- Merge branch 'bobot/better_doc' into 'master' · 5a62360a
  François Bobot authored 3 years ago
  
  Improve doc, a simplify daemons See merge request bobot/colibrics!13
  5a62360a
- Merge branch 'bobot/better_doc' into feature/fp-check · a318db13
  François Bobot authored 3 years ago
  
  a318db13
- Remove Containers from ADT · 13160e11
  François Bobot authored 3 years ago
  
  not really used and deprecation warning
  13160e11