Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 3, 2014

• Fix spelling of SMTLIB2 sign_extend operator

  Show description for 1c49eb9
  smcc

  committed
  1c49eb9

  Copy full SHA for 1c49eb9

Commits on Oct 14, 2014

• Added push/pop support to the SMTLIB2 interface

  Show description for 90e76f5
  smcc

  committed
  90e76f5

  Copy full SHA for 90e76f5

Commits on Oct 13, 2014

• Add simplification rule for byte lost in >>

  Show description for 27965db
  smcc

  committed
  27965db

  Copy full SHA for 27965db

Commits on Sep 28, 2014

• Cosmetic cleanups to SMTLIB2 support

  Show description for e20650e
  smcc

  committed
  e20650e

  Copy full SHA for e20650e

• Implemented an SMT-LIB2 interface to STP.

  

  morehouse

  authored and

  smcc

  committed
  b24e915

  Copy full SHA for b24e915

Commits on Aug 12, 2014

• Add a functional if-then-else expression type

  Show description for e87785c
  smcc

  committed
  e87785c

  Copy full SHA for e87785c

Commits on Apr 1, 2014

• Modify the STP library interface for the latest STP

  Show description for 34974bd
  smcc

  committed
  34974bd

  Copy full SHA for 34974bd

Commits on Jul 2, 2013

• Mostly-boilerplate code to start x86-64 support

  Show description for 7f2532d
  smcc

  committed
  7f2532d

  Copy full SHA for 7f2532d

Commits on Jun 19, 2013

• Remove some unused OCaml packages from Makefiles

  smcc

  committed
  3d48ce9

  Copy full SHA for 3d48ce9

Commits on Jun 7, 2013

• Fix #if checking for Binutils arch enum values

  Show description for e169080
  smcc

  committed
  e169080

  Copy full SHA for e169080

Commits on May 12, 2013

• Update .gitignore files for previous commit.

  smcc

  committed
  5ec8855

  Copy full SHA for 5ec8855

• Start artificial history with a base of a modern Vine version.

  Show description for b080ae3
  smcc

  committed
  b080ae3

  Copy full SHA for b080ae3

Loading