Commits · 67e30baf3d26e3fd27afe2141ebf26e30a06982d · LARA / inox · GitLab

Snippets Groups Projects

May 18, 2012
- fix a bug with pretty printer of match in scala format · 67e30baf
  Régis Blanc authored 13 years ago
  
  67e30baf
May 17, 2012
- print post condition as ensuring and precondition as require · d53a135d
  Régis Blanc authored 13 years ago
  
  d53a135d
- a scala printer · fd0f1fb2
  Régis Blanc authored 13 years ago
  
  fd0f1fb2
May 16, 2012
- find a path between two point · 9b0fa71f
  Régis Blanc authored 13 years ago
  
  9b0fa71f
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 13 years ago
  
  bb7ef2b3
May 09, 2012
- using FiniteArray to represent models containing array · 764e9ca0
  Régis Blanc authored 13 years ago
  
  764e9ca0
- remove type information debug message · 9675f36b
  Régis Blanc authored 13 years ago
  
  9675f36b
- correct bug when writing if(..) a(i) = .. else 0 · bac2daf1
  Régis Blanc authored 13 years ago
  
  bac2daf1
May 04, 2012
- cleaning code · 4bfb13ab
  Régis Blanc authored 13 years ago
  
  4bfb13ab
- cleaner (and more correct) separation of array operation · 45f42fc3
  Régis Blanc authored 13 years ago
  
  45f42fc3
- array length operation · f1ef5047
  Régis Blanc authored 13 years ago
  
  f1ef5047
May 03, 2012
- basic support for array working · 2d0578dd
  Régis Blanc authored 13 years ago
  
  2d0578dd
- convert array to pair of array and length · 0466234b
  Régis Blanc authored 13 years ago
  
  0466234b
- working progress in a pass to process array · 49d74675
  Régis Blanc authored 13 years ago
  
  49d74675
- extracting array from scala parser · e46bb9b6
  Régis Blanc authored 13 years ago
  
  e46bb9b6
Apr 20, 2012
- pattern matching for tuples can be mixed arbitrarly with case class patterns · ef535295
  Régis Blanc authored 13 years ago
  
  ef535295
Apr 10, 2012
- integrating epsilon construct in the syntax · 1018f32e
  Régis Blanc authored 13 years ago
  
  1018f32e
Apr 02, 2012
- introducing letvar for the definition of mutable var in scope and corrected a... · 50639547
  Régis Blanc authored 13 years ago
  50639547
Mar 27, 2012
- Printing the loop invariant · a75a8f12
  Régis Blanc authored 13 years ago
  
  a75a8f12
Mar 26, 2012
- printing unit type · b1119ef4
  Régis Blanc authored 13 years ago
  
  b1119ef4
- function with more than one level of nested function now work · ebbed9d0
  Régis Blanc authored 13 years ago
  
  ebbed9d0
- still more readable pretty printing · 840a93f0
  Régis Blanc authored 13 years ago
  
  840a93f0
- more readable pretty printer with blocks, while, if and nested def · c190c389
  Régis Blanc authored 13 years ago
  
  c190c389
- more readable pretty printer with blocks, while, if and nested def · 15f89ecd
  Régis Blanc authored 13 years ago
  
  15f89ecd
Mar 25, 2012
- imperative transformation working with if then else and assignment · 78c4285c
  Régis Blanc authored 13 years ago
  
  78c4285c
Mar 22, 2012
- nested def are correctly extracted · cfc07840
  Régis Blanc authored 13 years ago
  
  cfc07840
- extract fundef, some bugs still · 15272e4e
  Régis Blanc authored 13 years ago
  
  15272e4e
Mar 21, 2012
- adding tree support and printing · 8f88fee6
  Régis Blanc authored 13 years ago
  
  8f88fee6
Mar 19, 2012
- better pretty printing · 1bc9e866
  Régis Blanc authored 13 years ago
  
  1bc9e866
- Extracting while and var from scala · 7a0af0ec
  Régis Blanc authored 13 years ago
  
  7a0af0ec
Mar 06, 2012
- added Mod operator and a nice example with isEven test · 4c6737ee
  Régis Blanc authored 13 years ago
  
  4c6737ee
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
Jun 01, 2011
- temporary version with functions represented as uninterpreted z3 · 15731440
  Ali Sinan Köksal authored 14 years ago
  15731440
May 23, 2011
- adding Map support to FunCheck (no conversion back yet from Z3 models) · 01526685
  Ali Sinan Köksal authored 14 years ago
  
  01526685
Apr 30, 2011
- We can now combine constraints and invoke `solve' on them to get a Scala · 4ef6b4c5
  Ali Sinan Köksal authored 14 years ago
  4ef6b4c5
Apr 22, 2011
- better extraction of sets (no more import statement required) and stub for option types and more · 6bd9fbbc
  Philippe Suter authored 14 years ago
  
  6bd9fbbc
Apr 19, 2011
- Definition, extraction, translation, printing of 'distinct' predicates. · ca5dd0a0
  Ali Sinan Köksal authored 14 years ago
  
  ca5dd0a0
Nov 17, 2010
- fixed (I believe) redundant precondition generation. Now printing lines/cols... · a678eae0
  Philippe Suter authored 14 years ago
  a678eae0
Oct 13, 2010
- new rewriting of pattern-matching! rejoice! · cc6c4740
  Philippe Suter authored 14 years ago
  
  cc6c4740