Commits

Branch selector

 master

User selector

pramodsu

Datepicker

All time

Commit History

Commits on Jun 29, 2020

• Fix for issue #32.

  

  pramodsu

  authored and

  polgreen

  committed
  8bb6492

  Copy full SHA for 8bb6492

Commits on Apr 7, 2020

• Latent bug in parsing of existential quantifiers.

  pramodsu

  committed
  1af918b

  Copy full SHA for 1af918b

• Fix + tests for #188.

  Show description for 1ca8422
  pramodsu

  committed
  1ca8422

  Copy full SHA for 1ca8422

Commits on Mar 30, 2020

• Fix for issue #187.

  Show description for 110e864
  pramodsu

  committed
  110e864

  Copy full SHA for 110e864

Commits on Feb 29, 2020

• Updated README.md.

  pramodsu

  committed
  9223ccf

  Copy full SHA for 9223ccf

Commits on Feb 22, 2020

• partial fix for #167.

  pramodsu

  committed
  7022bad

  Copy full SHA for 7022bad

Commits on Feb 16, 2020

• some fixing of the constant array problems.

  pramodsu

  committed
  d45d72d

  Copy full SHA for d45d72d

Commits on Feb 8, 2020

• fixes for the issue parv was running into.

  pramodsu

  committed
  ddd7e57

  Copy full SHA for ddd7e57

• adding new tests exposing bug parv ran into.

  pramodsu

  committed
  4067926

  Copy full SHA for 4067926

Commits on Jan 25, 2020

• fixing copy-paste error.

  pramodsu

  committed
  33968e1

  Copy full SHA for 33968e1

• Merge branch 'master' of github.com:pramodsu/uclid5

  pramodsu

  committed
  bda1aa4

  Copy full SHA for bda1aa4

• Beginnings of a test harness for the SMTLIB2 interface

  pramodsu

  committed
  7ffef34

  Copy full SHA for 7ffef34

Commits on Jan 12, 2020

• Parv's bug report.

  pramodsu

  committed
  be1436a

  Copy full SHA for be1436a

Commits on Dec 15, 2019

• adding tuple-test as an example of how to use tuples.

  pramodsu

  committed
  a920764

  Copy full SHA for a920764

Commits on Dec 7, 2019

• Updated travis + publish script.

  pramodsu

  committed
  b5d863a

  Copy full SHA for b5d863a

• adding scripts to get the right version of z3.

  pramodsu

  committed
  403bf55

  Copy full SHA for 403bf55

• updated travis + new Z3 jar.

  pramodsu

  committed
  ebab1b3

  Copy full SHA for ebab1b3

Commits on Nov 12, 2019

• Merge pull request #133 from polgreen/modulo_branch

  Show description for 65dbb57
  pramodsu

  authored
  65dbb57

  Copy full SHA for 65dbb57

• Merge pull request #131 from pramodsu/smt-negative-bv-lit

  Show description for c8b7ad6
  pramodsu

  authored
  c8b7ad6

  Copy full SHA for c8b7ad6

• Merge pull request #129 from pramodsu/smt-fixes-from-uclid-org

  Show description for 1729cdd
  pramodsu

  authored
  1729cdd

  Copy full SHA for 1729cdd

Commits on Nov 9, 2019

• Merge branch 'master' of github.com:pramodsu/uclid5

  pramodsu

  committed
  486b5e8

  Copy full SHA for 486b5e8

• Merge pull request #127 from polgreen/smtlib-printing

  Show description for e5f3354
  pramodsu

  authored
  e5f3354

  Copy full SHA for e5f3354

• Merge remote-tracking branch 'polgreen/smtlib-printing'

  pramodsu

  committed
  098c4a1

  Copy full SHA for 098c4a1

• adding help option.

  pramodsu

  committed
  f5ce7ba

  Copy full SHA for f5ce7ba

Commits on Nov 4, 2019

• Adding range expressions (e.g. 0 < n <= 10).

  Show description for 612cf18
  pramodsu

  committed
  612cf18

  Copy full SHA for 612cf18

Commits on Nov 3, 2019

• Adding support for bv2int and int2bv operators.

  Show description for a1f7819
  pramodsu

  committed
  a1f7819

  Copy full SHA for a1f7819

Commits on Sep 12, 2019

• Merge pull request #113 from pramodsu/polgreen-patch-1

  Show description for 8f3c3b5
  pramodsu

  authored
  8f3c3b5

  Copy full SHA for 8f3c3b5

Commits on Sep 10, 2019

• Merge pull request #110 from polgreen/compilationfix

  Show description for cc76158
  pramodsu

  authored
  cc76158

  Copy full SHA for cc76158

Commits on Aug 9, 2019

• Fix for issue #108.

  pramodsu

  committed
  45e9495

  Copy full SHA for 45e9495

Commits on Jul 19, 2019

• Fixed bug found by Kevin Laeufer

  pramodsu

  committed
  1971112

  Copy full SHA for 1971112

Commits on Jun 18, 2019

• Beginning to implement assumpts in induction cmd.

  pramodsu

  committed
  0d4f044

  Copy full SHA for 0d4f044

• adding more induction tests.

  pramodsu

  committed
  bafe17c

  Copy full SHA for bafe17c

• ListBuffer -> Set for assumptions in AssertionTree nodes.

  pramodsu

  committed
  a3ce244

  Copy full SHA for a3ce244

• don't duplicate axioms.

  pramodsu

  committed
  0d84a3b

  Copy full SHA for 0d84a3b

Commits on Jun 17, 2019

• Tests for induction pre-state control.

  Show description for bbf30d7
  pramodsu

  committed
  bbf30d7

  Copy full SHA for bbf30d7

Pagination

Previous

Next