Commits · 0280a1ef1cf8eba91bfff134414a15534da8bfc9 · LARA / inox

Jul 12, 2010
- removed debugging info · 0280a1ef
  Philippe Suter authored 14 years ago
  
  0280a1ef
- reverted Or generated in PM trans. · 220def15
  Philippe Suter authored 14 years ago
  
  220def15
- No commit message · 3356211a
  Philippe Suter authored 14 years ago
  3356211a
- added check for right order of lets. · 63ece372
  Philippe Suter authored 14 years ago
  
  63ece372
- Two non-trivial bug fixes in pure scala (in pulloutAndKeepLets and inlineFunctionsAndContracts). · fdc3b193
  Robin Steiger authored 14 years ago
  fdc3b193
- No commit message · af0a468d
  Philippe Suter authored 14 years ago
  af0a468d
- moved list of extensions to, well, Extensions · 9b9c91dc
  Philippe Suter authored 14 years ago
  
  9b9c91dc
- one less bug · 019b1fad
  Philippe Suter authored 14 years ago
  
  019b1fad
Jul 11, 2010
- summary · 5ac4a64b
  Philippe Suter authored 14 years ago
  
  5ac4a64b
- No commit message · 627ac060
  Philippe Suter authored 14 years ago
  627ac060
- now with NAryOperator extractor · c17a3ee1
  Philippe Suter authored 14 years ago
  
  c17a3ee1
Jul 09, 2010
- No commit message · f572ef59
  Philippe Suter authored 14 years ago
  f572ef59
- there was actually a bug in Z3Solver too. Works now ! · dd284219
  Philippe Suter authored 14 years ago
  
  dd284219
- No commit message · e688dc00
  Philippe Suter authored 14 years ago
  e688dc00
- on my way to killing the bug, but food doesn't wait · 33dd2e2b
  Philippe Suter authored 14 years ago
  
  33dd2e2b
Jul 08, 2010
- the bug wrt. to unrolling is in the Lets!!! let me fix it once I've slept. · 5307ed36
  Philippe Suter authored 14 years ago
  
  5307ed36
- some unrolling, more options · 04993e67
  Philippe Suter authored 14 years ago
  
  04993e67
- heroïc refactoring of pattern-matching extraction · 27d1ebc2
  Philippe Suter authored 14 years ago
  
  27d1ebc2
- now with unrolling · 2011bc04
  Philippe Suter authored 14 years ago
  
  2011bc04
- now generates universally quantified axioms for functions · a1119315
  Philippe Suter authored 14 years ago
  
  a1119315
Jul 07, 2010
- one level pattern matching decoding is there. · 91a780d5
  Philippe Suter authored 14 years ago
  
  91a780d5
- No commit message · d7b29e2b
  Philippe Suter authored 14 years ago
  d7b29e2b
Jul 06, 2010
- No commit message · 9410f88f
  Philippe Suter authored 14 years ago
  9410f88f
- No commit message · e0553868
  Philippe Suter authored 14 years ago
  e0553868
- No commit message · 03fd99af
  Philippe Suter authored 14 years ago
  03fd99af
- No commit message · 5d9c4144
  Philippe Suter authored 14 years ago
  5d9c4144
Jul 05, 2010
- Now inlining postconditions and bodies of non-recursive functions. · 00394968
  Philippe Suter authored 14 years ago
  
  00394968
Jul 01, 2010
- No commit message · c855568e
  Philippe Suter authored 14 years ago
  c855568e
Jun 30, 2010
- No commit message · 4fb618df
  Philippe Suter authored 14 years ago
  4fb618df
- some more refactoring. replace(Map[Expr,Expr], Expr) in Trees.scala is now available to all. · c003bc3e
  Philippe Suter authored 14 years ago
  
  c003bc3e
- Some new plugin options. Also: now tries all loaded solvers in order. · 60d26eec
  Philippe Suter authored 14 years ago
  
  60d26eec
Jun 29, 2010
- No commit message · e4d99601
  Philippe Suter authored 14 years ago
  e4d99601
- No commit message · 1ec8524a
  Philippe Suter authored 14 years ago
  1ec8524a
Jun 28, 2010
- No commit message · a39bf16f
  Philippe Suter authored 14 years ago
  a39bf16f
- added extraction of vals, as well as Let trees in PureScala expressions. · 42e1a27f
  Philippe Suter authored 14 years ago
  
  42e1a27f
Jun 24, 2010
- No commit message · 623c0663
  Philippe Suter authored 14 years ago
  623c0663
Jun 23, 2010
- support for functions with impure bodies · 96622f3e
  Philippe Suter authored 14 years ago
  
  96622f3e
Jun 21, 2010
- dynamically loaded extensions work :) · aa4e0102
  Philippe Suter authored 14 years ago
  
  aa4e0102
Jun 15, 2010
- No commit message · b96e3351
  Philippe Suter authored 14 years ago
  b96e3351
Jun 12, 2010
- First "program" was just verified ! · b996655b
  Philippe Suter authored 14 years ago
  
  b996655b