Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / aeneasverif/charon issues and pull requests

#543 - Use a later MIR

Issue - State: open - Opened by Nadrieril 8 days ago - 15 comments

#542 - Feature request: Retag statements

Issue - State: open - Opened by giltho 8 days ago - 2 comments

#541 - Add option to pretty-print existing llbc file

Pull Request - State: closed - Opened by Nadrieril 9 days ago

#540 - Don't translate provided methods that we don't use

Pull Request - State: closed - Opened by Nadrieril 10 days ago

#539 - Speedup `index_to_function_calls`

Pull Request - State: closed - Opened by Nadrieril 15 days ago

#538 - Uplift some passes to ullbc

Pull Request - State: closed - Opened by Nadrieril 15 days ago

#537 - Fix `merge_goto_chains`

Pull Request - State: closed - Opened by Nadrieril 16 days ago - 1 comment

#536 - Run transformation passes outside of rustc callbacks

Pull Request - State: closed - Opened by Nadrieril 16 days ago

#535 - Avoid quadratic behavior in `merge_goto_chains`

Pull Request - State: closed - Opened by Nadrieril 17 days ago

#534 - Bug: `--remove-associated-types` doesn't track quantified lifetimes

Issue - State: open - Opened by Nadrieril 18 days ago
Labels: C-bug

#532 - Transform associated types into type parameters

Pull Request - State: closed - Opened by Nadrieril 18 days ago - 2 comments

#531 - Bug: type aliases don't work with `--remove-associated-types`

Issue - State: open - Opened by Nadrieril 18 days ago
Labels: C-bug

#530 - Support method impls with weaker trait clauses

Issue - State: closed - Opened by Nadrieril 19 days ago - 1 comment
Labels: C-unsupported-language-feature

#530 - Support method impls with weaker trait clauses

Issue - State: closed - Opened by Nadrieril 19 days ago - 1 comment
Labels: C-unsupported-language-feature

#529 - Pin a rust-overlay revision

Pull Request - State: closed - Opened by Nadrieril 19 days ago

#528 - Update hax

Pull Request - State: closed - Opened by Nadrieril 19 days ago

#527 - Check that trait references are for the correct trait

Pull Request - State: closed - Opened by Nadrieril 22 days ago

#526 - Remove elaborated bounds from trait item bounds

Pull Request - State: closed - Opened by Nadrieril 23 days ago

#525 - Add CFG reconstruction tests from issue 297

Pull Request - State: closed - Opened by sonmarcho 25 days ago

#524 - Simplify error reporting

Pull Request - State: closed - Opened by Nadrieril 25 days ago - 1 comment

#523 - Suboptimal CFG reconstruction

Issue - State: open - Opened by sonmarcho 26 days ago - 2 comments
Labels: C-bug

#522 - Allow overriding the nixpkgs used for building ocaml

Pull Request - State: closed - Opened by Nadrieril 26 days ago

#521 - Various tweaks

Pull Request - State: closed - Opened by Nadrieril 27 days ago

#520 - Improve the CFG reconstruction

Pull Request - State: closed - Opened by sonmarcho 29 days ago - 1 comment

#519 - Improve the printing and debugging utilities of Charon-ML

Pull Request - State: closed - Opened by sonmarcho about 1 month ago

#518 - Various tweaks

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#517 - Simplify ml visitors

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#516 - Properly substitute `Self` reference when instantiating methods

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#515 - Improve the `check_generics` pass

Pull Request - State: closed - Opened by Nadrieril about 1 month ago - 4 comments

#514 - Make `Self` clause explicit in trait item declarations

Pull Request - State: open - Opened by Nadrieril about 1 month ago - 7 comments

#513 - Bug: incorrect generics when implemented method has more specific signature

Issue - State: open - Opened by Nadrieril about 1 month ago - 2 comments
Labels: C-bug

#512 - Explicitly bind trait method generics

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#511 - Store bodies directly in function declarations

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#510 - Check generics inside bodies too

Pull Request - State: closed - Opened by Nadrieril about 1 month ago - 1 comment

#509 - Use `crate` in ml envs instead of separate per-item maps

Pull Request - State: closed - Opened by Nadrieril about 1 month ago

#508 - Bug: ill-typed projection element

Issue - State: open - Opened by msprotz about 2 months ago - 1 comment
Labels: C-bug

#507 - Bug: faulty control-flow reconstruction in ML-DSA

Issue - State: closed - Opened by msprotz about 2 months ago - 6 comments
Labels: C-bug

#506 - Overhaul the rust visitors

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#505 - Compilation error with 2024-12-19 rust toolchain

Issue - State: closed - Opened by zhassan-aws about 2 months ago

#504 - Improve the CFG reconstruction

Pull Request - State: closed - Opened by sonmarcho about 2 months ago

#503 - Revert the NameMatcher's hack

Issue - State: open - Opened by sonmarcho about 2 months ago - 1 comment

#501 - Make minor improvements

Pull Request - State: closed - Opened by sonmarcho about 2 months ago

#500 - Add minor utilities

Pull Request - State: closed - Opened by sonmarcho about 2 months ago - 1 comment

#499 - Use bound vars internally

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#498 - Prepare charon for inner binding levels

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#497 - Some cleanups

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#496 - Move generated ml files to a subfolder

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#495 - Explicitly bind trait methods

Issue - State: closed - Opened by Nadrieril about 2 months ago - 1 comment

#494 - Translate correct closure signature

Pull Request - State: closed - Opened by Nadrieril about 2 months ago - 1 comment

#493 - Fix the assert reconstruction

Pull Request - State: closed - Opened by sonmarcho about 2 months ago

