Code

Heapster ide info#1821

Code

Merged

eddywestbrook merged 35 commits intomasterGaloisInc/saw-script:masterfrom heapster-ide-infoGaloisInc/saw-script:heapster-ide-infoCopy head branch name to clipboardMar 2, 2023

+1,267-219

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 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