GaloisInc/cryptol issues and pull requests

#1459 - Functors iface tysyn

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

#1458 - [New module system] Using a parameter type on the REPL panics

Issue - State: closed - Opened by yav over 1 year ago
Labels: bug

#1457 - [New module system] Interfaces with definitions

Issue - State: closed - Opened by yav over 1 year ago - 2 comments
Labels: feature request, parameterized modules, language, design needed

#1456 - [New module system] editing interface files causes a panic

Issue - State: closed - Opened by yav over 1 year ago
Labels: bug

#1455 - [New module system] Cryptol Prelude not available when instantiating top-level modules

Issue - State: closed - Opened by yav over 1 year ago - 4 comments
Labels: parameterized modules, command-line-repl, UX, importing instantiations

#1454 - T1451

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

#1453 - Pretty printing for Core Lint errors

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

#1452 - Pretty print core lint errors

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

#1451 - Core lint notion of type equality too strict

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

#1450 - [New module system] Incorrect IR after module insantiation

Issue - State: closed - Opened by yav over 1 year ago - 2 comments
Labels: bug, importing instantiations

#1449 - Foreign imports don't seem to be able to access global type variables

Issue - State: closed - Opened by weaversa almost 2 years ago - 2 comments
Labels: maybe-fixed, parameterized modules

#1448 - ffi object file name and parameterized modules

Issue - State: closed - Opened by weaversa almost 2 years ago - 1 comment
Labels: maybe-fixed, parameterized modules

#1447 - Include one Ubuntu 20.04 configuration

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#1446 - [Remote API] `--max-occupancy` usage?

Issue - State: open - Opened by WeeknightMVP almost 2 years ago - 2 comments
Labels: remote-api

#1445 - Cryptol build fails on Centos 7

Issue - State: closed - Opened by podhrmic almost 2 years ago - 4 comments

#1444 - Interactions between functors and constaint guards

Issue - State: closed - Opened by yav almost 2 years ago
Labels: bug, parameterized modules, type-guards

#1443 - Add support for literat Cryptol with RST

Pull Request - State: closed - Opened by yav almost 2 years ago - 1 comment

#1442 - Only allow `foreign` declarations in a top-level module

Issue - State: closed - Opened by yav almost 2 years ago - 2 comments
Labels: FFI

#1441 - Add support for restructured text (.rst) code blocks

Issue - State: closed - Opened by podhrmic almost 2 years ago - 5 comments

#1440 - [New module system] Attempt to `import` nonexistent `interface submodule` crashes

Issue - State: closed - Opened by WeeknightMVP almost 2 years ago
Labels: bug, parameterized modules

#1439 - [New module system] Submodule with structural assignment hangs while loading

Issue - State: closed - Opened by WeeknightMVP almost 2 years ago - 1 comment
Labels: bug, parameterized modules

#1438 - Support FFI on Windows

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago - 1 comment

#1432 - Support `Integer`, `Z`, and `Rational` in FFI

Pull Request - State: closed - Opened by qsctr almost 2 years ago
Labels: language, FFI

#1431 - Add FFI presentation slides

Pull Request - State: closed - Opened by qsctr almost 2 years ago

#1429 - Generate C header files from `foreign` declarations

Pull Request - State: closed - Opened by qsctr almost 2 years ago - 1 comment
Labels: FFI

#1428 - Using result of `:readByteArray` on large file is slow

Issue - State: open - Opened by qsctr almost 2 years ago - 1 comment
Labels: performance

#1422 - Update CHANGES.md with language changes

Pull Request - State: closed - Opened by qsctr almost 2 years ago - 1 comment

#1420 - Add `:time` command

Pull Request - State: closed - Opened by qsctr almost 2 years ago - 1 comment
Labels: command-line-repl

#1416 - AES-NI version of SuiteB module using FFI

Pull Request - State: closed - Opened by qsctr almost 2 years ago
Labels: FFI

#1406 - Support nested sequences in FFI

Pull Request - State: closed - Opened by qsctr almost 2 years ago
Labels: language, FFI

