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
#88 - Add some examples in demo.rs
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#87 - Handle binary and
Pull Request -
State: closed - Opened by msprotz 11 months ago
- 9 comments
#87 - Handle binary and
Pull Request -
State: closed - Opened by msprotz 11 months ago
- 9 comments
#86 - Add generics to constants/globals
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#86 - Add generics to constants/globals
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#85 - Error with a generic const
Issue -
State: closed - Opened by zhassan-aws 11 months ago
- 1 comment
#85 - Error with a generic const
Issue -
State: closed - Opened by zhassan-aws 11 months ago
- 1 comment
#84 - Update the Makefiles to automatically reformat the code
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#84 - Update the Makefiles to automatically reformat the code
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#83 - Fix a small issue in remove_read_discriminant
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#83 - Fix a small issue in remove_read_discriminant
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#82 - Update the Names
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#82 - Update the Names
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#81 - Add some tests for the loops
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#81 - Add some tests for the loops
Pull Request -
State: closed - Opened by sonmarcho 11 months ago
#80 - `assertion failed: int_ty.is_isize()` when deriving `PartialOrd`
Issue -
State: closed - Opened by zhassan-aws 11 months ago
- 1 comment
#80 - `assertion failed: int_ty.is_isize()` when deriving `PartialOrd`
Issue -
State: closed - Opened by zhassan-aws 11 months ago
- 1 comment
#79 - Add support for quantified lifetimes (`for <'a>`)
Issue -
State: closed - Opened by sonmarcho 11 months ago
- 1 comment
Labels: A-lifetimes, C-unsupported-language-feature
#79 - Add support for quantified lifetimes (`for <'a>`)
Issue -
State: closed - Opened by sonmarcho 11 months ago
- 1 comment
Labels: A-lifetimes, C-unsupported-language-feature
#78 - Add support for iter next
Issue -
State: closed - Opened by zhassan-aws 12 months ago
- 2 comments
Labels: A-lifetimes
#78 - Add support for iter next
Issue -
State: closed - Opened by zhassan-aws 12 months ago
- 2 comments
Labels: A-lifetimes
#77 - Add a demo file
Pull Request -
State: closed - Opened by sonmarcho almost 1 year ago
#77 - Add a demo file
Pull Request -
State: closed - Opened by sonmarcho almost 1 year ago
#76 - Rename some test files
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#76 - Rename some test files
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#75 - Add missing opam dependency and fix clean target
Pull Request -
State: closed - Opened by zhassan-aws about 1 year ago
#75 - Add missing opam dependency and fix clean target
Pull Request -
State: closed - Opened by zhassan-aws about 1 year ago
#74 - Add an example in the loop tests
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#74 - Add an example in the loop tests
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#73 - Def Ids: handle the case `ForeignMod`
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#73 - Def Ids: handle the case `ForeignMod`
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#72 - Add support for string literals
Issue -
State: closed - Opened by sonmarcho about 1 year ago
Labels: C-unsupported-language-feature
#72 - Add support for string literals
Issue -
State: closed - Opened by sonmarcho about 1 year ago
Labels: C-unsupported-language-feature
#71 - Add examples for the merged forward/backward functions
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#71 - Add examples for the merged forward/backward functions
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#70 - Prepare the merge with hax
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#70 - Prepare the merge with hax
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#69 - Extract inlining information
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#69 - Extract inlining information
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#68 - Extract visibility information
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#68 - Extract visibility information
Issue -
State: closed - Opened by sonmarcho about 1 year ago
#67 - Add support for quantified where clauses (`for <'a>`)
Issue -
State: closed - Opened by sonmarcho about 1 year ago
Labels: A-lifetimes, C-unsupported-language-feature, S-hax
#67 - Add support for quantified where clauses (`for <'a>`)
Issue -
State: closed - Opened by sonmarcho about 1 year ago
Labels: A-lifetimes, C-unsupported-language-feature, S-hax
#66 - Get rid of the Makefiles
Issue -
State: closed - Opened by sonmarcho about 1 year ago
- 1 comment
Labels: A-build-system, C-improvement
#66 - Get rid of the Makefiles
Issue -
State: closed - Opened by sonmarcho about 1 year ago
- 1 comment
Labels: A-build-system, C-improvement
#65 - Turn charon into a subcommand
Issue -
State: open - Opened by sonmarcho about 1 year ago
- 1 comment
Labels: A-build-system, C-improvement
#65 - Turn charon into a subcommand
Issue -
State: open - Opened by sonmarcho about 1 year ago
- 1 comment
Labels: A-build-system, C-improvement
#64 - Add support for spec annotations
Issue -
State: open - Opened by sonmarcho about 1 year ago
- 1 comment
#64 - Add support for spec annotations
Issue -
State: open - Opened by sonmarcho about 1 year ago
- 1 comment
#63 - Add support for attributes
Issue -
State: closed - Opened by sonmarcho about 1 year ago
- 1 comment
#63 - Add support for attributes
Issue -
State: closed - Opened by sonmarcho about 1 year ago
- 1 comment
#62 - Add support for constants with parameters
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#62 - Add support for constants with parameters
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#61 - Display usage information for external dependencies which trigger errors
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#61 - Display usage information for external dependencies which trigger errors
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#60 - Add support for casts between integers and booleans
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#60 - Add support for casts between integers and booleans
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#59 - Make the otherwise branch in the LLBC match statements optional
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#59 - Make the otherwise branch in the LLBC match statements optional
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#58 - Move the substitution functions from Aeneas
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#58 - Move the substitution functions from Aeneas
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#57 - Fix a bug in the CFG reconstruction
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#56 - Add the --errors-as-warnings option
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#56 - Add the --errors-as-warnings option
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#55 - Update some tests
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#55 - Update some tests
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#54 - Add support for function pointers and closures
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#54 - Add support for function pointers and closures
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#53 - Print informative error messages
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#53 - Print informative error messages
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#52 - Make minor improvements
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#52 - Make minor improvements
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#51 - Update the flake.nix
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#51 - Update the flake.nix
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#50 - Big cleanup
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#50 - Big cleanup
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#49 - Minor fixes
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#49 - Minor fixes
Pull Request -
State: closed - Opened by sonmarcho about 1 year ago
#48 - Add support for traits
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#48 - Add support for traits
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#47 - Replace Hydra with Github runners
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#47 - Replace Hydra with Github runners
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#46 - Add a mention to the Zulip in the README
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#46 - Add a mention to the Zulip in the README
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#45 - Misc issues (map, const generic, array updates, assertions)
Issue -
State: closed - Opened by franziskuskiefer over 1 year ago
- 3 comments
#45 - Misc issues (map, const generic, array updates, assertions)
Issue -
State: closed - Opened by franziskuskiefer over 1 year ago
- 3 comments
#44 - Add Charon support for Shl/Shr
Pull Request -
State: closed - Opened by R1kM over 1 year ago
- 1 comment
#44 - Add Charon support for Shl/Shr
Pull Request -
State: closed - Opened by R1kM over 1 year ago
- 1 comment
#43 - Binary location
Issue -
State: closed - Opened by leodemoura over 1 year ago
- 1 comment
#43 - Binary location
Issue -
State: closed - Opened by leodemoura over 1 year ago
- 1 comment
#42 - Tidbits
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#42 - Tidbits
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#41 - Split the array test suite into two
Pull Request -
State: closed - Opened by msprotz over 1 year ago
#41 - Split the array test suite into two
Pull Request -
State: closed - Opened by msprotz over 1 year ago
#40 - Use hacpsec v2
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#40 - Use hacpsec v2
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#39 - Update rustc to nightly-2023-06-02
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#39 - Update rustc to nightly-2023-06-02
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#38 - Refactor the code to remove the `register` pre-pass
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago
#38 - Refactor the code to remove the `register` pre-pass
Pull Request -
State: closed - Opened by sonmarcho over 1 year ago