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

#37 - Add support for arrays/slices and const generics

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

#37 - Add support for arrays/slices and const generics

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

#36 - Remove a dependency which causes a dependabot alert

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

#36 - Remove a dependency which causes a dependabot alert

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

#35 - Consider adding version numbers in the .llbc files

Issue - State: closed - Opened by msprotz over 1 year ago - 2 comments
Labels: C-improvement, A-internal

#35 - Consider adding version numbers in the .llbc files

Issue - State: closed - Opened by msprotz over 1 year ago - 2 comments
Labels: C-improvement, A-internal

#34 - Represent data type constructors with strings instead of variant ids

Issue - State: closed - Opened by msprotz over 1 year ago - 6 comments

#34 - Represent data type constructors with strings instead of variant ids

Issue - State: closed - Opened by msprotz over 1 year ago - 6 comments

#32 - Support for for-loops

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

#32 - Support for for-loops

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

#31 - More support in Charon related to arrays

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

#31 - More support in Charon related to arrays

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

#30 - Add support for array aggregates

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

#30 - Add support for array aggregates

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

#29 - Update the nix.lock file

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

#29 - Update the nix.lock file

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

#28 - Update the Nix flake

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

#28 - Update the Nix flake

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

#27 - Making charon compile on Candy Machine

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

#27 - Making charon compile on Candy Machine

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

#26 - Cleanup

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

#26 - Cleanup

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

#25 - Nix: read rust-toolchain

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

#25 - Nix: read rust-toolchain

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

#24 - Add support for the addition of loops in Aeneas

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

#24 - Add support for the addition of loops in Aeneas

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

#23 - Improve the nix package

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

#23 - Improve the nix package

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

#22 - Add Nix tests for Charon-ML

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

#22 - Add Nix tests for Charon-ML

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

#21 - Implement a pass to reconstruct matches by removing discriminant reads

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

#21 - Implement a pass to reconstruct matches by removing discriminant reads

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

#20 - Prepare for the joins in Aeneas

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

#20 - Prepare for the joins in Aeneas

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

#19 - `cargo-charon` fails to parse arguments correctly

Issue - State: closed - Opened by ivanbakel over 2 years ago - 2 comments

#19 - `cargo-charon` fails to parse arguments correctly

Issue - State: closed - Opened by ivanbakel over 2 years ago - 2 comments

#18 - Add an ML library

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

#18 - Add an ML library

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

#17 - Rename ConstantValue --> PrimitiveValue

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

#17 - Rename ConstantValue --> PrimitiveValue

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

#16 - Fix the Nix package

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

#15 - Add meta-data (spans) to various definitions

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

#14 - Update Rustc to nightly 2022-10-20

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

#13 - Update Rustc to nightly 2022-09-19

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

#12 - Piggy back on Cargo and implement Nix support

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

#11 - Add Nix support

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

#10 - Some more logic to work on OSX

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

#9 - Add ml library for LLBC

Pull Request - State: closed - Opened by giltho over 2 years ago - 13 comments

#8 - Constants externals

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

#7 - Support for constants

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

#6 - panic in empty function

Issue - State: closed - Opened by franziskuskiefer over 2 years ago - 1 comment

#5 - from_le_bytes not usable

Issue - State: closed - Opened by franziskuskiefer over 2 years ago - 1 comment

#4 - Traits breaks Charon

Issue - State: closed - Opened by franziskuskiefer over 2 years ago - 2 comments
Labels: A-lifetimes, C-unsupported-language-feature

#3 - Dependency lookup is broken

Issue - State: closed - Opened by franziskuskiefer almost 3 years ago - 3 comments

#2 - Ignore dev-dependencies

Issue - State: closed - Opened by franziskuskiefer almost 3 years ago - 3 comments

#1 - Doesn't support workspaces

Issue - State: closed - Opened by franziskuskiefer almost 3 years ago - 2 comments