Commits · c3ff24fb10ad6bf153a00e4b14d5958121a74637 · Benoit Viguier / coq-verif-tweetnacl

12 Oct, 2016 2 commits
- update function names with signatures for better reading · c3ff24fb
  Benoit Viguier authored Oct 12, 2016
  
  c3ff24fb
- proof of multiplication completed · 2a0f7735
  Benoit Viguier authored Oct 12, 2016
  
  2a0f7735
06 Oct, 2016 1 commit
- small improvement on the proof of A · 53ce9396
  Benoit Viguier authored Oct 06, 2016
  
  53ce9396
26 Sep, 2016 1 commit
- Mult1 ToFF proven · e1701c77
  Benoit Viguier authored Sep 26, 2016
  
  e1701c77
23 Sep, 2016 1 commit
- Separating ToFF from sum list · 5ee69db5
  Benoit Viguier authored Sep 23, 2016
  
  5ee69db5
22 Sep, 2016 1 commit
- Start Working on M · 2f4a3828
  Benoit Viguier authored Sep 22, 2016
  
  2f4a3828
19 Sep, 2016 1 commit
- WIP proof forward_nl missing · 7f4ba1c2
  Benoit Viguier authored Sep 19, 2016
  
  7f4ba1c2
16 Sep, 2016 1 commit
- More proofs about lists · eb542d33
  Benoit Viguier authored Sep 16, 2016
  
  eb542d33
15 Sep, 2016 2 commits
- modular reduction <=> times 38 verified · e932a934
  Benoit Viguier authored Sep 15, 2016
  
  e932a934
- Work in progress: List to FF · 3bbd4881
  Benoit Viguier authored Sep 15, 2016
  
  3bbd4881
07 Sep, 2016 2 commits
- add simple addition · df8aedf2
  Benoit Viguier authored Sep 07, 2016
  
  df8aedf2
- Hello World · 67cb7145
  Benoit Viguier authored Sep 07, 2016
  
  67cb7145