Commits · e6d9c96374e79e287236a04b7a856283681cefcc · LARA / inox · GitLab

Snippets Groups Projects

Mar 28, 2011
- Add cp script generation and cleaning to all tasks · e6d9c963
  Ali Sinan Köksal authored 14 years ago
  
  e6d9c963
- add resource file for cp plugin · 5b02cd63
  Ali Sinan Köksal authored 14 years ago
  
  5b02cd63
- actually moving the files · cdab62e6
  Ali Sinan Köksal authored 14 years ago
  
  cdab62e6
- Move cp files into their own package · b3d58c37
  Ali Sinan Köksal authored 14 years ago
  
  b3d58c37
Mar 25, 2011
- evaluation summary files · 77262aeb
  Ali Sinan Köksal authored 14 years ago
  
  77262aeb
- Snapshot for benchmarks from VS competition. · 86ac59d3
  Ali Sinan Köksal authored 14 years ago
  
  86ac59d3
- avoid the crash, but cannot prove tail and enqueue specs · 738383f7
  Ali Sinan Köksal authored 14 years ago
  
  738383f7
- Trying to prove properties with list abstraction but have another problem with z3 translation · aa1c6a51
  Ali Sinan Köksal authored 14 years ago
  
  aa1c6a51
- bug fix and support for set membership in evaluator · 6bb6fc29
  Philippe Suter authored 14 years ago
  
  6bb6fc29
Mar 24, 2011
- only an attempt... · fdb95653
  Philippe Suter authored 14 years ago
  
  fdb95653
- No commit message · 541df399
  Philippe Suter authored 14 years ago
  
  No commit message
  541df399
- Nearly done with the amortized queue example, but ran into a funcheck crash. · 17269db6
  Ali Sinan Köksal authored 14 years ago
  
  17269db6
- yay ! · cd87bbdb
  Philippe Suter authored 14 years ago
  
  cd87bbdb
- Proves part of the specification (if a list doesn't contain 0, then the result... · 43f324ae
  Ali Sinan Köksal authored 14 years ago
  
  Proves part of the specification (if a list doesn't contain 0, then the result is equal to its size).
  43f324ae
- 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