GaloisInc/cryptol-compiler issues and pull requests

#51 - Config file not found

Issue - State: open - Opened by jeremy-rutman 8 months ago

#50 - Add more asserts to generated code

Issue - State: open - Opened by yav 8 months ago
Labels: enhancement, feature

#49 - Support for the `prime` constraint

Issue - State: open - Opened by yav 8 months ago
Labels: feature

#48 - Add support for `Integer`

Issue - State: open - Opened by yav 8 months ago
Labels: enhancement, feature

#47 - Support for zero-ing values

Issue - State: open - Opened by yav 8 months ago - 1 comment
Labels: feature, design

#46 - Convert `property` declarations to Rust tests

Issue - State: open - Opened by yav 8 months ago
Labels: feature

#45 - Support different naming conventions in the generated code.

Issue - State: open - Opened by yav 8 months ago
Labels: enhancement, design

#44 - Representation of records

Issue - State: open - Opened by yav 8 months ago
Labels: feature, design

#43 - Add support for record updates

Issue - State: open - Opened by yav 8 months ago
Labels: feature

#42 - Feature request - C compiler

Issue - State: open - Opened by jeremy-rutman 9 months ago - 10 comments

#41 - Size of numeric types

Pull Request - State: open - Opened by yav 9 months ago - 2 comments

#40 - `rts-rust`: Add more trait `impl`s for tuples

Issue - State: open - Opened by RyanGlScott 9 months ago
Labels: enhancement, Rust RTS

#39 - Panic when compiling recursive function

Issue - State: open - Opened by RyanGlScott 9 months ago - 1 comment
Labels: bug

#38 - Support `foldl`

Issue - State: open - Opened by RyanGlScott 9 months ago
Labels: primitive

#37 - Utilize information about sizes of numeric types in the translator

Issue - State: open - Opened by yav 9 months ago
Labels: bug, Cryptol to IR

#36 - Missing reference when passing large sizes

Issue - State: open - Opened by yav 9 months ago
Labels: bug, IR to Rust

#35 - Allow `Z`-related tests to fail

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

#34 - Add support for `Z` types

Issue - State: open - Opened by RyanGlScott 9 months ago
Labels: feature

#33 - Update to current `cryptol`

Issue - State: closed - Opened by yav 9 months ago

#32 - Add basic `cargo-deny` check in CI

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

#31 - CI: Run `cargo-deny` on the Rust RTS

Issue - State: closed - Opened by RyanGlScott 9 months ago

#30 - Failing CI

Issue - State: closed - Opened by RyanGlScott 10 months ago - 1 comment
Labels: bug

#29 - Add Dockerfile

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

#28 - Add `Base` instance for `()`

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

#27 - Incorrect compilation of large sizes

Issue - State: open - Opened by yav 12 months ago - 1 comment
Labels: bug

#26 - Cached coercions

Issue - State: open - Opened by yav 12 months ago
Labels: enhancement

#25 - Borrowed locals

Issue - State: open - Opened by yav 12 months ago
Labels: enhancement

#24 - Lenghts of streams

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

#23 - Stream/iterators and polymorphism

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

#22 - implement primitive: `!` (indexing)

Issue - State: closed - Opened by m10f about 1 year ago
Labels: primitive

#21 - implement primitive: IR::Tuple

Issue - State: closed - Opened by m10f about 1 year ago
Labels: primitive

#20 - Specializer is missing constraint on size type.

Issue - State: closed - Opened by yav about 1 year ago - 1 comment
Labels: bug, Cryptol to IR

#19 - Implement operations on sizes

Issue - State: closed - Opened by yav about 1 year ago
Labels: IR to Rust, Rust RTS

#18 - Remove infinite case from computed sizes in IR

Issue - State: closed - Opened by yav about 1 year ago
Labels: enhancement, Cryptol to IR

#17 - Eta expand functions

Issue - State: closed - Opened by yav about 1 year ago
Labels: Cryptol to IR

#16 - Add support for list selectors

Issue - State: closed - Opened by yav about 1 year ago
Labels: Cryptol to IR, feature

#15 - Create initial tests for the compiler

Issue - State: closed - Opened by andrew-bivin about 1 year ago
Labels: feature

#14 - Add further support for recursive stream equations

Issue - State: open - Opened by andrew-bivin about 1 year ago
Labels: Cryptol to IR, IR to Rust, nice to have

#13 - Generate annotations and comments in generated Rust code

Issue - State: open - Opened by andrew-bivin about 1 year ago - 1 comment
Labels: IR to Rust, nice to have

#12 - Choose representation of streams in Rust code

Issue - State: open - Opened by yav about 1 year ago
Labels: IR to Rust

#11 - Generate type adapaters on representation mismatch

Issue - State: open - Opened by yav about 1 year ago
Labels: IR to Rust, nice to have

#10 - Implement the Rust runtime system

Issue - State: closed - Opened by yav about 1 year ago
Labels: Rust RTS, feature

#9 - Add a way for users to control the representation of sequences in the generated code

Issue - State: open - Opened by yav about 1 year ago
Labels: Cryptol, feature, nice to have

#8 - Sequence representation inference

Issue - State: closed - Opened by yav about 1 year ago
Labels: Cryptol to IR, feature

#7 - Packaging of single module application for Version 1

Issue - State: closed - Opened by yav about 1 year ago
Labels: IR to Rust, feature

#6 - Report locations on error

Issue - State: open - Opened by yav about 1 year ago - 2 comments
Labels: enhancement, Cryptol to IR

#5 - Improve performance of the Cryptol-IR Translator

Issue - State: open - Opened by yav over 1 year ago - 2 comments
Labels: enhancement, Cryptol to IR, nice to have

#4 - Improve performance of top-level constants vs. 0 arity functions

Issue - State: open - Opened by yav over 1 year ago
Labels: enhancement, Cryptol to IR, IR to Rust, nice to have

#3 - Add support for compilation of recursive functions

Issue - State: open - Opened by yav over 1 year ago - 1 comment
Labels: enhancement, Cryptol to IR, IR to Rust, nice to have

#2 - Add support for most common recursive stream equations

Issue - State: closed - Opened by yav over 1 year ago
Labels: enhancement, Cryptol to IR, IR to Rust

#1 - Support for `newtypes`

Issue - State: open - Opened by yav over 1 year ago - 1 comment
Labels: enhancement, Cryptol to IR

GitHub / GaloisInc/cryptol-compiler issues and pull requests