Commits

Branch selector

 master

User selector

arranf

Datepicker

All time

Commit History

Commits on Mar 7, 2018

• Add quantifier support and support for array Z3 args

  arranf

  committed
  644c2ed

Commits on Dec 1, 2017

• Remove debug and redundant functions

  arranf

  committed
  882076c

• Working version

  arranf

  committed
  dd402a9

• Add copy_changes script

  arranf

  committed
  a9f4aa7

Commits on Nov 30, 2017

• Switch to Z3 Arrays

  arranf

  committed
  a63ae8c

Commits on Nov 14, 2017

• Replace kinds with sort kinds

  arranf

  committed
  07845f4

Commits on Nov 13, 2017

• Add Z3 Expr parsing

  Show description for e8e7e39
  arranf

  committed
  e8e7e39

Commits on Oct 31, 2017

• Expose Context in Expr, Model, and Solver

  arranf

  committed
  2e22e18

Commits on Oct 25, 2017

• Add mkSeqSort()

  arranf

  committed
  588890c