Commits

Branch selector

 master

User selector

simonjwinwood

Datepicker

All time

Commit History

Commits on Oct 2, 2023

• Merge pull request #347 from GaloisInc/wip/talos-dump-smt

  Show description for 3747bc1
  simonjwinwood

  authored
  3747bc1

  Copy full SHA for 3747bc1

• talos: fixed bug; made assertions smaller/clearer in PathSymbolic

  simonjwinwood

  committed
  3ba0039

  Copy full SHA for 3ba0039

• Merge pull request #346 from GaloisInc/wip/talos-dump-smt

  Show description for 7be4657
  simonjwinwood

  authored
  7be4657

  Copy full SHA for 7be4657

• talos: added --save-problems argument and supporting code.

  simonjwinwood

  committed
  faeb666

  Copy full SHA for faeb666

Commits on Sep 18, 2023

• Merge pull request #342 from GaloisInc/wip/annotated-core-nodes

  Show description for fb3760e
  simonjwinwood

  authored
  fb3760e

  Copy full SHA for fb3760e

• daedalus-core: clean up CFG imports

  simonjwinwood

  committed
  43778ab

  Copy full SHA for 43778ab

Commits on Sep 15, 2023

• bugfix: Ignore Do NodeIDs when constructing the CFG

  simonjwinwood

  committed
  f94af1b

  Copy full SHA for f94af1b

• Added an explicit pass to add NodeIDs to Core Modules

  simonjwinwood

  committed
  699a2be

  Copy full SHA for 699a2be

Commits on Sep 6, 2023

• talos: added --dot-cfg command

  simonjwinwood

  committed
  9c79123

  Copy full SHA for 9c79123

• Added NodeID annotation type and a pass to generate a CFG

  simonjwinwood

  committed
  a3505ce

  Copy full SHA for a3505ce

Commits on Aug 22, 2023

• Merge pull request #341 from GaloisInc/wip/alternative-mux-value

  Show description for 086cf03
  simonjwinwood

  authored
  086cf03

  Copy full SHA for 086cf03

• talos: cleanups

  simonjwinwood

  committed
  1a6498b

  Copy full SHA for 1a6498b

• talos: cleaned up MuxValue

  simonjwinwood

  committed
  8796ed6

  Copy full SHA for 8796ed6

Commits on Aug 21, 2023

• talos: remove unused Case tracking for pathsymb

  Show description for fece0a9
  simonjwinwood

  committed
  fece0a9

  Copy full SHA for fece0a9

• talos: cleanups

  simonjwinwood

  committed
  d8a9dde

  Copy full SHA for d8a9dde

• talos: clean ups

  simonjwinwood

  committed
  302054c

  Copy full SHA for 302054c

Commits on Aug 11, 2023

• talos: remove printf

  simonjwinwood

  committed
  32c719f

  Copy full SHA for 32c719f

• talos: bugfixes

  simonjwinwood

  committed
  3b4ebe0

  Copy full SHA for 3b4ebe0

• talos: use Branching everywhere

  Show description for d454b9e
  simonjwinwood

  committed
  d454b9e

  Copy full SHA for d454b9e

Commits on Aug 10, 2023

• talos: updates for PathSet changes

  simonjwinwood

  committed
  c23bcfc

  Copy full SHA for c23bcfc

• talos: refining Branching to not have a default case (can now be empty)

  simonjwinwood

  committed
  d5d2474

  Copy full SHA for d5d2474

Commits on Aug 8, 2023

• talos: added pretty printing

  simonjwinwood

  committed
  34b641c

  Copy full SHA for 34b641c

Commits on Aug 4, 2023

• talos: comp;iles after muxvalue changess

  simonjwinwood

  committed
  76b3ff4

  Copy full SHA for 76b3ff4

• talos: completed update to loop cases in PathSymbolic

  simonjwinwood

  committed
  9ef069b

  Copy full SHA for 9ef069b

• talos: about to refactor assertions

  simonjwinwood

  committed
  25a3cba

  Copy full SHA for 25a3cba

Commits on Aug 3, 2023

• talos: bugfixes

  simonjwinwood

  committed
  b8df82e

  Copy full SHA for b8df82e

• talos: add an explicit Branching type to capture that pattern

  simonjwinwood

  committed
  3b0736a

  Copy full SHA for 3b0736a

Commits on Aug 2, 2023

• talos: re-working loops for muxvalue

  simonjwinwood

  committed
  6399c47

  Copy full SHA for 6399c47

Commits on Jul 27, 2023

• talos; checkpoint; cleaning up PathSymbolic.hs

  simonjwinwood

  committed
  3750044

  Copy full SHA for 3750044

Commits on Jul 26, 2023

• talos: fixed up Case (Patterns) for muxvalue

  simonjwinwood

  committed
  d5011e4

  Copy full SHA for d5011e4

• talos: checkpoint; muxvalue mainly done

  simonjwinwood

  committed
  b0b5370

  Copy full SHA for b0b5370

Commits on Jul 22, 2023

• talos: checkponit; finished muxvalue

  simonjwinwood

  committed
  b9298ac

  Copy full SHA for b9298ac

Commits on Jul 12, 2023

• talos: checkpoint for muxvalue

  simonjwinwood

  committed
  fbced4e

  Copy full SHA for fbced4e

• talos: renamed PathCondition -> PathSet; checkpoint commit

  simonjwinwood

  committed
  5d7228d

  Copy full SHA for 5d7228d

Commits on Jul 11, 2023

• talos: muxvalue change checkpoint

  simonjwinwood

  committed
  a13bb5b

  Copy full SHA for a13bb5b

Pagination

Previous

Next