Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 604 of 663 Search / Filter on:
Changed references to _DEBUG to Z3DEBUG. (gcc does not define _DEBUG for debug builds.)	Christoph M. Wintersteiger	More...				almost 12 years ago
continued re-factoring	Nikolaj Bjorner	More...				almost 12 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Nikolaj Bjorner	More...				almost 12 years ago
separate out file for objectives	Nikolaj Bjorner	More...				almost 12 years ago
removed debugginf message in interpolation	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
fixed two interpolation bugs	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
adding farkas axiom to interpolation	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
Update interface of network flows	Anh-Dung Phan	More...				almost 12 years ago
looking for more farkas rules in interpolation	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
handling commutativity rule in interpolation	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
fix regression	Nikolaj Bjorner	More...				almost 12 years ago
tested network sorting	Nikolaj Bjorner	More...				almost 12 years ago
tested network sorting	Nikolaj Bjorner	More...				almost 12 years ago
bugfix for pb2bv	Christoph M. Wintersteiger	More...				almost 12 years ago
add cutting plane	Nikolaj Bjorner	More...				almost 12 years ago
add cutting plane	Nikolaj Bjorner	More...				almost 12 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Nikolaj Bjorner	More...				almost 12 years ago
pb/car constraints	Nikolaj Bjorner	More...				almost 12 years ago
Use templates on spanning trees	Anh-Dung Phan	More...				almost 12 years ago
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt	Anh-Dung Phan	More...				almost 12 years ago
Minor updates	Anh-Dung Phan	More...				almost 12 years ago
Create a separate class for spanning tree	Anh-Dung Phan	More...				almost 12 years ago
Remove m_final from spanning tree representation	Anh-Dung Phan	More...				almost 12 years ago
working on cardinality tactic	Nikolaj Bjorner	More...				almost 12 years ago
working on cardinality tactic	Nikolaj Bjorner	More...				almost 12 years ago
interpolation fix	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
interpolation fix	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
trying to fix proof mode issue	Kenneth McMillan as Ken McMillan	More...				almost 12 years ago
adding simple sorting network	Nikolaj Bjorner	More...				almost 12 years ago
network update	Nikolaj Bjorner	More...				almost 12 years ago

←
1
2
…
600
601
602
603
604
605
606
607
608
…
662
663
→