Commits

Breadcrumbs

History for

ones6

User selector

All users

All time

Commit History

Commits on Mar 18, 2015

• list verification example

  daejunpark

  committed
  00b585a

  Copy full SHA for 00b585a

• list head

  daejunpark

  committed
  35601c8

  Copy full SHA for 35601c8

Commits on Feb 26, 2015

• add bst visitor pattern

  daejunpark

  committed
  9a0965e

  Copy full SHA for 9a0965e

Commits on Feb 25, 2015

• update verification.out

  daejunpark

  committed
  1f93252

  Copy full SHA for 1f93252

• move float.smt2 and string.smt2

  daejunpark

  committed
  abf9ec5

  Copy full SHA for abf9ec5

Commits on Feb 12, 2015

• update verification.out

  daejunpark

  committed
  687b512

  Copy full SHA for 687b512

• Update README.md

  daejunpark

  committed
  b84f077

  Copy full SHA for b84f077

• Update README.md

  daejunpark

  committed
  13f02d3

  Copy full SHA for 13f02d3

• Update README.md

  daejunpark

  committed
  7f0d766

  Copy full SHA for 7f0d766

• Update README.md

  daejunpark

  committed
  b8abf7d

  Copy full SHA for b8abf7d

• Update README.md

  daejunpark

  committed
  2dfef15

  Copy full SHA for 2dfef15

• Update README.md

  daejunpark

  committed
  b550c01

  Copy full SHA for b550c01

• Merge remote-tracking branch 'origin/tmp' into tmp

  Show description for b8d6b56
  daejunpark

  committed
  b8d6b56

  Copy full SHA for b8d6b56

• replace macro int max

  daejunpark

  committed
  635c693

  Copy full SHA for 635c693

• add bst oop

  daejunpark

  committed
  7348237

  Copy full SHA for 7348237

• improvements on the verification presentation

  andreistefanescu

  committed
  db9eace

  Copy full SHA for db9eace

• Update README.md

  daejunpark

  committed
  8bd232e

  Copy full SHA for 8bd232e

• Update README.md

  daejunpark

  committed
  ec86a69

  Copy full SHA for ec86a69

• Update README.md

  daejunpark

  committed
  a05dac8

  Copy full SHA for a05dac8

• remove prover.sh

  daejunpark

  committed
  852ca74

  Copy full SHA for 852ca74

• Merge remote-tracking branch 'origin/tmp' into tmp

  daejunpark

  committed
  058113d

  Copy full SHA for 058113d

• Update README.md

  daejunpark

  committed
  f9478db

  Copy full SHA for f9478db

• Update README.md

  daejunpark

  committed
  117ffd7

  Copy full SHA for 117ffd7

• Update README.md

  daejunpark

  committed
  1a87916

  Copy full SHA for 1a87916

• Update verification/Makefile

  daejunpark

  committed
  ac36a96

  Copy full SHA for ac36a96

Commits on Feb 11, 2015

• put imports in spec.k

  daejunpark

  committed
  4fca210

  Copy full SHA for 4fca210

• verification Makefile

  daejunpark

  committed
  8336577

  Copy full SHA for 8336577

• clean up verification

  daejunpark

  committed
  a6dc938

  Copy full SHA for a6dc938

• Merge remote-tracking branch 'origin/tmp' into tmp

  daejunpark

  committed
  fecd229

  Copy full SHA for fecd229

• reorganize verification directory structure

  daejunpark

  committed
  ca65f7f

  Copy full SHA for ca65f7f

• Update README.md

  daejunpark

  committed
  e32ae7a

  Copy full SHA for e32ae7a

• Update README.md

  daejunpark

  committed
  d659809

  Copy full SHA for d659809

• Update README.md

  daejunpark

  committed
  40335b3

  Copy full SHA for 40335b3

• Update README.md

  daejunpark

  committed
  d4623fb

  Copy full SHA for d4623fb

Commits on Feb 10, 2015

• fixed bst examples to work with floats as well

  andreistefanescu

  committed
  b10dda4

  Copy full SHA for b10dda4