Commits · 3328d3547a6b9c0543fce103b58cc526f492cd7c · sovereign / why3-avr

10 Nov, 2016 1 commit
- further reduction · 3328d354
  Marc Schoolderman authored Nov 10, 2016 and Marc Schoolderman committed Nov 10, 2016
  
  3328d354
09 Nov, 2016 1 commit
- removed checks · ad31b617
  Marc Schoolderman authored Nov 09, 2016 and Marc Schoolderman committed Nov 09, 2016
  
  ad31b617
08 Nov, 2016 2 commits
- minimization (invalidates some checks) · 80df2b13
  Marc Schoolderman authored Nov 08, 2016 and Marc Schoolderman committed Nov 08, 2016
  
  80df2b13
- first verification · afc2f3cc
  Marc Schoolderman authored Nov 08, 2016 and Marc Schoolderman committed Nov 08, 2016
  
  afc2f3cc
21 Oct, 2016 3 commits
- optimized mul32 · 293386ca
  Marc Schoolderman authored Oct 21, 2016 and Marc Schoolderman committed Oct 21, 2016
  
  293386ca
- edited mul24 · 07dfa4cb
  Marc Schoolderman authored Oct 21, 2016 and Marc Schoolderman committed Oct 21, 2016
  
  07dfa4cb
- initial commit · 61b2f2ba
  Marc Schoolderman authored Oct 21, 2016 and Marc Schoolderman committed Oct 21, 2016
  
  61b2f2ba
25 Nov, 2016 1 commit
- added NCSA license file · c4a1e8df
  Marc Schoolderman authored Nov 25, 2016
  
  c4a1e8df