Commits

Branch selector

 403bf55

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2019

• 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 Dec 1, 2019

• Merge pull request #126 from polgreen/merge_branch

  Show description for 163c0f7
  polgreen

  authored
  163c0f7

  Copy full SHA for 163c0f7

Commits on Nov 26, 2019

• fix for symbol table

  polgreen

  committed
  e2d42bf

  Copy full SHA for e2d42bf

Commits on Nov 14, 2019

• Axioms are antecedents to invariant constraints (#124)

  Show description for 2ad5d51
  

  FedericoAureliano

  authored and

  polgreen

  committed
  2ad5d51

  Copy full SHA for 2ad5d51

• constants are not mutable; axioms always hold. (#123)

  

  FedericoAureliano

  authored and

  polgreen

  committed
  516dd16

  Copy full SHA for 516dd16

• Havocs treated as read-only

  

  FedericoAureliano

  authored and

  polgreen

  committed
  9fe8cc7

  Copy full SHA for 9fe8cc7

• Distinction between mutable and immutable variables. Uninterpreted functions are not function arguments.

  

  FedericoAureliano

  authored and

  polgreen

  committed
  5ef28b7

  Copy full SHA for 5ef28b7

• adding test cases for synthesis solvers

  polgreen

  committed
  839cef2

  Copy full SHA for 839cef2

• Remove duplicates from stateVars.

  

  kkmc

  authored and

  polgreen

  committed
  e99819d

  Copy full SHA for e99819d

• Minor change to precedence in parser

  

  d0cd

  authored and

  polgreen

  committed
  7f0c170

  Copy full SHA for 7f0c170

• Synthesis format adjusted to work with cvc4, eusolver, and loopinvgen

  

  d0cd

  authored and

  polgreen

  committed
  0176d8b

  Copy full SHA for 0176d8b

• Minor tweak to initExpr generation for synthesis in symbolic simulator (removed simulations of havoc statements)

  

  d0cd

  authored and

  polgreen

  committed
  2778213

  Copy full SHA for 2778213

• Minor tweaks, CVC4 tests working

  

  d0cd

  authored and

  polgreen

  committed
  ce1be1f

  Copy full SHA for ce1be1f

• Temp fix for specifying logic in synthesis command

  

  d0cd

  authored and

  polgreen

  committed
  0935150

  Copy full SHA for 0935150

• test for using arrays and forall in sygus: not yet added to list of tests to be run

  polgreen

  committed
  bc42d9b

  Copy full SHA for bc42d9b

• Quantified variables should not violate assert.

  

  FedericoAureliano

  authored and

  polgreen

  committed
  e65a3a2

  Copy full SHA for e65a3a2

• fix for forall and exists quantifier output

  polgreen

  committed
  e558de9

  Copy full SHA for e558de9

• add set-logic ALL for SyGuS

  Show description for 4fe973f
  polgreen

  committed
  4fe973f

  Copy full SHA for 4fe973f

• Update .gitignore

  

  FedericoAureliano

  authored and

  polgreen

  committed
  79f78e9

  Copy full SHA for 79f78e9

• Merge pull request #136 from polgreen/parser_fixes

  Show description for f6be0cb
  polgreen

  authored
  f6be0cb

  Copy full SHA for f6be0cb

Commits on Nov 12, 2019

• Add bit vector comparisons and concat to SExprParser

  polgreen

  committed
  7cde01f

  Copy full SHA for 7cde01f

• 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 11, 2019

• test for modulo

  polgreen

  committed
  0ba7c6f

  Copy full SHA for 0ba7c6f

• Add bvsrem operator

  polgreen

  committed
  aea4d19

  Copy full SHA for aea4d19

• Add bvurem operator

  polgreen

  committed
  f3c2f52

  Copy full SHA for f3c2f52

• smt: BitVectorLit: handle negative values and fix width check

  ekiwi

  committed
  10a3723

  Copy full SHA for 10a3723

• smt: save variables as Symbol in order to escape them properly

  ekiwi

  committed
  394557a

  Copy full SHA for 394557a

• smt: escape Symbol when necessary

  ekiwi

  committed
  e2bdf00

  Copy full SHA for e2bdf00

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

Pagination

Previous

Next