Skip to content

Pull requests: leonardoalt/yools

New pull request New
Clear current search query, filters, and sorts
1 Open 103 Closed
1 Open 103 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Shorter literals
#125 by chriseth was merged Jan 4, 2023 Loading…
6
Clippy.
#124 by chriseth was merged Jan 2, 2023 Loading…
2
Expression simplifier
#123 by chriseth was merged Jan 2, 2023 Loading…
3
Modularize symbolic subcommand
#122 by pedrommaiaa was closed Dec 5, 2022 Loading…
6
Refactor function call to prepare for evaluator.
#121 by chriseth was merged Nov 1, 2022 Loading…
1
A few leftover fixes from the revert_data PR
#119 by leonardoalt was merged Oct 27, 2022 Loading…
3
Extract variable handling.
#116 by chriseth was merged Oct 11, 2022 Loading…
8
Execution position
#115 by chriseth was merged Nov 28, 2022 Loading…
1
19
Encode revert line
#113 by chriseth was closed Oct 11, 2022 • Draft
3
Also properly treat empty or unary or.
#112 by chriseth was merged Oct 10, 2022 Loading…
2
Havoc unless.
#111 by chriseth was merged Oct 6, 2022 Loading…
Add implication.
#110 by chriseth was merged Oct 6, 2022 Loading…
1
remove unnecessary smtlib command
#109 by leonardoalt was merged Oct 6, 2022 Loading…
More generic tests
#108 by chriseth was merged Oct 6, 2022 Loading…
Use Cargo.toml as cache.
#107 by chriseth was merged Oct 5, 2022 Loading…
1
use cvc5 as default instead of cvc4
#106 by leonardoalt was merged Oct 5, 2022 Loading…
2
fix tests
#105 by leonardoalt was merged Oct 5, 2022 Loading…
Memory range.
#103 by chriseth was merged Oct 5, 2022 Loading…
some readme
#102 by leonardoalt was merged Oct 1, 2022 Loading…
SMT refactor
#101 by leonardoalt was merged Sep 29, 2022 Loading…
30
Zero-initialize memory.
#100 by chriseth was merged Sep 30, 2022 Loading…
3
Updates after changes in yultsur.
#99 by chriseth was merged Sep 28, 2022 Loading…
Store revert data.
#98 by chriseth was merged Oct 10, 2022 Loading…
1
20
Simplify context variable declarations.
#97 by chriseth was merged Sep 28, 2022 Loading…
1
Calls and selfbalance.
#96 by chriseth was merged Oct 7, 2022 Loading…
17
ProTip! Type g i on any issue or pull request to go back to the issue listing page.