Code

Fixes #1167#1225

Code

Merged

robdockins merged 6 commits intomasterGaloisInc/cryptol:masterfrom T1167GaloisInc/cryptol:T1167Copy head branch name to clipboardJul 21, 2021

+37-15

Commits

Commits on Jul 21, 2021

• Fixes #1167

  Show description for 816523d
  

  yav

  authored and

  robdockins

  committed
  816523d

• Use atomicModifyRef to avoid races

  

  yav

  authored and

  robdockins

  committed
  befcb3a

• Update to require 0.9.7 which has the callback capability

  

  yav

  authored and

  robdockins

  committed
  0237a8d

• Add a counter for solver restarts

  Show description for 5af4377
  

  yav

  authored and

  robdockins

  committed
  5af4377

• Make the remote-api build

  

  yav

  authored and

  robdockins

  committed
  2234def

• Uniformly use atomicModifyIORef for changes to the REPL state.

  robdockins

  committed
  0699063