-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Improve efficiency of is_smax and is_smin
A-bitvecTask operating on the stevia_bitvec crate in isolation.Task operating on the stevia_bitvec crate in isolation.B-performanceA task to improve performance (regression) of some part of the code base.A task to improve performance (regression) of some part of the code base.D-easyA task that is considered to be simple to implement.A task that is considered to be simple to implement.Status: Open.#19 In Robbepop/stevia;Add missing QF_BV functions
A-bitvecTask operating on the stevia_bitvec crate in isolation.Task operating on the stevia_bitvec crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-easyA task that is considered to be simple to implement.A task that is considered to be simple to implement.Status: Open.#18 In Robbepop/stevia;Improve module interface of stevia_ast
A-astTask operating on the stevia_ast crate in isolation.Task operating on the stevia_ast crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-hardA task that is considered to be hard to implement.A task that is considered to be hard to implement.Status: Open.#17 In Robbepop/stevia;Find or implement AIG library
A-bitblasterTask operating on the stevia_bitblaster crate in isolation.Task operating on the stevia_bitblaster crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-over9000You need to be super sayan in order to implement this.You need to be super sayan in order to implement this.Status: Open.#14 In Robbepop/stevia;Find out optimal implementation similar to STP's push and pop
A-parserTask operating on the stevia_parser crate in isolation.Task operating on the stevia_parser crate in isolation.C-questionA question.A question.Status: Open.#13 In Robbepop/stevia;Towards a complete SMT solver
A-steviaAny stevia related task that is too general to be further specialized.Any stevia related task that is too general to be further specialized.Status: Open.#12 In Robbepop/stevia;Implement Array-{Read-Write}-Elimination simplifications
A-simplifierTask operating on the stevia_simplifier crate in isolation.Task operating on the stevia_simplifier crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-hardA task that is considered to be hard to implement.A task that is considered to be hard to implement.Status: Open.#11 In Robbepop/stevia;Fix exponential copy expansion in Read-over-Write simplification
A-simplifierTask operating on the stevia_simplifier crate in isolation.Task operating on the stevia_simplifier crate in isolation.B-performanceA task to improve performance (regression) of some part of the code base.A task to improve performance (regression) of some part of the code base.D-hardA task that is considered to be hard to implement.A task that is considered to be hard to implement.Status: Open.#10 In Robbepop/stevia;Add Nand, Nor and Xnor
A-astTask operating on the stevia_ast crate in isolation.Task operating on the stevia_ast crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.C-questionA question.A question.D-easyA task that is considered to be simple to implement.A task that is considered to be simple to implement.Status: Open.#7 In Robbepop/stevia;Add fuzzing targets
A-ciTask for the continuous integration of stevia.Task for the continuous integration of stevia.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-mediumA task that is considered to be moderately hard to implement.A task that is considered to be moderately hard to implement.Status: Open.#6 In Robbepop/stevia;Implement SMTLib2 parser
A-parserTask operating on the stevia_parser crate in isolation.Task operating on the stevia_parser crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-mediumA task that is considered to be moderately hard to implement.A task that is considered to be moderately hard to implement.Status: Open.#5 In Robbepop/stevia;