GaloisInc/cryptol issues and pull requests

#1588 - Sum types

Issue - State: closed - Opened by RyanGlScott 8 months ago - 21 comments
Labels: feature request, language, design needed, enums

#1587 - Deriving instances for newtypes and enums

Issue - State: open - Opened by qsctr 8 months ago - 2 comments
Labels: feature request, language, enums

#1586 - CI: Don't run `poetry update`

Pull Request - State: closed - Opened by RyanGlScott 8 months ago

#1585 - Fixes #1584

Pull Request - State: closed - Opened by yav 8 months ago

#1584 - Messed up size accounting panic

Issue - State: closed - Opened by yav 8 months ago - 1 comment
Labels: bug

#1583 - Bump urllib3 from 1.26.17 to 1.26.18 in /cryptol-remote-api/python

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#1582 - Support for parameterized interfaces (interface functors)

Issue - State: open - Opened by yav 9 months ago
Labels: feature request, parameterized modules

#1581 - Impoting interfaces from functors

Issue - State: open - Opened by yav 9 months ago - 1 comment
Labels: feature request, parameterized modules

#1580 - Always show foreign dependencies in `file-deps`, and whether or not they exist on disk

Pull Request - State: closed - Opened by qsctr 9 months ago
Labels: command-line-repl, remote-api, FFI

#1579 - Respect `VWord`/`VSeq` invariants in `parmap` implementation

Pull Request - State: closed - Opened by RyanGlScott 9 months ago - 1 comment

#1578 - Use of parmap results in "not a word" error

Issue - State: closed - Opened by jpziegler 9 months ago - 1 comment
Labels: bug

#1577 - Bump urllib3 from 1.26.14 to 1.26.17 in /cryptol-remote-api/python

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#1576 - [New module system] `True` type constraint of interface field in functor instance signature not simplified to monomorphic for `:prove`

Issue - State: open - Opened by WeeknightMVP 9 months ago
Labels: bug, typechecker, parameterized modules

#1575 - Fix copyright date in reference manual

Issue - State: open - Opened by qsctr 9 months ago
Labels: docs

#1574 - `foreign` function analysis?

Issue - State: open - Opened by WeeknightMVP 10 months ago - 2 comments
Labels: feature request, command-line-repl, remote-api, FFI

#1573 - Collect free variables from `Type` field of `EPropGuards` in `FreeVars Expr` instance

Pull Request - State: closed - Opened by qsctr 10 months ago - 1 comment
Labels: type-guards

#1572 - Support building with GHC 9.6

Pull Request - State: closed - Opened by RyanGlScott 10 months ago

#1571 - Type Inference for Structural Operators Over `Ring`

Issue - State: closed - Opened by WeeknightMVP 10 months ago - 3 comments

#1570 - Apply `apSubst` to `Type` field of `EPropGuards` in `TVars` instance for `Expr`

Pull Request - State: closed - Opened by qsctr 10 months ago

#1569 - Incorrect `EPropGuards` case in `TVars` instance for `Expr`

Issue - State: closed - Opened by qsctr 10 months ago
Labels: bug, parameterized modules, type-guards

#1568 - Fixes for handling `foreign` functions

Pull Request - State: closed - Opened by qsctr 11 months ago - 1 comment

#1567 - Panic on loading `foreign` declarations with recursive cryptol implementations

Issue - State: closed - Opened by qsctr 11 months ago
Labels: bug

#1566 - Check for foreign functions in top-level functor

Issue - State: closed - Opened by qsctr 11 months ago
Labels: bug, parameterized modules, FFI

#1565 - Allow cryptol implementation of foreign functions

Pull Request - State: closed - Opened by qsctr 11 months ago
Labels: language, FFI

#1564 - Allow building with `what4-1.5`

Pull Request - State: closed - Opened by RyanGlScott 11 months ago

#1563 - `type constraint` error for out-of-order `prime` subterm multiplicands

Issue - State: open - Opened by WeeknightMVP 11 months ago - 1 comment

#1562 - Interface type synomym shadowing

Issue - State: closed - Opened by WeeknightMVP 11 months ago - 1 comment
Labels: bug

#1561 - Type synonyms with same name in distinct interface imports getting confused when instantiating functors

Issue - State: closed - Opened by qsctr 11 months ago
Labels: bug, parameterized modules

#1560 - The error messages have gotten worse

Issue - State: open - Opened by lrbrandt 11 months ago
Labels: low-hanging fruit, parameterized modules, UX

