Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 5 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 626 of 661 Search / Filter on:
Retract changes in the commit 39a614559cae. The fix was affecting benchmarks using the array theory map construct.	Leonardo de Moura	More...				over 12 years ago
Add partial solution for the uneeded disambiguation issue raised by David Cok	Leonardo de Moura	More...				over 12 years ago
Change unknown set-logic behavior in SMTLIB2 compliant mode (Thanks to David Cok)	Leonardo de Moura	More...				over 12 years ago
Add support for abs (absolute value) function in theory arith (it is part of the SMT-LIB 2.0 standard)	Leonardo de Moura	More...				over 12 years ago
Set -,/,div as left-associative (Thanks to David Cok)	Leonardo de Moura	More...				over 12 years ago
Fix typo (Thanks to David Cok)	Leonardo de Moura	More...				over 12 years ago
Add check bv size. Bit-vector size must be greater than zero (Thanks to David Cok)	Leonardo de Moura	More...				over 12 years ago
Set :print-success to true, when SMTLIB2_COMPLIANT mode is set.	Leonardo de Moura	More...				over 12 years ago
towards acceleration	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
add release mode to vs build, work on delta extraction	Nikolaj Bjorner	More...				over 12 years ago
ML build	Christoph M. Wintersteiger	More...				over 12 years ago
ML build	Christoph M. Wintersteiger	More...				over 12 years ago
FPA bugfix	Christoph M. Wintersteiger	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
fix compilation warning	Nikolaj Bjorner	More...				over 12 years ago
Add win to Z3 windows binary dist zip file	Leonardo de Moura	More...				over 12 years ago
Add option --githash to mk_win_dist	Leonardo de Moura	More...				over 12 years ago
Add parallel option to mk_win_dist	Leonardo de Moura	More...				over 12 years ago
Fix cygwin (with python 2.6) compilation problems.	Leonardo de Moura	More...				over 12 years ago
Fix rcf test	Leonardo de Moura	More...				over 12 years ago
update scoring function for tab context	Nikolaj Bjorner	More...				over 12 years ago
Fix bug introduced last week, and detected in nightly regression tests	Leonardo de Moura	More...				over 12 years ago
Improve html pretty printer for RCF package	Leonardo de Moura	More...				over 12 years ago
Add html pretty printing mode for RCF package	Leonardo de Moura	More...				over 12 years ago
fix extraction of statistics for horn tactic	Nikolaj Bjorner	More...				over 12 years ago
Fix issue reported at http://stackoverflow.com/questions/14524316/z3-4-3-get-complete-model	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
working on tab context	Nikolaj Bjorner	More...				over 12 years ago
Fix problem reported by Alex Horn	Leonardo de Moura	More...				over 12 years ago

←
1
2
…
622
623
624
625
626
627
628
629
630
…
660
661
→