Ideas

Jump to bottom Edit New page

Eric Hennenfent edited this page Jan 30, 2020 · 7 revisions

To cut down on issue bloat, we'll archive issues for feature requests or ideas that aren't current development priorities under this page. Feel free to reopen issues if you're planning to file a PR for them.

Hardlink-based state serialization (#225)
Pause and resume from workspace (#354)
Preemptively check that user constraints are satisfiable (#452)
Symbolic environment variables (#449)
Automatically apply symbolic function models (#434)
Make dynamic linker follow RPATH (#489)
Clean up TempFile usage (#568)
Friendly enums and helper methods for solver API (#584)
Standardize workspace output format (#620)
Better handling of exceptions in event handlers (#628)
Hierarchical scheduling domains (#635)
Split up evm.py (#693)
Fine-Grained TerminateState exceptions (#756)
Improve Ctrl+C Handling (#903)
EVM Testcase Replay (#960) (#1262)
Consolidate workspace into single file (#999)
Copy-on-Write states (#1093)
Constraint set simplification (#1200)
Implied value concretization (#1201)
Constraint Independence (#1202)
Global simple query cache (#1203)
Counter example or solution cache (#1205)
Implement GreenSolver techniques (#1206)