heapster-saw: Export block entry-point and implication error information for IDE ingestion#1442

Open

glguy wants to merge 34 commits intomasterfrom glguy/heapster-ide-info

+1,395-316

Commits on Jun 28, 2021

add basic IDE logging, start error cleanup
Karl Smeltzer
committed
clean up additional implication errors
Karl Smeltzer
committed

Commits on Jun 29, 2021

add structure to stmt fail in line with impl fail
Karl Smeltzer
committed

Commits on Jul 7, 2021

redesign error message types, pipe through to log
Karl Smeltzer
committed

Commits on Jul 8, 2021

fix default heapster environments missing ioref
Karl Smeltzer
committed

Commits on Jul 9, 2021

carry more information through on most common implication error
Karl Smeltzer
committed
Merge branch 'heapster-ide-info' of github.com:GaloisInc/saw-script into heapster-ide-info
Karl Smeltzer
committed
remove Some from error constructor
Karl Smeltzer
committed

Commits on Jul 26, 2021

Merge branch 'master' into heapster-ide-info
glguy
committed

Commits on Jul 30, 2021

Commits on Aug 12, 2021

export entrypoint and caller ID information
Karl Smeltzer
committed
cleanup imports, 80 char columns
Karl Smeltzer
committed
heapster: export function name for IDE
Karl Smeltzer
committed

Commits on Aug 19, 2021

heapster-saw: LogEntry with names and structure
glguy
committed

Commits on Aug 20, 2021

Commits on Aug 23, 2021

Update PPInfo while exporting
glguy
committed

Commits on Aug 27, 2021

Commits on Aug 28, 2021

Checkpoint
glguy
committed
Checkpoint
glguy
committed

Commits on Aug 30, 2021

Update cabal file
glguy
committed
Merge branch 'master' into glguy/heapster-ide-info
Karl Smeltzer
committed