Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 8 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 29, 2024 — Aug 29, 2025 Showing page 601 of 664 Search / Filter on:
debugging network simplex	Nikolaj Bjorner	More...				over 11 years ago
change model binding time	Nikolaj Bjorner	More...				over 11 years ago
exception message clarity fix	Christoph M. Wintersteiger	More...				over 11 years ago
expose models, working on network flow	Nikolaj Bjorner	More...				over 11 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Nikolaj Bjorner	More...				over 11 years ago
start working on network flow	Nikolaj Bjorner	More...				over 11 years ago
add back skipped consequences, exposed by fu-malik assertion violation	Nikolaj Bjorner	More...				over 11 years ago
fix leak by commenting out probe experiment	Nikolaj Bjorner	More...				over 11 years ago
bug fixes exposed from regression tests	Nikolaj Bjorner	More...				over 11 years ago
bug fixes exposed from regression tests	Nikolaj Bjorner	More...				over 11 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api	Christoph M. Wintersteiger	More...				over 11 years ago
fix bug in conflict resoltion tracking decision variables	Nikolaj Bjorner	More...				over 11 years ago
add .NET interface and finish C interface for optimization	Nikolaj Bjorner	More...				over 11 years ago
exposing lower/upper	Nikolaj Bjorner	More...				over 11 years ago
backfilling API functions	Nikolaj Bjorner	More...				over 11 years ago
add sketch of C-based API	Nikolaj Bjorner	More...				over 11 years ago
adjust parsing	Nikolaj Bjorner	More...				over 11 years ago
reorganizing input	Nikolaj Bjorner	More...				over 11 years ago
tweaking input processing	Nikolaj Bjorner	More...				over 11 years ago
Nits	Nikolaj Bjorner	More...				over 11 years ago
change verbosity level	Nikolaj Bjorner	More...				over 11 years ago
debugging multi-objective interface and pb revisions	Nikolaj Bjorner	More...				over 11 years ago
debugging multi-objective interface and pb revisions	Nikolaj Bjorner	More...				over 11 years ago
use expression structure for objectives instead of custom s-expression	Nikolaj Bjorner	More...				over 11 years ago
add expression conversion	Nikolaj Bjorner	More...				over 11 years ago
working on duality	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
Add push/pop to box optimization	Anh-Dung Phan	More...				almost 12 years ago
Revise optimize commands	Anh-Dung Phan	More...				almost 12 years ago
Reorganize combination of objectives	Anh-Dung Phan	More...				almost 12 years ago
Clean up	Anh-Dung Phan	More...				almost 12 years ago

←
1
2
…
597
598
599
600
601
602
603
604
605
…
663
664
→