Timeline for Optimization algorithm using conditional invariants
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2023 at 15:09 | comment | added | chrysante | Thanks, but I guess this is what I meant with traverse a dominator tree of the function, keep track of all given conditions, annotate uses and then do a formal evaluation. But before I spend hours implementing that I wanted to know if there is anything more powerful (which there probably is) | |
| Nov 27, 2023 at 12:49 | history | answered | ratchet freak | CC BY-SA 4.0 |