Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 2 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 25, 2024 — Jul 25, 2025 Showing page 620 of 661 Search / Filter on:
convert mega-bytes to bytes in env_params	Nikolaj Bjorner	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
debugging karr invariants	Nikolaj Bjorner	More...				over 12 years ago
remove model converter from transformer operators. Rely on reference in context	Nikolaj Bjorner	More...				over 12 years ago
adding build instructions	Kenneth McMillan as Ken McMillan	More...				over 12 years ago
porting to windows	Kenneth McMillan as U-REDMOND\kenmcmil	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
porting to windows	Kenneth McMillan as U-REDMOND\kenmcmil	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nuno Lopes	More...				over 12 years ago
Datalog improvements: - add cancel status - display statistics on cancel (by me & Nikolaj)	Nuno Lopes	More...				over 12 years ago
test hilbert-basis with fdds and checked integers	Nikolaj Bjorner	More...				over 12 years ago
test hilbert-basis with fdds and checked integers	Nikolaj Bjorner	More...				over 12 years ago
test hilbert-basis with fdds and checked integers	Nikolaj Bjorner	More...				over 12 years ago
working on smt2 and api	Kenneth McMillan as Ken McMillan	More...				over 12 years ago
Fix set_interruptable usage	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Leonardo de Moura	More...				over 12 years ago
speedup bit_vector::num_words() Proof of equivalence w.r.t. previous code: http://rise4fun.com/Z3/aiLV	Nuno Lopes	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Leonardo de Moura	More...				over 12 years ago
Replace std::sort with std::stable_sort when the given relation is just a partial order. This change avoids discrepancies when using different implmentations of std::sort.	Leonardo de Moura	More...				over 12 years ago
dl_bit_blasting: run simplifier before bit-blasting, in order to comply with its precondition	Nuno Lopes	More...				over 12 years ago
Fix typos	Leonardo de Moura	More...				over 12 years ago
rule_manager::mk(): default initialization of m_proof to null	Nuno Lopes	More...				over 12 years ago
qe_lite> fix crash in is_var_eq() (by me & Nikolaj)	Nuno Lopes	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
fix build warning, make context simplifier traverse subterms	Nikolaj Bjorner	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Leonardo de Moura	More...				over 12 years ago
Add option :bv-sort-ac true	Leonardo de Moura	More...				over 12 years ago
fix build breaks	Nikolaj Bjorner	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
fix build breaks	Nikolaj Bjorner	More...				over 12 years ago

←
1
2
…
616
617
618
619
620
621
622
623
624
…
660
661
→