-
Notifications
You must be signed in to change notification settings - Fork 62
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Turn the
haxsubcrate into a general-purpose oneA-internalArea: Internal details of how charon is structuredArea: Internal details of how charon is structuredStatus: Open.#1483 In AeneasVerif/charon;Clarify the pretty-printing flags
A-build-systemArea: building, linking, and the charon CLIArea: building, linking, and the charon CLIStatus: Open.#1482 In AeneasVerif/charon;Build the full-MIR sysroots ourselves
A-build-systemArea: building, linking, and the charon CLIArea: building, linking, and the charon CLIStatus: Open.#1475 In AeneasVerif/charon;Feature request: annotate unsafe operations
C-improvementCategory: ImprovementCategory: ImprovementStatus: Open.#1449 In AeneasVerif/charon;- Status: Open.#1396 In AeneasVerif/charon;
- Status: Open.#1362 In AeneasVerif/charon;
- Status: Open.#1344 In AeneasVerif/charon;
Closure sub-items cannot be targeted by
--opaque/--excludename patterns — contradicts the documented "item and all subitems" opacityA-name-matcherArea: names and matching on namesArea: names and matching on namesStatus: Open.#1339 In AeneasVerif/charon;- Status: Open.#1299 In AeneasVerif/charon;
- Status: Open.#1287 In AeneasVerif/charon;
- Status: Open.#1286 In AeneasVerif/charon;
- Status: Open.#1281 In AeneasVerif/charon;