Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2019

• scTypeOf: Reduce with `scWhnf` before calling `asSort` on a term.

  Show description for 71a1e4f
  brianhuffman

  committed
  71a1e4f

  Copy full SHA for 71a1e4f

Commits on Nov 17, 2019

• Remove unnecessary calls to `scSharedTerm` in scTypeOf* functions.

  brianhuffman

  committed
  82d1666

  Copy full SHA for 82d1666

• Remove unused datatype Pat and related functions.

  brianhuffman

  committed
  047e3e1

  Copy full SHA for 047e3e1

Commits on Oct 21, 2019

• Fix function `scTypeOf` on `Constant` terms.

  Show description for 52d8d43
  brianhuffman

  committed
  52d8d43

  Copy full SHA for 52d8d43

Commits on Oct 18, 2019

• Merge pull request #42 from GaloisInc/saw-script-issue568

  Show description for 204adbb
  brianhuffman

  authored
  204adbb

  Copy full SHA for 204adbb

• Add unique VarIndex to all scConstant terms (GaloisInc/saw-script#568).

  brianhuffman

  committed
  9c58c0b

  Copy full SHA for 9c58c0b

Commits on Aug 6, 2019

• Universal quantification over bitvectors

  

  Samuel Breese

  authored and

  andreistefanescu

  committed
  4e3324a

  Copy full SHA for 4e3324a

Commits on Jun 28, 2019

• Fix recognizer patterns in scVectorReduced. (#39)

  andreistefanescu

  authored
  871c38c

  Copy full SHA for 871c38c

Commits on Jun 6, 2019

• Merge pull request #38 from GaloisInc/saw-script-issue216

  Show description for 7b70c88
  brianhuffman

  authored
  7b70c88

  Copy full SHA for 7b70c88

Commits on Jun 5, 2019

• Make iteOp support symbolic VToNat values.

  Show description for b319e32
  brianhuffman

  committed
  b319e32

  Copy full SHA for b319e32

Commits on May 28, 2019

• Merge pull request #37 from GaloisInc/sc-vector-reduced

  Show description for affad38
  

  Aaron Tomb

  authored
  affad38

  Copy full SHA for affad38

• Add vector size and bvAt checks in scVectorReduced.

  andreistefanescu

  committed
  a90bdef

  Copy full SHA for a90bdef

Commits on May 21, 2019

• Merge pull request #36 from GaloisInc/saw-script-issue445

  Show description for 9e06f8b
  brianhuffman

  authored
  9e06f8b

  Copy full SHA for 9e06f8b

Commits on May 20, 2019

• Make subNat support symbolic VToNat values.

  Show description for 9682421
  brianhuffman

  committed
  9682421

  Copy full SHA for 9682421

Commits on May 17, 2019

• Merge pull request #35 from GaloisInc/startup-speed

  Show description for 332eebd
  brianhuffman

  authored
  332eebd

  Copy full SHA for 332eebd

• Use `TH.lift` instead of `read` in template-haskell-generated code.

  Show description for 7c314b6
  brianhuffman

  committed
  7c314b6

  Copy full SHA for 7c314b6

Commits on May 16, 2019

• Rewriter makes additional well-formedness check for matched rules.

  Show description for 9400a5d
  brianhuffman

  committed
  9400a5d

  Copy full SHA for 9400a5d

Commits on Apr 23, 2019

• Add "Reduced" variants of scPairValue, scTuple, and scVector.

  Show description for b11b9c0
  brianhuffman

  committed
  b11b9c0

  Copy full SHA for b11b9c0

Commits on Apr 18, 2019

• Merge branch 'master' of github.com:GaloisInc/saw-core

  

  Eddy Westbrook

  committed
  5a204c8

  Copy full SHA for 5a204c8

• added catchM to the computation monad

  

  Eddy Westbrook

  committed
  e5de2cc

  Copy full SHA for e5de2cc

Commits on Apr 17, 2019

• Speed up implementations of `scAbstractExts` and `scGeneralizeExts`.

  Show description for e8e88b5
  brianhuffman

  committed
  e8e88b5

  Copy full SHA for e8e88b5

Commits on Apr 11, 2019

• Make ltNat and equalNat primitives support symbolic VToNat values.

  Show description for edffc76
  brianhuffman

  committed
  edffc76

  Copy full SHA for edffc76

Commits on Apr 1, 2019

• Merge pull request #34 from david-christiansen/text-mod-name

  Show description for fda4f11
  brianhuffman

  authored
  fda4f11

  Copy full SHA for fda4f11

• Use Text to represent ModuleName instead of ByteString

  Show description for 249e36b
  david-christiansen

  committed
  249e36b

  Copy full SHA for 249e36b

Commits on Feb 27, 2019

• Give simulator backends access to original Term for uninterpreted funs.

  brianhuffman

  committed
  69a597a

  Copy full SHA for 69a597a

Commits on Feb 22, 2019

• Make `rewritingSharedContext` NOT do beta/iota reductions.

  Show description for 9db3a16
  brianhuffman

  committed
  9db3a16

  Copy full SHA for 9db3a16

Commits on Feb 7, 2019

• insDef should populate moduleRDecls

  Show description for dfdc850
  Ptival

  committed
  dfdc850

  Copy full SHA for dfdc850

Commits on Jan 26, 2019

• added natOpenTerm and applyOpenTermMulti

  

  Eddy Westbrook

  committed
  328c6a0

  Copy full SHA for 328c6a0

Commits on Jan 24, 2019

• added OpenTerm helpers for building constructors, datatypes, and globals

  

  Eddy Westbrook

  committed
  06be676

  Copy full SHA for 06be676

• added dtNumParams and dtNumIndices as helpful accessors on DataTypes

  

  Eddy Westbrook

  committed
  dcc175a

  Copy full SHA for dcc175a

Commits on Jan 17, 2019

• Enable -Wcompat for future compatability warnings.

  kquick

  committed
  1eb6465

  Copy full SHA for 1eb6465

• Remove unneeded imports in tests.

  kquick

  committed
  859ec70

  Copy full SHA for 859ec70

• Switch from ref-fd (unmaintained) to data-ref dependency.

  kquick

  committed
  d06cf36

  Copy full SHA for d06cf36

• MonadFail updates in Verifier.Saw.Conversion.

  kquick

  committed
  50fd6cd

  Copy full SHA for 50fd6cd

• Add CacheTests to validate Verifier.Saw.Cache functionality.

  kquick

  committed
  64b0fe5

  Copy full SHA for 64b0fe5

Pagination

Previous

Next