Commits · master · POLLIEN Baptiste / paparazzi-frama-c

Jul 20, 2021
- Update README · ba633151
  POLLIEN Baptiste authored 3 years ago
  
  ba633151
Jul 09, 2021
- Update Readme · af2a5b9d
  POLLIEN Baptiste authored 3 years ago
  
  af2a5b9d
Jun 17, 2021
- Update name · 83db0309
  POLLIEN Baptiste authored 3 years ago
  
  83db0309
Jun 08, 2021
- Adding -wp-check-memory-model option · ac929be4
  POLLIEN Baptiste authored 3 years ago
  
  ac929be4
Jun 04, 2021
- Updating code for frama-c 23 using ref memory model · 5c094437
  POLLIEN Baptiste authored 3 years ago
  
  5c094437
May 21, 2021
- Add version number for Coq and Why3 · fa35ea99
  POLLIEN Baptiste authored 3 years ago
  
  fa35ea99
- fmics21: typo in README · e80a6883
  GARION Christophe authored 3 years ago
  
  e80a6883
- fmics21: minor changes in README · c7ce20dd
  GARION Christophe authored 3 years ago
  
  c7ce20dd
- fmics21: minor change in README title · ee6d34e0
  GARION Christophe authored 3 years ago
  
  ee6d34e0
- fmics21: update README, correct typos and add links to verified functions · b9731716
  GARION Christophe authored 3 years ago
  
  b9731716
May 18, 2021
- Adding is_finite preconditions and new postconditions · a5cb0535
  POLLIEN Baptiste authored 3 years ago
  
  a5cb0535
May 12, 2021
- Updating script · eb497c00
  POLLIEN Baptiste authored 3 years ago
  
  eb497c00
May 11, 2021
- Increase timeout · 0edd19ed
  POLLIEN Baptiste authored 3 years ago
  
  0edd19ed
- Update proof for rmat_of_quat · 29360726
  POLLIEN Baptiste authored 3 years ago
  
  29360726
- Update asserts · 62a54a66
  POLLIEN Baptiste authored 3 years ago
  
  62a54a66
- Update script · 3518d568
  POLLIEN Baptiste authored 3 years ago
  
  3518d568
May 10, 2021
- Update verification · b8d7d146
  POLLIEN Baptiste authored 3 years ago
  
  b8d7d146
May 07, 2021
- Proof for quat to rmat conversion · b0a63524
  POLLIEN Baptiste authored 3 years ago
  
  b0a63524
- Merge branch 'master' into functional-verification · 31c488d6
  POLLIEN Baptiste authored 3 years ago
  
  31c488d6
May 06, 2021
- Removing assertions · 704419ec
  POLLIEN Baptiste authored 3 years ago
  
  704419ec
May 05, 2021
- Update Readme · b7b55dd7
  POLLIEN Baptiste authored 3 years ago
  
  b7b55dd7
- Adding new lemma · ad08a5d4
  POLLIEN Baptiste authored 3 years ago
  
  ad08a5d4
May 04, 2021
- Update WP script for loat_rmat_of_quat function · 32db4336
  POLLIEN Baptiste authored 3 years ago
  
  32db4336
- Merging origin/master · e67a1d30
  POLLIEN Baptiste authored 3 years ago
  
  e67a1d30
- Merging master · 98300a48
  POLLIEN Baptiste authored 3 years ago
  
  98300a48
- Merge wp script · b4501f19
  POLLIEN Baptiste authored 3 years ago
  
  b4501f19
May 03, 2021
- Adding missing wp script · cf07e71a
  POLLIEN Baptiste authored 3 years ago
  
  cf07e71a
- Adding Coq proof script · cdcef7fc
  POLLIEN Baptiste authored 3 years ago
  
  cdcef7fc
- Merge wp script · 94a3e9a2
  POLLIEN Baptiste authored 3 years ago
  
  94a3e9a2
- Update Coq script · df02b4a5
  POLLIEN Baptiste authored 3 years ago
  
  df02b4a5
Apr 30, 2021
- Update coq script · b27a12d1
  POLLIEN Baptiste authored 3 years ago
  
  b27a12d1
- Update lemma · b158ffaa
  POLLIEN Baptiste authored 3 years ago
  
  b158ffaa
- Proof rmat to quat formula · b289ee40
  POLLIEN Baptiste authored 3 years ago
  
  b289ee40
- Merge and update of wp script · d503e723
  POLLIEN Baptiste authored 3 years ago
  
  d503e723
Apr 29, 2021
- Adding new lemmas · 857e39ff
  POLLIEN Baptiste authored 3 years ago
  
  857e39ff
Apr 27, 2021
- Code cleaning · 503e4737
  POLLIEN Baptiste authored 3 years ago
  
  503e4737
- Merge branch 'functional-verification' · 7ba71702
  POLLIEN Baptiste authored 3 years ago
  
  7ba71702
- Removing is_finite for float and double · 96c450c0
  POLLIEN Baptiste authored 3 years ago
  
  96c450c0
Apr 26, 2021
- Fix smoke tests · 7ffcf1a3
  POLLIEN Baptiste authored 3 years ago
  
  7ffcf1a3
- Add special orthogonal postcondition · 364842fd
  POLLIEN Baptiste authored 3 years ago
  
  364842fd