Commits

Branch selector

 master

User selector

samarion

Datepicker

All time

Commit History

Commits on Feb 21, 2017

• Clarify relation with Inox/Stainless

  samarion

  committed
  5317008

Commits on May 20, 2016

• Added native bags to FairZ3 and reverted to (faster) Z3-4.3.2

  samarion

  committed
  494a891

• NativeZ3 handles bags natively

  samarion

  committed
  6a949b5

Commits on May 17, 2016

• Fixed funDef ordering in Strengthener

  samarion

  committed
  a679d54

Commits on May 11, 2016

• Removed spurious printing and moved StablePrintingSuite to smt-z3

  samarion

  committed
  c9f89c9

• Fix in termination checker for invalid postcondition strengthening

  samarion

  committed
  a734f3e

Commits on May 7, 2016

• Un-ignored some nativez3 tests

  samarion

  committed
  e3f1305

• Added nesting to normalizeStructure

  Show description for 59980f3
  samarion

  committed
  59980f3

• Hardcore function equality! Can't really do better than this one without

  Show description for bf0b98f
  samarion

  committed
  bf0b98f

Commits on May 3, 2016

• bestRealType in normalizeStructure

  samarion

  committed
  83d14f6

Commits on May 2, 2016

• ADT invariants from abstract classes (no override for invariants)

  samarion

  committed
  f3aadd2

• Solver contexts to propagate evaluation banks in solver-evaluator

  Show description for 62b02b7
  samarion

  committed
  62b02b7

• Track evaluation bank between evaluators and solvers

  samarion

  committed
  3ed0c24

• Better names for SolverFactory and fixed bug in quantifiers

  samarion

  committed
  f8086ec

• Disabled buffered log for NativeZ3 regression (tests are sequential

  Show description for a46a21c
  samarion

  committed
  a46a21c

Commits on May 1, 2016

• Attempt at reducing native-z3 parallelism during tests

  

  samarion

  authored and

  ravimad

  committed
  45496c7

• Fixed total model extraction in QuantificationManager

  

  samarion

  authored and

  ravimad

  committed
  87c0476

• Moved InputCoverageSuite over to smt-z3

  

  samarion

  authored and

  ravimad

  committed
  f1e1bd3

• Ignored flaky test

  

  samarion

  authored and

  ravimad

  committed
  afbf74d

• Updated scalaz3-unix to latest

  

  samarion

  authored and

  ravimad

  committed
  4606c1a

• Documentation for path and evaluator

  

  samarion

  authored and

  ravimad

  committed
  ee30114

• synchronized evaluator invariant cache & small fix in codegen

  

  samarion

  authored and

  ravimad

  committed
  622632d

• Re-enabled AbstractEvaluator test and reset TerminationSuite to smt-z3

  

  samarion

  authored and

  ravimad

  committed
  e04ac67

• 1. Broader equivalence classes for lambdas

  Show description for a73533f
  

  samarion

  authored and

  ravimad

  committed
  a73533f

• Moved termination regression back to fairz3

  

  samarion

  authored and

  ravimad

  committed
  ab0fb4f

• Temporarily disabled abstractevaluator test

  

  samarion

  authored and

  ravimad

  committed
  df9e5f5

• Latest scalaz3 again

  

  samarion

  authored and

  ravimad

  committed
  d66b813

• More structural size termination

  

  samarion

  authored and

  ravimad

  committed
  bb580e5

• Small fix to termination checker for int32 termination

  

  samarion

  authored and

  ravimad

  committed
  b293a63

• Update to latest ScalaZ3 (with null model.eval checking)

  

  samarion

  authored and

  ravimad

  committed
  602569b

• Absolute value function for int32 types (termination)

  

  samarion

  authored and

  ravimad

  committed
  bbbc470

• Small fix to termination checker for NoGuarantee cases

  

  samarion

  authored and

  ravimad

  committed
  064fa2a

• Fixed abstract evaluator & updated ScalaZ3 jar

  

  samarion

  authored and

  ravimad

  committed
  3dfd69b

• Some id freshening in paths

  

  samarion

  authored and

  ravimad

  committed
  9a247d1

• Fix for first-class functions returning more functions

  

  samarion

  authored and

  ravimad

  committed
  6baae31

Pagination

PreviousNext