#1401 - Print message in REPL when loading dynamic library for FFI

Pull Request - State: closed - Opened by qsctr almost 2 years ago
Labels: FFI

#1397 - Cryptol implementation of `foreign` functions

Issue - State: closed - Opened by qsctr almost 2 years ago - 1 comment
Labels: language, FFI

#1395 - Arbitrary precision types in FFI

Issue - State: closed - Opened by qsctr almost 2 years ago - 1 comment
Labels: language, FFI

#1394 - Windows support for FFI

Issue - State: closed - Opened by qsctr almost 2 years ago
Labels: windows, FFI

#1388 - Add a primitive for `arrayEq`

Pull Request - State: closed - Opened by robdockins almost 2 years ago

#1380 - Numeric Constraint Guards

Pull Request - State: closed - Opened by rybla almost 2 years ago - 20 comments
Labels: language

#1376 - Foreign Function Interface

Pull Request - State: closed - Opened by qsctr about 2 years ago
Labels: FFI

#1363 - New module system

Pull Request - State: closed - Opened by yav about 2 years ago - 11 comments

#1362 - Always embed `git` commit into `--version` output

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago - 1 comment

#1358 - Only include bindist-related files in `cryptol.msi`

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago

#1353 - `cryptol --version` doesn't show git commit

Issue - State: closed - Opened by RyanGlScott about 2 years ago - 5 comments
Labels: bug

#1335 - Remote API for Python: Missing `typing-extensions` dependency in `pyproject.toml`

Issue - State: open - Opened by WeeknightMVP over 2 years ago - 6 comments
Labels: remote-api

#1334 - Cryptol projects

Issue - State: open - Opened by robdockins over 2 years ago - 3 comments
Labels: feature request, design needed

#1332 - Add a way to list the file dependencies of a Cryptol module

Issue - State: open - Opened by yav over 2 years ago
Labels: feature request

#1331 - Call `removeIncludes` very early---it is now part of parsing.

Pull Request - State: closed - Opened by yav over 2 years ago

#1326 - Show some context on errors arising from unification failures.

Pull Request - State: closed - Opened by yav over 2 years ago

#1323 - T1321

Pull Request - State: closed - Opened by yav over 2 years ago

#1319 - Make `:module` work more like `:load`.

Pull Request - State: closed - Opened by yav over 2 years ago

#1302 - A take at updating Cryptol's sort function from insertion sort to merge sort

Pull Request - State: closed - Opened by weaversa over 2 years ago - 11 comments

#1301 - T1299

Pull Request - State: closed - Opened by yav over 2 years ago

#1296 - Prepare for 2.12 release

Pull Request - State: closed - Opened by atomb almost 3 years ago

#1292 - Tweaks to line breaking in pretty printer.

Pull Request - State: open - Opened by brianhuffman almost 3 years ago - 1 comment

#1287 - Add some functionality comments to ci.sh

Pull Request - State: closed - Opened by kquick almost 3 years ago

#1281 - Add `toSignedInteger` primitive.

Pull Request - State: closed - Opened by brianhuffman almost 3 years ago - 2 comments

#1276 - Prettyprinter fixes

Pull Request - State: closed - Opened by brianhuffman almost 3 years ago

#1272 - [RPC] Synchronous, typed interface for Python client

Pull Request - State: closed - Opened by m-yac almost 3 years ago - 3 comments

#1271 - Build Docker images only on nightly runs

Pull Request - State: closed - Opened by atomb almost 3 years ago

#1263 - Prettyprinter

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#1257 - Update builds to reduce run time and flakiness

Pull Request - State: closed - Opened by atomb almost 3 years ago - 1 comment

#1255 - Add new declaration forms that can be parsed at the REPL

Pull Request - State: closed - Opened by robdockins almost 3 years ago - 5 comments

#1254 - Fix issue 1239

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#1252 - fastTypeOf fixes

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#1247 - Update Syntax.md

Pull Request - State: closed - Opened by weaversa almost 3 years ago

