Code

Debugger improvements#884

Code

Merged

marcoeilers merged 5 commits intomasterviperproject/silicon:masterfrom meilers_debugger_updateviperproject/silicon:meilers_debugger_updateCopy head branch name to clipboardDec 5, 2024

+142-131

Commits

Commits on Dec 4, 2024

• Better names for old labels, value info for basic chunks, removed duplicate string representation of debug information

  marcoeilers

  committed
  b20c9a5

• Adding an option to print the term representation of store, heap, assumptions and branch conditions

  marcoeilers

  committed
  0a24eac

• Merge branch 'master' of https://github.com/viperproject/silicon

  marcoeilers

  committed
  140125d

• Merge branch 'master' into meilers_debugger_update

  marcoeilers

  committed
  b4ad14d

Commits on Dec 5, 2024

• Fixed label for unknown positions, added javadoc

  marcoeilers

  committed
  297af44