Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 16, 2023

• Merge branch 'GaloisInc:master' into master

  dwest-galois

  authored
  c8b2966

  Copy full SHA for c8b2966

Commits on Dec 17, 2022

• Teach online what4 backend about smtFile option (GaloisInc#1476)

  Show description for 953673b
  RyanGlScott

  authored
  953673b

  Copy full SHA for 953673b

Commits on Dec 12, 2022

• Bump certifi from 2021.10.8 to 2022.12.7 in /cryptol-remote-api/python (GaloisInc#1478)

  Show description for df762f1
  dependabot[bot]

  authored
  df762f1

  Copy full SHA for df762f1

Commits on Nov 29, 2022

• adding a modeline

  dwest-galois

  committed
  0ec0d57

  Copy full SHA for 0ec0d57

• initial ci test as a baseline

  dwest-galois

  committed
  0d48df2

  Copy full SHA for 0d48df2

Commits on Nov 28, 2022

• Merge pull request GaloisInc#1474 from GaloisInc/python-example

  Show description for bf17c70
  yav

  authored
  bf17c70

  Copy full SHA for bf17c70

Commits on Nov 23, 2022

• Formatting, typos, and add a link to the README

  yav

  committed
  60c7fd0

  Copy full SHA for 60c7fd0

• Add an example on how to get started with the Python API

  yav

  committed
  261883e

  Copy full SHA for 261883e

Commits on Nov 22, 2022

• Merge pull request GaloisInc#1468 from GaloisInc/T1465

  Show description for 68a0ff3
  yav

  authored
  68a0ff3

  Copy full SHA for 68a0ff3

Commits on Nov 21, 2022

• Fix test

  yav

  committed
  eaf7baa

  Copy full SHA for eaf7baa

• Fix location

  yav

  committed
  61d2153

  Copy full SHA for 61d2153

• Update test with new location

  yav

  committed
  555615e

  Copy full SHA for 555615e

• Fix a test

  yav

  committed
  0948f49

  Copy full SHA for 0948f49

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

  yav

  committed
  aa8969d

  Copy full SHA for aa8969d

• Fixup line numbers in docs and update CHANGES

  yav

  committed
  11c0efe

  Copy full SHA for 11c0efe

Commits on Nov 17, 2022

• Remove accidentally commited change

  yav

  committed
  ba4a9d8

  Copy full SHA for ba4a9d8

• Improve the documentation of fromInteger.

  Show description for 3bbfd45
  yav

  committed
  3bbfd45

  Copy full SHA for 3bbfd45

Commits on Nov 16, 2022

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

  Show description for 9f94adc
  yav

  authored
  9f94adc

  Copy full SHA for 9f94adc

Commits on Nov 15, 2022

• Preserve previous Random API

  m10f

  committed
  3b9cea3

  Copy full SHA for 3b9cea3

Commits on Nov 14, 2022

• Add handling for seedable RNG in cryptol REPL

  m10f

  committed
  09afc2f

  Copy full SHA for 09afc2f

Commits on Oct 26, 2022

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

  yav

  committed
  29a63a0

  Copy full SHA for 29a63a0

• Fix name of syntax highlight file.

  yav

  committed
  d5fb4d4

  Copy full SHA for d5fb4d4

• Update CHANGES

  yav

  committed
  5173c8e

  Copy full SHA for 5173c8e

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

  Show description for 6de5c49
  yav

  authored
  6de5c49

  Copy full SHA for 6de5c49

• Add a syntax highlighter for vim

  yav

  committed
  d0d854c

  Copy full SHA for d0d854c

• Remove unused or repeated cases

  yav

  committed
  49540a1

  Copy full SHA for 49540a1

Commits on Oct 13, 2022

• Merge pull request GaloisInc#1454 from GaloisInc/T1451

  Show description for 31d30c1
  yav

  authored
  31d30c1

  Copy full SHA for 31d30c1

• Merge pull request GaloisInc#1453 from GaloisInc/T1452

  Show description for 882da81
  yav

  authored
  882da81

  Copy full SHA for 882da81

• Merge branch 'T1452' into T1451

  yav

  committed
  1aa1d2e

  Copy full SHA for 1aa1d2e

• Fix typo

  yav

  committed
  080b40b

  Copy full SHA for 080b40b

• Fix test

  yav

  committed
  d62f95f

  Copy full SHA for d62f95f

• Filter out really trivial goals, so we can see the actual interesting goals

  yav

  committed
  e72977e

  Copy full SHA for e72977e

• Don't use syntactic equality for numeric types, collect constraints instead

  Show description for 860b346
  yav

  committed
  860b346

  Copy full SHA for 860b346

• Pretty printing for Core Lint errors

  yav

  committed
  5c9b102

  Copy full SHA for 5c9b102

Commits on Oct 6, 2022

• Include one Ubuntu 20.04 configuration (GaloisInc#1447)

  Show description for 7e2613a
  RyanGlScott

  authored
  7e2613a

  Copy full SHA for 7e2613a

Pagination

Previous

Next