Code

Fix examples after en tree#1827

Code

Open

scuellar wants to merge 53 commits intomasterGaloisInc/saw-script:masterfrom Fix-Examples-After-EnTreeGaloisInc/saw-script:Fix-Examples-After-EnTreeCopy head branch name to clipboard

+510-172

Commits

Commits on Jun 28, 2021

• add basic IDE logging, start error cleanup

  

  Karl Smeltzer

  committed
  3a9c13b

  Copy full SHA for 3a9c13b

• clean up additional implication errors

  

  Karl Smeltzer

  committed
  bfd0566

  Copy full SHA for bfd0566

Commits on Jun 29, 2021

• add structure to stmt fail in line with impl fail

  

  Karl Smeltzer

  committed
  49f72e4

  Copy full SHA for 49f72e4

Commits on Jul 7, 2021

• redesign error message types, pipe through to log

  

  Karl Smeltzer

  committed
  716a2e1

  Copy full SHA for 716a2e1

Commits on Jul 8, 2021

• fix default heapster environments missing ioref

  

  Karl Smeltzer

  committed
  9283f0e

  Copy full SHA for 9283f0e

Commits on Jul 9, 2021

• carry more information through on most common implication error

  

  Karl Smeltzer

  committed
  1e427a4

  Copy full SHA for 1e427a4

• Merge branch 'heapster-ide-info' of github.com:GaloisInc/saw-script into heapster-ide-info

  

  Karl Smeltzer

  committed
  059ab7b

  Copy full SHA for 059ab7b

• remove Some from error constructor

  

  Karl Smeltzer

  committed
  6fef67a

  Copy full SHA for 6fef67a

Commits on Jul 26, 2021

• Merge branch 'master' into heapster-ide-info

  glguy

  committed
  f3b76bb

  Copy full SHA for f3b76bb

Commits on Jul 28, 2021

• Export valueperms in full json detail

  glguy

  committed
  e2c9cd6

  Copy full SHA for e2c9cd6

• Avoid generating orphan ToJSON instances and using Given

  glguy

  committed
  b59adb9

  Copy full SHA for b59adb9

• refine jsonexport instances

  glguy

  committed
  65ae7dd

  Copy full SHA for 65ae7dd

• Document JSONExport

  glguy

  committed
  931d802

  Copy full SHA for 931d802

Commits on Jul 30, 2021

• Remove need for passing undefined

  glguy

  committed
  2ad2225

  Copy full SHA for 2ad2225

• JSONExport support for PermImpls

  glguy

  committed
  ce3313b

  Copy full SHA for ce3313b

Commits on Aug 12, 2021

• export entrypoint and caller ID information

  

  Karl Smeltzer

  committed
  df114c1

  Copy full SHA for df114c1

• cleanup imports, 80 char columns

  

  Karl Smeltzer

  committed
  8875708

  Copy full SHA for 8875708

• heapster: export function name for IDE

  

  Karl Smeltzer

  committed
  5f12cc4

  Copy full SHA for 5f12cc4

Commits on Aug 19, 2021

• heapster-saw: LogEntry with names and structure

  glguy

  committed
  cb7c57c

  Copy full SHA for cb7c57c

Commits on Aug 20, 2021

• Incorporate names from bindings in JsonExport

  glguy

  committed
  e768f1f

  Copy full SHA for e768f1f

• Merge remote-tracking branch 'origin/master' into heapster-ide-info

  glguy

  committed
  f60affd

  Copy full SHA for f60affd

Commits on Aug 23, 2021

• Update PPInfo while exporting

  glguy

  committed
  51665d7

  Copy full SHA for 51665d7

Commits on Aug 27, 2021

• checkpoint

  glguy

  committed
  dc70b93

  Copy full SHA for dc70b93

• Use types to generate names for pretty permissions where possible

  glguy

  committed
  f0c7747

  Copy full SHA for f0c7747

Commits on Feb 3, 2023

• Merge branch 'master' into heapster-ide-info

  scuellar

  committed
  45380a5

  Copy full SHA for 45380a5

• WIP: fixing errors introduced by the merge.

  scuellar

  committed
  6170858

  Copy full SHA for 6170858

Commits on Feb 6, 2023

• got SAW to compile after the latest merge of master

  

  Eddy Westbrook

  committed
  7694e2f

  Copy full SHA for 7694e2f

