Commits · cf6f42f2b7612b94cf9b53a6d55da87c98062e5b · LARA / inox

Mar 24, 2011
- rename ancestor plugin class · cf6f42f2
  Ali Sinan Köksal authored 14 years ago
  
  cf6f42f2
- Extractors has an AbstractPlugin · ec92b4cc
  Ali Sinan Köksal authored 14 years ago
  
  ec92b4cc
- Constraint programming as a plugin itself. · 40769653
  Ali Sinan Köksal authored 14 years ago
  
  40769653
- No commit message · 4065074e
  Philippe Suter authored 14 years ago
  
  No commit message
  4065074e
- There's a new prefered way of running funcheck: · 6c51c2b9
  Philippe Suter authored 14 years ago
  
  after sbt package all, run: ./funcheck --CAV yourfile.scala That's it.
  6c51c2b9
- Define hashCode, equals for Definitions, Identifiers and TypeTrees. · c1ec6678
  Ali Sinan Köksal authored 14 years ago
  
  c1ec6678
- Some renaming. · 1b68030e
  Ali Sinan Köksal authored 14 years ago
  
  1b68030e
- Restore only funcheck component for the moment. · 8e6b985d
  Ali Sinan Köksal authored 14 years ago
  
  8e6b985d
- A previous benchmark that seemingly leads to funcheck bug. · 62319679
  Ali Sinan Köksal authored 14 years ago
  
  62319679
- Evaluation output files for the corresponding snapshot of testcases · 82e0aa2a
  Ali Sinan Köksal authored 14 years ago
  
  82e0aa2a
- snapshot of testcases as used in evaluation for sas2011 submission. · 212cd81e
  Ali Sinan Köksal authored 14 years ago
  
  212cd81e
- files to consider in evaluation script · 2f7c7372
  Ali Sinan Köksal authored 14 years ago
  
  2f7c7372
- Buggy balancing method in RBT, a precondition in insertion sort. · 9b77b63e
  Ali Sinan Köksal authored 14 years ago
  
  9b77b63e
- No commit message · ea682699
  Octavian-Eugen Ganea authored 14 years ago
  
  No commit message
  ea682699
- No commit message · bf0ad70a
  Octavian-Eugen Ganea authored 14 years ago
  
  No commit message
  bf0ad70a
Mar 23, 2011
- Generation of solver invocation with a given choose predicate · 3a30acc1
  Ali Sinan Köksal authored 14 years ago
  
  3a30acc1
- Caching of serialized programs and expressions. · 39434633
  Ali Sinan Köksal authored 14 years ago
  
  39434633
- reorganize call transformation a little. · e5046873
  Ali Sinan Köksal authored 14 years ago
  
  e5046873
- Trait for Scala code generation · 0e8102a6
  Ali Sinan Köksal authored 14 years ago
  
  0e8102a6
Mar 22, 2011
- wishes · b3eb68c6
  Viktor Kuncak authored 14 years ago
  
  b3eb68c6
- Code substitution test and change script to include purescala class files. · babe7470
  Ali Sinan Köksal authored 14 years ago
  
  babe7470
- Extract the body of a predicate in purescala · 13dca114
  Ali Sinan Köksal authored 14 years ago
  
  13dca114
- Component for CP, write program into file and read from it, initial structure... · e2c59a06
  Ali Sinan Köksal authored 14 years ago
  
  Component for CP, write program into file and read from it, initial structure for transforming calls
  e2c59a06
Mar 21, 2011
- Extraction of pure scala program and storing it in a file · fa847883
  Ali Sinan Köksal authored 14 years ago
  
  fa847883
Mar 20, 2011
- just a class name change · 8dfc8776
  Ali Sinan Köksal authored 14 years ago
  
  8dfc8776
Mar 18, 2011
- stub · 0cc0b3de
  Philippe Suter authored 14 years ago
  
  0cc0b3de
Mar 17, 2011
- No commit message · e593cac2
  Philippe Suter authored 14 years ago
  
  No commit message
  e593cac2
Mar 11, 2011
- No commit message · 40454b13
  Octavian-Eugen Ganea authored 14 years ago
  
  No commit message
  40454b13
Mar 10, 2011
- work around z3 2.19 bug · 55e2e943
  Philippe Suter authored 14 years ago
  
  55e2e943
Mar 08, 2011
- No commit message · e7c5b3fe
  Philippe Suter authored 14 years ago
  
  No commit message
  e7c5b3fe
Mar 07, 2011
- towards getting enumeration of testcases to work again · a1f6ecc3
  Philippe Suter authored 14 years ago
  
  a1f6ecc3
- with height balancing · cdc697d1
  Philippe Suter authored 14 years ago
  
  cdc697d1
Mar 01, 2011
- newerer Z3 · f104cee1
  Philippe Suter authored 14 years ago
  
  f104cee1
- attempt to prove order of keys in red-black trees · c4fbf3ff
  Ali Sinan Köksal authored 14 years ago
  
  c4fbf3ff
Feb 28, 2011
- Black height invariant for red-black trees · 5382ae60
  Ali Sinan Köksal authored 14 years ago
  
  5382ae60
Feb 23, 2011
- The sketched squaring function is indeed valid. · 32e07b6c
  Ali Sinan Köksal authored 14 years ago
  
  32e07b6c
Feb 13, 2011
- sketching etc · bdfca9f2
  Viktor Kuncak authored 14 years ago
  
  bdfca9f2
- clp using funcheck · ba0063b4
  Viktor Kuncak authored 14 years ago
  
  ba0063b4
- counterexamples · 73837fd7
  Viktor Kuncak authored 14 years ago
  
  73837fd7
Feb 12, 2011
- No commit message · ff05592f
  Philippe Suter authored 14 years ago
  
  No commit message
  ff05592f