Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 2, 2024

• dependabot - guessing on gitsubmodule

  mtullsen

  committed
  4e105d9

  Copy full SHA for 4e105d9

• dependabot - guessing on gitsubmodule

  mtullsen

  committed
  887e901

  Copy full SHA for 887e901

• dependabot - update: open-pull-requests-limit: 50

  mtullsen

  committed
  1a8c6ff

  Copy full SHA for 1a8c6ff

• dependabot - update: directories&etc

  mtullsen

  committed
  f5e75c3

  Copy full SHA for f5e75c3

Commits on Jul 1, 2024

• dependabot - update

  mtullsen

  committed
  fa60c1c

  Copy full SHA for fa60c1c

• Create dependabot.yml: V0.1

  mtullsen

  authored
  6b5582c

  Copy full SHA for 6b5582c

Commits on May 24, 2024

• Update llvm-pretty submodule target (GaloisInc#2059)

  glguy

  authored
  5ea9e1e

  Copy full SHA for 5ea9e1e

Commits on May 17, 2024

• Merge pull request GaloisInc#2056 from GaloisInc/rem/issue#2055

  Show description for 59392fd
  mccleeary-galois

  authored
  59392fd

  Copy full SHA for 59392fd

Commits on May 16, 2024

• Change saw-remote-api version to dev v1.1.1.99

  mccleeary-galois

  committed
  0f13874

  Copy full SHA for 0f13874

• Ready saw-remote-api for v1.1.1 to handle python 3.12

  mccleeary-galois

  committed
  9371c75

  Copy full SHA for 9371c75

• Remove distutils and replace with shutil to support Python 3.12 in sw-remote-api

  mccleeary-galois

  committed
  2ed03c8

  Copy full SHA for 2ed03c8

• Bump Argo and Cryptol to support Python 3.12

  mccleeary-galois

  committed
  d85e8a5

  Copy full SHA for d85e8a5

Commits on May 15, 2024

• SyGuS, find SMT array write of a fixed size (GaloisInc#2037)

  Show description for 70fe999
  

  RyanGlScott

  and

  andreistefanescu

  authored
  70fe999

  Copy full SHA for 70fe999

Commits on May 10, 2024

• CI: Bump entree-specs commit to include fix for GaloisInc/entree-specs#5 (GaloisInc#2054)

  Show description for 1722a84
  RyanGlScott

  authored
  1722a84

  Copy full SHA for 1722a84

Commits on Mar 28, 2024

• Merge pull request GaloisInc#2047 from GaloisInc/T2045

  Show description for 48e0e7d
  mergify[bot]

  authored
  48e0e7d

  Copy full SHA for 48e0e7d

• Fix treatment of MIR slices in overrides

  Show description for 49a182e
  RyanGlScott

  committed
  49a182e

  Copy full SHA for 49a182e

Commits on Mar 27, 2024

• Bump cryptol submodule, add regression test for GaloisInc#2043 (GaloisInc#2044)

  Show description for be24399
  RyanGlScott

  authored
  be24399

  Copy full SHA for be24399

Commits on Mar 19, 2024

• Add mir_mux_values command (GaloisInc#2039)

  Show description for d56bc18
  RyanGlScott

  authored
  d56bc18

  Copy full SHA for d56bc18

Commits on Feb 21, 2024

• Merge pull request GaloisInc#2030 from GaloisInc/heapster/fix-reach-perms

  Show description for 392e3ca
  mergify[bot]

  authored
  392e3ca

  Copy full SHA for 392e3ca

• Merge branch 'master' into heapster/fix-reach-perms

  mergify[bot]

  authored
  ddd963f

  Copy full SHA for ddd963f

• added a few comments in response to review

  

  Eddy Westbrook

  committed
  b7febee

  Copy full SHA for b7febee

Commits on Feb 16, 2024

• got mbox example working (kind of)

  

  Eddy Westbrook

  committed
  6ef2608

  Copy full SHA for 6ef2608

Commits on Feb 15, 2024

• Merge pull request GaloisInc#2029 from GaloisInc/macos-14-ci

  Show description for 74da439
  RyanGlScott

  authored
  74da439

  Copy full SHA for 74da439

• Switch from haskell/actions/setup to haskell-actions/setup

  RyanGlScott

  committed
  642e636

  Copy full SHA for 642e636

Commits on Feb 14, 2024

• uncommented the clearbufs example, since it works now

  

  Eddy Westbrook

  committed
  82e4066

  Copy full SHA for 82e4066

• whoops, fixed the sigmaElimTransM to use a tuple type translation when eliminating sigmas, just like is used when building them

  

  Eddy Westbrook

  committed
  0c5c3d8

  Copy full SHA for 0c5c3d8

• CI: Build and test both x86-64 and AArch64 macOS

  RyanGlScott

  committed
  4c1e20a

  Copy full SHA for 4c1e20a

Commits on Feb 13, 2024

• CI: Upgrade to what4-solvers snapshot-20240212

  RyanGlScott

  committed
  f716f47

  Copy full SHA for f716f47

Commits on Feb 10, 2024

• updated iter_linked_list example to work with the new SpecM

  

  Eddy Westbrook

  committed
  eff7aee

  Copy full SHA for eff7aee

Commits on Feb 9, 2024

• Update Heapster, Monadification, and MRSolver to handle high-order SpecM functions (GaloisInc#2017)

  Show description for 2a3ca89
  

  m-yac

  and

  Eddy Westbrook

  authored
  2a3ca89

  Copy full SHA for 2a3ca89

Commits on Feb 6, 2024

• Merge pull request GaloisInc#2023 from GaloisInc/release-1.1-prep

  Show description for 3dc551c
  mergify[bot]

  authored
  3dc551c

  Copy full SHA for 3dc551c

Commits on Feb 5, 2024

• Bump development versions to 1.1.0.99

  RyanGlScott

  committed
  00f7ee0

  Copy full SHA for 00f7ee0

• saw-remote-api: Pin to version 3.1.0 of Cryptol Python bindings

  RyanGlScott

  committed
  5c16c87

  Copy full SHA for 5c16c87

• Bump crucible, cryptol submodules to 0.8.*, 3.1.* series

  RyanGlScott

  committed
  7eb6694

  Copy full SHA for 7eb6694

• Bump release versions to 1.1

  RyanGlScott

  committed
  362788b

  Copy full SHA for 362788b

Pagination

Previous

Next