#1559 - Make names in scope in functors accessible when their instantiations are loaded at the REPL

Pull Request - State: closed - Opened by qsctr 11 months ago - 3 comments
Labels: parameterized modules, command-line-repl

#1558 - RefMan: document that the FFI expects pure functions

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#1557 - Changes that hopefully fix #1552.

Pull Request - State: closed - Opened by yav 12 months ago

#1556 - Same internal name used for functor parameters and their instantiations

Issue - State: closed - Opened by qsctr 12 months ago
Labels: bug, parameterized modules

#1552 - Panic - Messed up size accounting

Issue - State: closed - Opened by weaversa 12 months ago - 3 comments
Labels: bug

#1537 - Problems with recursion and numeric constraints

Issue - State: closed - Opened by ramsdell about 1 year ago - 5 comments
Labels: typechecker

#1533 - Seemingly unnecessary (and weird) local type constraint

Issue - State: open - Opened by weaversa about 1 year ago - 1 comment
Labels: bug, typechecker

#1532 - Add sorting to version/PR on generated documents index.

Pull Request - State: closed - Opened by kquick about 1 year ago

#1529 - Enable Github CI build of documentation for all tags and PRs.

Pull Request - State: closed - Opened by kquick about 1 year ago - 1 comment

#1526 - Cryptol Projects

Pull Request - State: open - Opened by qsctr about 1 year ago

#1521 - Document the classes that inhabit the various overloading classes.

Pull Request - State: closed - Opened by yav about 1 year ago

#1519 - Python: Use poetry.core.masonry.api as build-backend

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#1518 - CI: Upgrade Poetry and Python version

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#1517 - Make Cryptol.Utils.Types safe

Pull Request - State: open - Opened by pennyannn about 1 year ago - 2 comments

#1516 - Correct a typo in NamingEnv.hs

Pull Request - State: closed - Opened by felixonmars about 1 year ago

#1515 - [Remote API] Missing `Type` constructors?

Issue - State: open - Opened by m-yac about 1 year ago - 7 comments
Labels: remote-api

#1514 - `fraction`'s parameters should be constraint

Issue - State: closed - Opened by yav about 1 year ago - 1 comment

#1513 - Support `sbv-10.*`

Issue - State: open - Opened by RyanGlScott about 1 year ago
Labels: dependencies

#1512 - Add more info to `names()` in Python API

Pull Request - State: closed - Opened by m-yac about 1 year ago - 2 comments

#1511 - [New module system] `newtype` out of order crash

Issue - State: open - Opened by WeeknightMVP over 1 year ago

#1510 - [New module system] `(^^)` crashes on unqualified exponent in inter-module function instantiation

Issue - State: closed - Opened by WeeknightMVP over 1 year ago

#1509 - Functors merge doc cleanup

Pull Request - State: closed - Opened by Isweet over 1 year ago

#1508 - `cryptol-remote-api` — Add flag(s) to feature-gate effectful API endpoints

Issue - State: open - Opened by Isweet over 1 year ago

#1507 - Check floats tests many duplicates

Issue - State: open - Opened by ramsdell over 1 year ago - 1 comment
Labels: low-hanging fruit

#1506 - `cryptol-remote-api`: Restore the ability to build with `vector-0.12.*`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#1505 - Document rust foreign functions

Issue - State: open - Opened by ramsdell over 1 year ago

#1504 - Add CVC5 support

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 5 comments

#1503 - Support CVC5

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: feature request

#1502 - Strips whitespace to be more compatible with pandoc output

Pull Request - State: closed - Opened by benjaminselfridge over 1 year ago - 2 comments

#1501 - Literate cryptol parser not permissive enough

Issue - State: closed - Opened by benjaminselfridge over 1 year ago - 9 comments
Labels: feature request, docs

#1500 - Literal and LiteralLessThan both needed

Issue - State: open - Opened by weaversa over 1 year ago - 4 comments
Labels: language

#1499 - Support building with GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#1498 - Don't run properties in uninstantiated functors

Issue - State: open - Opened by yav over 1 year ago

#1497 - Better error messages when instantiating a module

Issue - State: closed - Opened by yav over 1 year ago
Labels: typechecker, parameterized modules, UX

#1496 - [New module system] [Remote API] `includes` field of `CryptolConnection.file_deps` instead returns `foreign` dependencies

Issue - State: closed - Opened by WeeknightMVP over 1 year ago - 2 comments

GitHub / GaloisInc/cryptol issues and pull requests