-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
perf(screach): Improve distance computation runtime
topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.Status: Open.#746 In GaloisInc/grease;doc(screach): Document
--default-return-distarea/docsImprovements or additions to documentationImprovements or additions to documentationtopic/tech debtTechnical debt.Technical debt.Status: Open.#745 In GaloisInc/grease;perf(screach): Avoid computing distances for returns that will not reach target
topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.Status: Open.#744 In GaloisInc/grease;- Status: Open.#743 In GaloisInc/grease;
doc(screach): Simple SDSE demo
area/docsImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#742 In GaloisInc/grease;- Status: Open.#741 In GaloisInc/grease;
feat(screach): Underapproximation for proof obligations
type/featureNew feature or requestNew feature or requestStatus: Open.#704 In GaloisInc/grease;perf(screach): Efficient statement lookup
topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.Status: Open.#703 In GaloisInc/grease;perf(screach): Combine CFG caches
topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.Status: Open.screach: Avoid comparing source locations in
Distance.hstopic/tech debtTechnical debt.Technical debt.Status: Open.#701 In GaloisInc/grease;test(screach): Tests for path search options
status/needs testStatus: Has a MCVE, but needs it to be checked into the repo as a testStatus: Has a MCVE, but needs it to be checked into the repo as a testStatus: Open.#700 In GaloisInc/grease;ci: Share dependency builds between
grease,screachDocker imagestopic/tech debtTechnical debt.Technical debt.Status: Open.#678 In GaloisInc/grease;