Commits · f221d11a4c1f9492d16f9f9146ec5a17a355f32f · LARA / inox

May 18, 2012
- remove invariants of BubbleSort to identify a clearer bug · 80c3df73
  Régis Blanc authored 12 years ago
  
  80c3df73
- demo stuff · 61553644
  Régis Blanc authored 12 years ago
  
  61553644
May 11, 2012
- reject all sort of program using array in non-supported way, and add a clone array method · bb7ef2b3
  Régis Blanc authored 12 years ago
  
  bb7ef2b3
May 09, 2012
- need array length > 0 · bebee7ac
  Régis Blanc authored 12 years ago
  
  bebee7ac
- stronger loop invariant · 268ed5f5
  Régis Blanc authored 12 years ago
  
  268ed5f5
- fix the code in Bubble Sort · ff0fd934
  Régis Blanc authored 12 years ago
  
  ff0fd934
- introduce let expression in each of postcond, precond and boy · 7128629f
  Régis Blanc authored 12 years ago
  
  7128629f
May 04, 2012
- simplify the function closure pass · e1ea834a
  Régis Blanc authored 13 years ago
  
  e1ea834a
Apr 26, 2012
- Moving some tests into testcases · 5d8b8094
  Régis Blanc authored 13 years ago
  
  5d8b8094
Apr 13, 2012
- more bubble sort · 9ec42d4e
  Régis Blanc authored 13 years ago
  
  9ec42d4e
Apr 12, 2012
- more examples · 7a316cb1
  Régis Blanc authored 13 years ago
  
  7a316cb1
Apr 11, 2012
- some fixes in the invariants · 75c93014
  Régis Blanc authored 13 years ago
  
  75c93014
- some correction in invariants and preconditions · a497e7d7
  Régis Blanc authored 13 years ago
  
  a497e7d7
Mar 31, 2012
- cleaner examples · a131e880
  Régis Blanc authored 13 years ago
  
  a131e880
- path dependent constraints · 438e46ed
  Régis Blanc authored 13 years ago
  
  438e46ed
Mar 30, 2012
- end of day · 74ba19c7
  Régis Blanc authored 13 years ago
  
  74ba19c7
Mar 29, 2012
- bad replace of variables in blocks · fb21e011
  Régis Blanc authored 13 years ago
  
  fb21e011
Mar 28, 2012
- Trying to prove properties of bubble sort · b1181499
  Régis Blanc authored 13 years ago
  
  b1181499