Commits

Breadcrumbs

History for

on68c393b

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 24, 2014

• fix type in sets_translate

  kbansal

  committed
  336b031

Commits on Jul 1, 2014

• Update copyrights.

  mdeters

  committed
  8ad7662

Commits on Jun 30, 2014

• Use FS as the set-logic string for theory of sets

  kbansal

  committed
  fa53ae1

Commits on Jun 25, 2014

• sets api example

  kbansal

  committed
  be47019

• rename subseteq to subset in smtlib, all kinds and smt operator names are now consistent

  kbansal

  committed
  2a734a3

Commits on Jun 22, 2014

• Renaming of SMT2 operator names, kinds for set theory

  Show description for b8ddf76
  kbansal

  committed
  b8ddf76

Commits on Jun 19, 2014

• Fix make install-examples.

  

  mdeters

  authored and

  lianah

  committed
  933737e

• basic fixes for sets translator, separate binaries

  

  kbansal

  authored and

  lianah

  committed
  eca295c

• New translator features: expand define-funs and combine assertions.

  

  mdeters

  authored and

  lianah

  committed
  552bc5f

Commits on Jun 8, 2014

• sets translate: a different translation using axioms

  Show description for b14e52e
  kbansal

  committed
  b14e52e

Commits on Jun 6, 2014

• sets translator: fix for dags

  kbansal

  committed
  2196596

• rm warning from helloworld example

  kbansal

  committed
  e687b6e

• Sets translate, and other short fixes

  Show description for 5c42662
  kbansal

  committed
  5c42662

Commits on Jun 5, 2014

• Add --default-dag-thresh to translator, build translator with other examples.

  mdeters

  committed
  e36f03f

Commits on May 10, 2014

• Fix for example installation.

  mdeters

  committed
  f8a37b9

Commits on May 8, 2014

• Adding encoding of sha1 collision for the hashing example

  dddejan

  committed
  fdbc8e0

Commits on May 2, 2014

• Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.

  mdeters

  committed
  9b59e12

Commits on Mar 19, 2014

• Move the translator binary from src/main to examples, no longer built by default.

  mdeters

  committed
  edd400b

Commits on Dec 24, 2013

• Cleanup related to output language fix.

  mdeters

  committed
  f6b6d82

• Java datatype API fixups, datatype API examples

  mdeters

  committed
  8cde77a

Commits on Dec 14, 2013

• Another fix for clang.

  mdeters

  committed
  f00388b

Commits on Dec 5, 2013

• Update copyrights, add missing file-level documentation; fix perms.

  mdeters

  committed
  d692211

Commits on Nov 27, 2013

• Incremental is now on by default when using from API, off for command-line driver except in interactive mode.

  mdeters

  committed
  86b54ed

Commits on Jun 17, 2013

• Java streams example I forgot to add a long time ago

  mdeters

  committed
  c5177b1

Commits on Apr 2, 2013

• Regenerated copyrights: canonicalized names, no emails

  mdeters

  committed
  166bbd9

• update copyrights

  mdeters

  committed
  0e6e0f1

Commits on Mar 26, 2013

• Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac

  mdeters

  committed
  ad5e31e

Commits on Feb 16, 2013

• Some cleanup and copyright updating

  Show description for f06ae10
  mdeters

  committed
  f06ae10

Commits on Dec 1, 2012

• updated examples

  mdeters

  committed
  8953b60

• added a new example for the combination of bit-vectors and arrays (includes model generation) and set the logic for the bitvector example

  lianah

  committed
  e39b94a

• Polishing API examples.

  timothy-king

  committed
  2541ceb

Commits on Nov 30, 2012

• all API examples now have java versions too; bitvectors gets built; also updated old-style copyrights in the examples

  mdeters

  committed
  45229fd

• Updating the combination.cpp example.

  timothy-king

  committed
  98d113e

• change detection/handling of output language more reasonably; fixes a nagging bug Tim found in API examples

  Show description for 5ab0f03
  mdeters

  committed
  5ab0f03

• added a simple API example example showing how to use the bit-vector theory.

  lianah

  committed
  27f1e75

Pagination

Previous

Next