aeneasverif/eurydice issues and pull requests

#96 - Tuple structs (empty field names)

Issue - State: open - Opened by franziskuskiefer 2 months ago

#96 - Tuple structs (empty field names)

Issue - State: open - Opened by franziskuskiefer 2 months ago

#95 - Update Charon

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

#95 - Update Charon

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

#94 - Update Charon

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

#94 - Update Charon

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

#93 - Proper treatment of slice_index when the type of elements is an array

Pull Request - State: closed - Opened by msprotz 3 months ago

#93 - Proper treatment of slice_index when the type of elements is an array

Pull Request - State: closed - Opened by msprotz 3 months ago

#92 - Fix an overly specific pass

Pull Request - State: closed - Opened by msprotz 3 months ago - 1 comment

#92 - Fix an overly specific pass

Pull Request - State: closed - Opened by msprotz 3 months ago - 1 comment

#91 - Remove fstar input in eurydice build

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

#91 - Remove fstar input in eurydice build

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

#90 - Nightly cron job is redundant with circus-green ci

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

#90 - Nightly cron job is redundant with circus-green ci

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

#89 - Use circus-green flake in CI

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

#89 - Use circus-green flake in CI

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

#88 - Remove F* in flake

Issue - State: closed - Opened by msprotz 3 months ago - 5 comments

#88 - Remove F* in flake

Issue - State: closed - Opened by msprotz 3 months ago - 5 comments

#87 - Update charon

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

#87 - Update charon

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

#86 - Update lib/AstOfLlbc following changes in Charon-ML

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

#86 - Update lib/AstOfLlbc following changes in Charon-ML

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

#85 - Deduplicate `fstar` input in flake

Pull Request - State: closed - Opened by Nadrieril 3 months ago - 6 comments

#85 - Deduplicate `fstar` input in flake

Pull Request - State: closed - Opened by Nadrieril 3 months ago - 6 comments

#84 - Split the check-charon-pin job in two

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

#84 - Split the check-charon-pin job in two

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

#83 - Update charon

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

#83 - Update charon

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

#82 - Regenerate kyber's `Cargo.lock` in CI

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

#82 - Regenerate kyber's `Cargo.lock` in CI

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

#81 - Update CI dependencies

Pull Request - State: closed - Opened by msprotz 3 months ago

#81 - Update CI dependencies

Pull Request - State: closed - Opened by msprotz 3 months ago

#80 - Disable comments by default

Pull Request - State: closed - Opened by franziskuskiefer 4 months ago - 6 comments

#80 - Disable comments by default

Pull Request - State: closed - Opened by franziskuskiefer 4 months ago - 6 comments

#79 - ci: Rebuild kyber lockfile ourselves

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

#79 - ci: Rebuild kyber lockfile ourselves

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

#78 - Update following changes in Charon

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

#78 - Update following changes in Charon

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

#77 - Update charon

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

#77 - Update charon

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

#76 - Carry comments from Rust to C

Pull Request - State: closed - Opened by msprotz 5 months ago - 4 comments

#76 - Carry comments from Rust to C

Pull Request - State: closed - Opened by msprotz 5 months ago - 4 comments

#75 - Fix confusion in the construction of clause mappings that refer to parent clauses

Pull Request - State: closed - Opened by msprotz 5 months ago

#75 - Fix confusion in the construction of clause mappings that refer to parent clauses

Pull Request - State: closed - Opened by msprotz 5 months ago

#74 - Update charon

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

#74 - Update charon

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

#73 - Update charon

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

#73 - Update charon

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

#72 - some wrapping operations over i16s

Pull Request - State: closed - Opened by karthikbhargavan 5 months ago - 2 comments

#72 - some wrapping operations over i16s

Pull Request - State: closed - Opened by karthikbhargavan 5 months ago - 2 comments

#71 - Update charon

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

#71 - Update charon

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

#70 - More tests to be fixed

Pull Request - State: closed - Opened by msprotz 5 months ago

#70 - More tests to be fixed

Pull Request - State: closed - Opened by msprotz 5 months ago

#69 - Skip types of trait methods in closures on the basis that those are a…

Pull Request - State: closed - Opened by msprotz 5 months ago

#69 - Skip types of trait methods in closures on the basis that those are a…

Pull Request - State: closed - Opened by msprotz 5 months ago

#68 - Protz fix upstream

Pull Request - State: closed - Opened by msprotz 5 months ago

#68 - Protz fix upstream

Pull Request - State: closed - Opened by msprotz 5 months ago

#67 - Insert some assertions to catch undetected inconsistencies that my le…

Pull Request - State: closed - Opened by msprotz 5 months ago

#67 - Insert some assertions to catch undetected inconsistencies that my le…

Pull Request - State: closed - Opened by msprotz 5 months ago

#66 - Update charon

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

#66 - Update charon

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

#65 - Update charon

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

#65 - Update charon

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

#64 - Allow order of items in an `impl` to be different from the `trait`

Issue - State: open - Opened by karthikbhargavan 6 months ago

#64 - Allow order of items in an `impl` to be different from the `trait`

Issue - State: open - Opened by karthikbhargavan 6 months ago

#63 - Prettify assertions

Pull Request - State: closed - Opened by msprotz 6 months ago - 1 comment

#63 - Prettify assertions

Pull Request - State: closed - Opened by msprotz 6 months ago - 1 comment

#62 - Update charon

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

#62 - Update charon

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

#61 - Add another core_array_equality to eurydice_glue.h

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago - 2 comments

#61 - Add another core_array_equality to eurydice_glue.h

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago - 2 comments

#60 - Check kyber in CI

Pull Request - State: closed - Opened by Nadrieril 6 months ago - 5 comments

#60 - Check kyber in CI

Pull Request - State: closed - Opened by Nadrieril 6 months ago - 5 comments

#59 - Update charon

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

#59 - Update charon

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

#58 - Add license files

Pull Request - State: closed - Opened by franziskuskiefer 6 months ago