Code

Call stacks#995

Code

Merged

robdockins merged 27 commits intomasterGaloisInc/cryptol:masterfrom call-stackGaloisInc/cryptol:call-stackCopy head branch name to clipboardDec 9, 2020

+1,947-1,623

Commits

Commits on Dec 1, 2020

• Retain source position annotations from the parsed AST

  Show description for d40d6b4
  robdockins

  committed
  d40d6b4

  Copy full SHA for d40d6b4

• Remove instances of immediately-nested location information annotations.

  robdockins

  committed
  4454a1e

  Copy full SHA for 4454a1e

• Get better output from displayException when throwing EvalError.

  robdockins

  committed
  744fcfd

  Copy full SHA for 744fcfd

• Refactor how primitives are represented. We invent a lightweight syntax

  Show description for ef442be
  robdockins

  committed
  ef442be

  Copy full SHA for ef442be

• Add source-location tracking when calling primitives.

  Show description for 3698051
  robdockins

  committed
  3698051

  Copy full SHA for 3698051

• Handle WordToWide exceptions along with the other runtime exception

  Show description for d7ade02
  robdockins

  committed
  d7ade02

  Copy full SHA for d7ade02

• Add line number counting for batch mode and interactive

  Show description for 0aeb053
  robdockins

  committed
  0aeb053

  Copy full SHA for 0aeb053

• When safey violations are found via :safe or :prove, run

  Show description for 80b558a
  robdockins

  committed
  80b558a

  Copy full SHA for 80b558a

• Fix test golden output: runtime errors now print source locations.

  robdockins

  committed
  5c116e2

  Copy full SHA for 5c116e2

• remove some stray code

  robdockins

  committed
  81ca04f

  Copy full SHA for 81ca04f

• Improve source location tracking for <<loop>> errors

  robdockins

  committed
  eaf3746

  Copy full SHA for eaf3746

• Remove the mostly-unused message argument to sDelay

  robdockins

  committed
  553cbad

  Copy full SHA for 553cbad

Commits on Dec 3, 2020

• Add support for call stacks to the Cryptol interpreter.

  Show description for d0f39d1
  robdockins

  committed
  d0f39d1

  Copy full SHA for d0f39d1

Commits on Dec 6, 2020

• Update test suite with backtraces

  robdockins

  committed
  b635a51

  Copy full SHA for b635a51

Commits on Dec 7, 2020

• Remove the Range argument from most backend functions and

  Show description for fe7c458
  robdockins

  committed
  fe7c458

  Copy full SHA for fe7c458

• Make sure that error properly tracks the call stack

  robdockins

  committed
  899b433

  Copy full SHA for 899b433

• Don't print trivial position information

  robdockins

  committed
  ec1ce3c

  Copy full SHA for ec1ce3c

• Add range information for auto-generated errors when

  Show description for d60b4f0
  robdockins

  committed
  d60b4f0

  Copy full SHA for d60b4f0

• Updates to test results

  robdockins

  committed
  cec83cc

  Copy full SHA for cec83cc

• squash a warning

  robdockins

  committed
  bdfefd5

  Copy full SHA for bdfefd5

• Be more precise about propigating call stacks in a few places

  robdockins

  committed
  f533b23

  Copy full SHA for f533b23

• Add comments and minor cleanups

  robdockins

  committed
  105466b

  Copy full SHA for 105466b

Commits on Dec 9, 2020

• Add a new --no-call-stacks command line option that disables

  Show description for 1ae651a
  robdockins

  committed
  1ae651a

  Copy full SHA for 1ae651a

• Introduce a record datatype for the inputs to module commands.

  Show description for 3d117e4
  robdockins

  committed
  3d117e4

  Copy full SHA for 3d117e4

• update CHANGES.md

  robdockins

  committed
  61f4dc0

  Copy full SHA for 61f4dc0

• Add a sWithCallStack method to capure a common pattern. Minor cleanups.

  robdockins

  committed
  b5d66ff

  Copy full SHA for b5d66ff

• Minor improvements to range tracking

  robdockins

  committed
  b273e6d

  Copy full SHA for b273e6d