Commits · c84f20629c861867e75c8b6bc3f67c99ca75da86 · LARA / inox · GitLab

Snippets Groups Projects

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 13 years ago
  15731440
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 13 years ago
  
  118f9730
May 24, 2011
- Better creation of VCs for map accesses (introduce error checks only · 7bc504cd
  Ali Sinan Köksal authored 14 years ago
  7bc504cd
May 23, 2011
- we now generate VCs for map accesses · 9d196e43
  Ali Sinan Köksal authored 14 years ago
  
  9d196e43
- Now we can find models for maps too. · 272c3dcb
  Ali Sinan Köksal authored 14 years ago
  
  272c3dcb
- adding Map support to FunCheck (no conversion back yet from Z3 models) · 01526685
  Ali Sinan Köksal authored 14 years ago
  
  01526685
May 10, 2011
- New annotation to issue warning if function could not be axiomatized. · fc866608
  Philippe Suter authored 14 years ago
  
  fc866608
May 05, 2011
- extraction of typed expressions in funcheck · 1367da7d
  Ali Sinan Köksal authored 14 years ago
  
  1367da7d
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 11, 2011
- Revert FunCheck code extraction · a3c36705
  Ali Sinan Köksal authored 14 years ago
  
  a3c36705
- Revert classes in 'funcheck' package to how they were before the CP... · 37a4180a
  Ali Sinan Köksal authored 14 years ago
  37a4180a
Apr 06, 2011
- private CodeExtraction members, RBT example in CP · 5cfe3f9f
  Ali Sinan Köksal authored 14 years ago
  
  5cfe3f9f
Apr 04, 2011
- Skipping non pure instructions when extracting code; taking into account the... · 85db2ca0
  Ali Sinan Köksal authored 14 years ago
  85db2ca0
Apr 01, 2011
- Can now convert case class instances back to scala values too. · a7f63647
  Ali Sinan Köksal authored 14 years ago
  
  a7f63647
Mar 31, 2011
- trying to avoid exit(0) calls, they kill the server :) · fdcf1309
  Philippe Suter authored 14 years ago
  
  fdcf1309
Mar 30, 2011
- Using TreeDSL to make code generation code more compact and readable,... · 6baa0c66
  Ali Sinan Köksal authored 14 years ago
  6baa0c66
Mar 22, 2011
- Extract the body of a predicate in purescala · 13dca114
  Ali Sinan Köksal authored 14 years ago
  
  13dca114
Mar 21, 2011
- Extraction of pure scala program and storing it in a file · fa847883
  Ali Sinan Köksal authored 14 years ago
  
  fa847883
Nov 17, 2010
- fixed (I believe) redundant precondition generation. Now printing lines/cols... · a678eae0
  Philippe Suter authored 14 years ago
  a678eae0
Oct 26, 2010
- No commit message · 50a8dda1
  Philippe Suter authored 14 years ago
  50a8dda1
Oct 13, 2010
- new rewriting of pattern-matching! rejoice! · cc6c4740
  Philippe Suter authored 14 years ago
  
  cc6c4740
Oct 07, 2010
- more new better · 1508a8e5
  Philippe Suter authored 14 years ago
  
  1508a8e5
Aug 20, 2010
- started to rewrite the CADE07 formulas as FunCheck functions. So far they all work :) · 696844ea
  Philippe Suter authored 14 years ago
  
  696844ea
Jul 12, 2010
- support for multisets extraction · 7e9ef789
  Philippe Suter authored 14 years ago
  
  7e9ef789
Jul 02, 2010
- No commit message · 4ab33b3d
  Philippe Suter authored 14 years ago
  4ab33b3d
Jun 30, 2010
- Now helper function to expand let expressions. Plus, SetEquals and Iff's are correctly extracted. · 0bafdbfb
  Philippe Suter authored 14 years ago
  
  0bafdbfb
Jun 29, 2010
- No commit message · e4d99601
  Philippe Suter authored 14 years ago
  e4d99601
- No commit message · becae01d
  Philippe Suter authored 14 years ago
  becae01d
Jun 28, 2010
- added extraction of vals, as well as Let trees in PureScala expressions. · 42e1a27f
  Philippe Suter authored 14 years ago
  
  42e1a27f
Jun 24, 2010
- added .size for sets. · 4557068c
  Philippe Suter authored 14 years ago
  
  4557068c
Jun 23, 2010
- support for functions with impure bodies · 96622f3e
  Philippe Suter authored 14 years ago
  
  96622f3e
Jun 22, 2010
- handles extraction of finite sets · 2c705d96
  Philippe Suter authored 14 years ago
  
  2c705d96
Jun 09, 2010
- support for some set operations. · 014bf6ab
  Philippe Suter authored 14 years ago
  
  014bf6ab
May 27, 2010
- we have pattern matching · b3202593
  Philippe Suter authored 14 years ago
  
  b3202593
- - case class selectors · e93d1fca
  Philippe Suter authored 14 years ago
  e93d1fca
May 26, 2010
- die, typo · 81bdf764
  Philippe Suter authored 14 years ago
  
  81bdf764
- fixed the handling of function calls · 5e9af327
  Philippe Suter authored 14 years ago
  
  5e9af327
May 25, 2010
- now with construction of case classes · b6799b69
  Philippe Suter authored 14 years ago
  
  b6799b69