Skip to content
This repository was archived by the owner on Aug 22, 2024. It is now read-only.

Milestones

List view

  • SMT Solvers

    Provide hooks to integrate an SMT solver and use them to integrate Z3 and possibly CVC4.

    Overdue by 6 year(s)
    •
    Due by March 8, 2019
    •1/1 issues closed
    100% complete0 open1 closed

  • Expression Domain

    Flesh out abstract_domains.rs, abstract_value.rs, constant_value.rs, etc, by: 1. Adding transfer functions for all MIR operations. 2. Add constructors that can create domains on demand, given an expression domain. 3. Adding helper methods to query properties of abstract values, such as subset, relational operators and so on. 4. Make widen on the expression domain smarter.

    Overdue by 6 year(s)
    •
    Due by March 31, 2019
    •16/16 issues closed
    100% complete0 open16 closed