-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#147 In MiragePrivacy/azoth;
debug(cli): show what transforms is being applied for each of the changes in decompiler diff
UnimportantNice to have but not urgentNice to have but not urgentStatus: Open.docs: add a getting started guide to the main README
DocsImprovements to documentationImprovements to documentationEasyGood for newcomers and ClaudeGood for newcomers and ClaudeUnimportantNice to have but not urgentNice to have but not urgentStatus: Open.#123 In MiragePrivacy/azoth;TUI Readme
DocsImprovements to documentationImprovements to documentationEasyGood for newcomers and ClaudeGood for newcomers and ClaudeUnimportantNice to have but not urgentNice to have but not urgentStatus: Open.#120 In MiragePrivacy/azoth;- Status: Open.#116 In MiragePrivacy/azoth;
feat(core): support additional prologue layouts
UnimportantNice to have but not urgentNice to have but not urgentStatus: Open.#110 In MiragePrivacy/azoth;Validate the auxdata
UnimportantNice to have but not urgentNice to have but not urgentStatus: Open.#85 In MiragePrivacy/azoth;- Status: Open.#77 In MiragePrivacy/azoth;
feat(formal): implement full SMT-LIB support and remove stubs in
smt.rsHardRequires more technicalityRequires more technicalityUrgentNeeded for the next milestoneNeeded for the next milestoneStatus: Open.#29 In MiragePrivacy/azoth;docs
DocsImprovements to documentationImprovements to documentationStatus: Open.