Commits on Feb 7, 2023

• Merge branch 'master' into heapster-ide-info

  

  Eddy Westbrook

  committed
  009caf6

  Copy full SHA for 009caf6

• Merge branch 'master' into heapster-ide-info

  

  Eddy Westbrook

  committed
  8ac9eb5

  Copy full SHA for 8ac9eb5

Commits on Feb 13, 2023

• Updtate deps

  scuellar

  committed
  bb9c52d

  Copy full SHA for bb9c52d

• Merge branch 'master' into heapster-ide-info

  scuellar

  committed
  d0fe08e

  Copy full SHA for d0fe08e

Commits on Feb 16, 2023

• update proofs xor

  scuellar

  committed
  10aacd5

  Copy full SHA for 10aacd5

• Fix xor proofs

  scuellar

  committed
  1a6a03d

  Copy full SHA for 1a6a03d

• Add a file with generlalized tactics and definitions

  scuellar

  committed
  b85f7b7

  Copy full SHA for b85f7b7

• Quick fix.

  scuellar

  committed
  c19c2ae

  Copy full SHA for c19c2ae

Commits on Feb 17, 2023

• BROKEN: c_data_proofs.v is broken. pushing to get assitance.

  scuellar

  committed
  4f04499

  Copy full SHA for 4f04499

• One more example fixed, more powerful automation to support it.

  scuellar

  committed
  2cadcbf

  Copy full SHA for 2cadcbf

Commits on Feb 21, 2023

• Updating a couple more examples and some automation.

  scuellar

  committed
  2cbf50d

  Copy full SHA for 2cbf50d

• Small clean

  scuellar

  committed
  3d76821

  Copy full SHA for 3d76821

Commits on Feb 28, 2023

• bumping the cryptol submodule to match master

  

  Eddy Westbrook

  committed
  dd69d30

  Copy full SHA for dd69d30

Commits on Mar 1, 2023

• moved nuMatching and Liftable instances to the top of the file in NamedMb.hs, to help with GHC 9 support

  

  Eddy Westbrook

  committed
  dbc3ccf

  Copy full SHA for dbc3ccf

• GHC 9 fixes

  

  Eddy Westbrook

  committed
  1310346

  Copy full SHA for 1310346

• renamed the Mb' datatype to the more accessible name NamedMb, and changed the names of all of its operationsto use 'Named' as a suffix instead of just using a prime

  

  Eddy Westbrook

  committed
  599cf2a

  Copy full SHA for 599cf2a

• Fix the tutorial proofs.

  scuellar

  committed
  856e49b

  Copy full SHA for 856e49b

• Update the tutorial text

  scuellar

  committed
  7d53a24

  Copy full SHA for 7d53a24

• Merge branch 'heapster-ide-info' into Fix-Examples-After-EnTree

  scuellar

  committed
  defedde

  Copy full SHA for defedde

Commits on Mar 2, 2023

• Merge branch 'master' into Fix-Examples-After-EnTree

  scuellar

  authored
  013f9f9

  Copy full SHA for 013f9f9

Commits on Mar 7, 2023

• Update heapster-saw/doc/tutorial/tutorial.md

  Show description for 42981b1
  

  scuellar

  and

  RyanGlScott

  authored
  42981b1

  Copy full SHA for 42981b1

• Update heapster-saw/doc/tutorial/tutorial.md

  Show description for b7ffbf3
  

  scuellar

  and

  RyanGlScott

  authored
  b7ffbf3

  Copy full SHA for b7ffbf3

• Update heapster-saw/doc/tutorial/tutorial.md

  Show description for 45c6fcf
  

  scuellar

  and

  RyanGlScott

  authored
  45c6fcf

  Copy full SHA for 45c6fcf

• Update heapster-saw/doc/tutorial/tutorial.md

  Show description for 5615ae1
  

  scuellar

  and

  RyanGlScott

  authored
  5615ae1

  Copy full SHA for 5615ae1

• simple changes after review.

  scuellar

  committed
  7a74d26

  Copy full SHA for 7a74d26

• Merge branch 'Fix-Examples-After-EnTree' of https://github.com/GaloisInc/saw-script into Fix-Examples-After-EnTree

  scuellar

  committed
  9e538c7

  Copy full SHA for 9e538c7