#1243 - Update documenetation with new enumeration forms

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#1237 - Module Parameters public or private?

Issue - State: closed - Opened by weaversa almost 3 years ago - 2 comments
Labels: parameterized modules

#1234 - What4 online

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#1229 - Add Dockerfile for building CentOS7 binaries

Pull Request - State: closed - Opened by atomb about 3 years ago

#1225 - Fixes #1167

Pull Request - State: closed - Opened by yav about 3 years ago - 2 comments

#1221 - What4 bump

Pull Request - State: closed - Opened by robdockins about 3 years ago

#1219 - Allow sbv 8.15 (#1205)

Pull Request - State: closed - Opened by lisanna-dettwyler about 3 years ago

#1214 - Disable windows RPC test in CI

Pull Request - State: closed - Opened by lisanna-dettwyler about 3 years ago

#1211 - fastTypeOf panic tweak

Pull Request - State: closed - Opened by benjaminselfridge about 3 years ago - 1 comment

#1205 - Allow sbv 8.15

Pull Request - State: closed - Opened by felixonmars about 3 years ago

#1202 - Defer `CallStack` computations by representing them as data constructors.

Pull Request - State: closed - Opened by brianhuffman about 3 years ago - 2 comments

#1193 - Sort function

Pull Request - State: closed - Opened by brianhuffman about 3 years ago - 1 comment

#1192 - Fix for issue 1191

Pull Request - State: closed - Opened by robdockins about 3 years ago

#1188 - Reference manual

Pull Request - State: closed - Opened by yav about 3 years ago

#1186 - Layout

Pull Request - State: closed - Opened by yav about 3 years ago

#1183 - Don't panic on ambig, so that we have a chance to report the error

Pull Request - State: closed - Opened by yav about 3 years ago

#1176 - Release process improvements

Pull Request - State: closed - Opened by lisanna-dettwyler about 3 years ago
Labels: build system

#1171 - T1169

Pull Request - State: closed - Opened by yav about 3 years ago

#1165 - Expose `modPathSplit` and `defaultSolverConfig` for downstream use

Pull Request - State: closed - Opened by robdockins about 3 years ago

#1158 - Reset the TC solver on CTRL^C

Pull Request - State: closed - Opened by robdockins about 3 years ago

#1156 - Remove our dependency on the `random` package

Pull Request - State: closed - Opened by robdockins about 3 years ago

#1154 - Add a new 'path' option to the REPL

Pull Request - State: closed - Opened by robdockins over 3 years ago - 1 comment

#1152 - Include REPL let bindings in the reference interpreter

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1150 - Update the instances regression test to include `LiteralLessThan`

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1149 - Teach the typechecker a bit more about exponents

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1136 - Word eval refactor

Pull Request - State: closed - Opened by robdockins over 3 years ago - 2 comments

#1128 - Persist solver, part 2

Pull Request - State: closed - Opened by robdockins over 3 years ago - 6 comments

#1123 - Prep CI for upcoming release

Pull Request - State: closed - Opened by lisanna-dettwyler over 3 years ago

#1121 - Update release notes for 2.11

Pull Request - State: closed - Opened by atomb over 3 years ago

#1108 - Don't use the `showFreeMin` floating-point printing mode

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1090 - Support calls to foreign functions

Issue - State: closed - Opened by atomb over 3 years ago - 17 comments
Labels: language, FFI

#1086 - chore: use rpc tests from galois-py-toolkit

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#1085 - Exclusive enumeration

Pull Request - State: closed - Opened by robdockins over 3 years ago - 4 comments

#1077 - NoPat refactor

Pull Request - State: closed - Opened by robdockins over 3 years ago - 3 comments

#1076 - Add some text to the <<loop>> error

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1075 - Persist solver

Pull Request - State: closed - Opened by robdockins over 3 years ago

#1073 - Rename the runtime-settable options to use a consistent style

Pull Request - State: closed - Opened by robdockins over 3 years ago

GitHub / GaloisInc/cryptol issues and pull requests