#492 - Rework how we represent regions

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#491 - Use `DeBruijnVar` for all type-level variables

Pull Request - State: closed - Opened by Nadrieril about 2 months ago

#490 - Clarify `Vector` usage

Issue - State: open - Opened by Nadrieril about 2 months ago - 1 comment

#489 - Rework rust visitor infrastructure

Issue - State: closed - Opened by Nadrieril 2 months ago - 1 comment

#488 - Compute short names of items

Issue - State: open - Opened by Nadrieril 2 months ago - 5 comments

#487 - Only translate trait method when used

Issue - State: closed - Opened by Nadrieril 2 months ago - 6 comments

#486 - More preparations for #361

Pull Request - State: closed - Opened by Nadrieril 2 months ago

#485 - Only run relevant aeneas checks in CI

Pull Request - State: closed - Opened by Nadrieril 2 months ago

#484 - Clean up region variables

Pull Request - State: closed - Opened by Nadrieril 2 months ago

#483 - Remove `ParamsInfo`

Pull Request - State: closed - Opened by sonmarcho 2 months ago

#482 - The hide_marker_traits pass doesn't update the `FunSig.parent_params_info`

Issue - State: closed - Opened by sonmarcho 2 months ago - 2 comments
Labels: C-bug

#481 - Update rust dependencies

Pull Request - State: closed - Opened by Nadrieril 2 months ago

#477 - Support for Generic Associated Types

Issue - State: open - Opened by R1kM 2 months ago - 2 comments
Labels: C-unsupported-language-feature

#476 - Use de Bruijn indices for all type-level variables

Pull Request - State: closed - Opened by Nadrieril 2 months ago - 1 comment

#393 - Support separate Box allocation+initialization

Issue - State: open - Opened by R1kM 4 months ago - 2 comments
Labels: C-bug

#361 - Use DeBruijn indices for all type-level variables

Issue - State: closed - Opened by Nadrieril 5 months ago - 2 comments

#297 - Control-flow reconstruction chokes on libcrux-ml-kem's rej_sample

Issue - State: closed - Opened by msprotz 6 months ago - 3 comments
Labels: C-bug

#287 - Name things consistently and idiomatically

Issue - State: open - Opened by Nadrieril 7 months ago - 1 comment

#205 - Confusion about the LLBC produced for a closure

Issue - State: closed - Opened by msprotz 9 months ago - 6 comments

#181 - Move rustc queries to hax

Issue - State: closed - Opened by Nadrieril 9 months ago - 2 comments
Labels: A-internal, S-hax

#180 - Translate defaulted trait methods implementations

Issue - State: open - Opened by Nadrieril 9 months ago - 6 comments
Labels: C-simplification-pass

#145 - Tracking issue for not crashing on the rustc test suite

Issue - State: open - Opened by Nadrieril 10 months ago - 45 comments
Labels: C-tracking-issue

#127 - Hide associated types equality constraints

Issue - State: closed - Opened by Nadrieril 10 months ago - 2 comments
Labels: C-simplification-pass

#123 - Add support for `dyn Trait`

Issue - State: open - Opened by Nadrieril 10 months ago - 9 comments
Labels: C-unsupported-language-feature

#100 - Migrate from structopt to clap

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

#100 - Migrate from structopt to clap

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

#99 - Track item attributes

Pull Request - State: closed - Opened by Nadrieril 10 months ago - 1 comment

#99 - Track item attributes

Pull Request - State: closed - Opened by Nadrieril 10 months ago - 1 comment

#98 - Add a test harness for the llbc output

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

#97 - Remove the ULLBC

Issue - State: closed - Opened by sonmarcho 10 months ago - 2 comments

#97 - Remove the ULLBC

Issue - State: closed - Opened by sonmarcho 10 months ago - 2 comments

#96 - Add span information to structure fields, trait items, etc.

Issue - State: closed - Opened by sonmarcho 10 months ago - 3 comments
Labels: C-improvement, A-internal

#96 - Add span information to structure fields, trait items, etc.

Issue - State: closed - Opened by sonmarcho 10 months ago - 3 comments
Labels: C-improvement, A-internal

#95 - Fix an issue with automatic formatting

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

#95 - Fix an issue with automatic formatting

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

#94 - Add support for mutually recursive trait definitions

Issue - State: closed - Opened by sonmarcho 11 months ago
Labels: C-unsupported-language-feature

#94 - Add support for mutually recursive trait definitions

Issue - State: closed - Opened by sonmarcho 11 months ago
Labels: C-unsupported-language-feature

#93 - Compilation hangs when having a type defined inside a trait

Issue - State: closed - Opened by dbsc 11 months ago - 4 comments
Labels: C-bug

#93 - Compilation hangs when having a type defined inside a trait

Issue - State: closed - Opened by dbsc 11 months ago - 4 comments
Labels: C-bug

#92 - Non-positive indexes for variants are unhandled

Issue - State: closed - Opened by RaitoBezarius 11 months ago - 2 comments

#92 - Non-positive indexes for variants are unhandled

Issue - State: closed - Opened by RaitoBezarius 11 months ago - 2 comments

#91 - Support enum-to-discriminant casting

Issue - State: closed - Opened by zhassan-aws 11 months ago
Labels: C-unsupported-language-feature, S-hax

#91 - Support enum-to-discriminant casting

Issue - State: closed - Opened by zhassan-aws 11 months ago
Labels: C-unsupported-language-feature, S-hax

#90 - project(nix): development shell via Nix

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

#90 - project(nix): development shell via Nix

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

#89 - Update the Makefile

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

#89 - Update the Makefile

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

#88 - Add some examples in demo.rs

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