Commits

Branch selector

 master

User selector

yav

Datepicker

All time

Commit History

Commits on Sep 17, 2024

• Merge pull request GaloisInc#1751 from GaloisInc/issue_1740

  Show description for b1bdfd0
  yav

  authored
  b1bdfd0

  Copy full SHA for b1bdfd0

• Fix typo.

  yav

  committed
  496de4c

  Copy full SHA for 496de4c

• Fix the remote API

  yav

  committed
  551cbc0

  Copy full SHA for 551cbc0

• Recover old behavior to panic if this is called with non-byte value.

  yav

  committed
  73c7e07

  Copy full SHA for 73c7e07

• Use Proxy instead of Maybe for passing types, as it is more conventional.

  yav

  committed
  d3b59c9

  Copy full SHA for d3b59c9

• Update CHANGES

  yav

  committed
  34f6f5b

  Copy full SHA for 34f6f5b

• Remove bitvectors width from the value tag.

  Show description for fd35162
  yav

  committed
  fd35162

  Copy full SHA for fd35162

Commits on Sep 4, 2024

• Merge pull request GaloisInc#1742 from GaloisInc/issue_1741

  Show description for c73d1d8
  yav

  authored
  c73d1d8

  Copy full SHA for c73d1d8

• Clarify comment

  yav

  committed
  3dafe2b

  Copy full SHA for 3dafe2b

• Update src/Cryptol/TypeCheck/SimpType.hs

  Show description for 5c4c598
  

  yav

  and

  RyanGlScott

  authored
  5c4c598

  Copy full SHA for 5c4c598

• Update src/Cryptol/TypeCheck/SimpType.hs

  Show description for b0003e7
  

  yav

  and

  RyanGlScott

  authored
  b0003e7

  Copy full SHA for b0003e7

Commits on Sep 3, 2024

• Add a comment.

  yav

  committed
  ffe79ce

  Copy full SHA for ffe79ce

• Simplify inf - x to inf

  yav

  committed
  2103ce3

  Copy full SHA for 2103ce3

Commits on Jul 3, 2024

• Merge pull request GaloisInc#1698 from GaloisInc/issue_1691_2

  Show description for 07bb442
  yav

  authored
  07bb442

  Copy full SHA for 07bb442

• Make fixes for 1691 work with more nested modules.

  yav

  committed
  d0a98a5

  Copy full SHA for d0a98a5

Commits on Jul 2, 2024

• Merge pull request GaloisInc#1692 from GaloisInc/issue_1691

  Show description for 623ea9b
  yav

  authored
  623ea9b

  Copy full SHA for 623ea9b

Commits on Jul 1, 2024

• Merge branch 'master' into issue_1691

  Show description for 128411e
  yav

  committed
  128411e

  Copy full SHA for 128411e

• Fix test for Windows.

  yav

  committed
  efa9dd1

  Copy full SHA for efa9dd1

• Update src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs

  Show description for 41dceb0
  

  yav

  and

  RyanGlScott

  authored
  41dceb0

  Copy full SHA for 41dceb0

• Update CHANGES.md

  Show description for bbd08f4
  

  yav

  and

  RyanGlScott

  authored
  bbd08f4

  Copy full SHA for bbd08f4

Commits on Jun 28, 2024

• Update CHANGES

  yav

  committed
  e55470c

  Copy full SHA for e55470c

• Add a test

  yav

  committed
  8464839

  Copy full SHA for 8464839

• Only add implicit imports for non-anonymous modules

  yav

  committed
  e98f4d6

  Copy full SHA for e98f4d6

• Fixes GaloisInc#1691 (and removes partial match warning)

  yav

  committed
  2c6ac78

  Copy full SHA for 2c6ac78

Commits on Jun 2, 2024

• Merge pull request GaloisInc#1678 from GaloisInc/issue_1490

  Show description for c6b4209
  yav

  authored
  c6b4209

  Copy full SHA for c6b4209

• More test fixes

  yav

  committed
  d6eed17

  Copy full SHA for d6eed17

• Update mingw test

  yav

  committed
  c77db36

  Copy full SHA for c77db36

• Fix darwin test

  yav

  committed
  a9f962a

  Copy full SHA for a9f962a

• Use Integer in head and last.

  Show description for 4f2cf7d
  yav

  committed
  4f2cf7d

  Copy full SHA for 4f2cf7d

Commits on Jun 1, 2024

• Merge pull request GaloisInc#1362 from GaloisInc/T1353

  Show description for 332e50c
  yav

  authored
  332e50c

  Copy full SHA for 332e50c

• Fix tests

  yav

  committed
  d599934

  Copy full SHA for d599934

• Merge pull request GaloisInc#1677 from GaloisInc/issue_1672

  Show description for 9a62f7c
  yav

  authored
  9a62f7c

  Copy full SHA for 9a62f7c

• Fixes GaloisInc#1490

  yav

  committed
  8f02c09

  Copy full SHA for 8f02c09

• Merge pull request GaloisInc#1676 from GaloisInc/T1663-roundAway-reference-eval

  Show description for 22d3277
  yav

  authored
  22d3277

  Copy full SHA for 22d3277

• Fixes GaloisInc#1672

  yav

  committed
  ca5c79c

  Copy full SHA for ca5c79c

Pagination

Previous

Next