Code

File deps#1472

Code

Closed

yav wants to merge 26 commits intofunctors-mergeGaloisInc/cryptol:functors-mergefrom file-depsGaloisInc/cryptol:file-depsCopy head branch name to clipboard

+582-126

Commits

Commits on Oct 13, 2022

• Merge pull request #1453 from GaloisInc/T1452

  Show description for 882da81
  yav

  authored
  882da81

• Merge pull request #1454 from GaloisInc/T1451

  Show description for 31d30c1
  yav

  authored
  31d30c1

Commits on Oct 26, 2022

• Remove unused or repeated cases

  yav

  committed
  49540a1

• Add a syntax highlighter for vim

  yav

  committed
  d0d854c

• Merge pull request #1463 from GaloisInc/vim-syntax-highlight

  Show description for 6de5c49
  yav

  authored
  6de5c49

• Update CHANGES

  yav

  committed
  5173c8e

• Fix name of syntax highlight file.

  yav

  committed
  d5fb4d4

• Copy the syntax-highlight directory under share/cyrptol for installation

  yav

  committed
  29a63a0

Commits on Nov 14, 2022

• Add handling for seedable RNG in cryptol REPL

  m10f

  committed
  09afc2f

Commits on Nov 15, 2022

• Preserve previous Random API

  m10f

  committed
  3b9cea3

Commits on Nov 16, 2022

• Merge pull request #1467 from m10f/feature/dump-tests-seed

  Show description for 9f94adc
  yav

  authored
  9f94adc

Commits on Nov 17, 2022

• Improve the documentation of fromInteger.

  Show description for 3bbfd45
  yav

  committed
  3bbfd45

• Remove accidentally commited change

  yav

  committed
  ba4a9d8

Commits on Nov 21, 2022

• Fixup line numbers in docs and update CHANGES

  yav

  committed
  11c0efe

• Update CHANGES to mention set-seed and new-seed

  yav

  committed
  aa8969d

• Fix a test

  yav

  committed
  0948f49

• Update test with new location

  yav

  committed
  555615e

• Fix location

  yav

  committed
  61d2153

• Fix test

  yav

  committed
  eaf7baa

Commits on Nov 22, 2022

• Merge pull request #1468 from GaloisInc/T1465

  Show description for 68a0ff3
  yav

  authored
  68a0ff3

• Merge remote-tracking branch 'origin/master' into functors-merge

  yav

  committed
  fa8fa46

• Checkpoint: store include-ed files

  yav

  committed
  b6f744f

• Remove mImports from typechecked modules.

  Show description for fe00904
  yav

  committed
  fe00904

• Keep track of the files used by a module

  yav

  committed
  74ceb6b

• Group file related information together.

  Show description for ef8391f
  yav

  committed
  ef8391f

Commits on Nov 23, 2022

• Add a command to show dependencies in JSON

  Show description for 8416a91
  yav

  committed
  8416a91