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

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