-
Notifications
You must be signed in to change notification settings - Fork 302
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
c2rust now requires clang 15+
dependenciesPull requests that update a dependency filePull requests that update a dependency fileStatus: Open.#1873 In immunant/c2rust;- Status: Open.#1872 In immunant/c2rust;
- Status: Open.#1869 In immunant/c2rust;
- Status: Open.#1854 In immunant/c2rust;
- Status: Open.#1837 In immunant/c2rust;
- Status: Open.#1836 In immunant/c2rust;
- Status: Open.#1834 In immunant/c2rust;
Reworked relooper regressed on some large CFGs
bugSomething isn't workingSomething isn't workingStatus: Open.#1821 In immunant/c2rust;- Status: Open.#1819 In immunant/c2rust;
- Status: Open.#1818 In immunant/c2rust;
- Status: Open.#1809 In immunant/c2rust;
Relooper translation issue in
binder.cmistranslationTranslating a well-behaved program changes its behaviorTranslating a well-behaved program changes its behaviorStatus: Open.#1805 In immunant/c2rust;