Commits · 49b33b4bd7165de5d94a0e976914ca55f4efbd53 · LARA / inox

Oct 22, 2010
- No commit message · 07fcf25b
  Philippe Suter authored 14 years ago
  07fcf25b
Oct 14, 2010
- --newPM still crashes for some examples. Getting there, though :( · ecf009f8
  Philippe Suter authored 14 years ago
  
  ecf009f8
Jul 13, 2010
- corrected postcondition of isSorted · c6795423
  Swen Jacobs authored 14 years ago
  
  c6795423
- added/uncommented postconditions in MergeSort.scala and QuickSort.scala,\n... · d6b502c5
  Swen Jacobs authored 14 years ago
  d6b502c5
Jul 12, 2010
- Inferred (dis)equalities on element variables and other changes. · d64511f2
  Robin Steiger authored 14 years ago
  
  d64511f2
- Changelist: · 8679204a
  Utkarsh Upadhyay authored 14 years ago
  8679204a
- Thanks to Swen's isSorted function, contains can be successfully verified. · 9ff7ddd1
  Utkarsh Upadhyay authored 14 years ago
  
  9ff7ddd1
- updated testcases · 287dc3d4
  Swen Jacobs authored 14 years ago
  
  287dc3d4
- added sortedness for insert in BinaryTree · 294b1b9f
  Swen Jacobs authored 14 years ago
  
  294b1b9f
Jul 11, 2010
- Moved mkInfiniteTree example to demo file. · 6a0d337c
  Robin Steiger authored 14 years ago
  
  6a0d337c
- Rewrite if expressions as disjunctions. · 9e1b8e0b
  Robin Steiger authored 14 years ago
  9e1b8e0b
- Did some more bug hunting in the Unifier. · 302577bc
  Robin Steiger authored 14 years ago
  302577bc
- Changelist: · c8fc1d5b
  Utkarsh Upadhyay authored 14 years ago
  c8fc1d5b
Jul 10, 2010
- Fixed a bug with Equalities. · 8c2f4243
  Utkarsh Upadhyay authored 14 years ago
  8c2f4243
- Changelist: · 6340c40a
  Utkarsh Upadhyay authored 14 years ago
  6340c40a
Jul 09, 2010
- more better · c6ecee57
  Viktor Kuncak authored 14 years ago
  
  c6ecee57
- stronger post in one example · 6fa8978c
  Viktor Kuncak authored 14 years ago
  
  6fa8978c
- changes to testcases · 20360eb7
  Swen Jacobs authored 14 years ago
  
  20360eb7
Jul 08, 2010
- now generates universally quantified axioms for functions · a1119315
  Philippe Suter authored 14 years ago
  
  a1119315
Jul 07, 2010
- No commit message · c89eda2b
  Philippe Suter authored 14 years ago
  c89eda2b
- one level pattern matching decoding is there. · 91a780d5
  Philippe Suter authored 14 years ago
  
  91a780d5
Jul 06, 2010
- No commit message · 5d9c4144
  Philippe Suter authored 14 years ago
  5d9c4144
Jul 02, 2010
- No commit message · 4ab33b3d
  Philippe Suter authored 14 years ago
  4ab33b3d
Jun 24, 2010
- added .size for sets. · 4557068c
  Philippe Suter authored 14 years ago
  
  4557068c
Jun 22, 2010
- handles extraction of finite sets · 2c705d96
  Philippe Suter authored 14 years ago
  
  2c705d96
Jun 09, 2010
- No commit message · 0c455173
  Philippe Suter authored 14 years ago
  0c455173