Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 15 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 18, 2024 — Aug 18, 2025 Showing page 598 of 663 Search / Filter on:
trying Cezary's example	Nikolaj Bjorner	More...				over 11 years ago
fix bugs reported by phan	Nikolaj Bjorner	More...				over 11 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fixing templates for broken windows hash functions	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
remove auxiliary variables from weighted maxsat	Nikolaj Bjorner	More...				over 11 years ago
handle proof-wrapper justifications	Nikolaj Bjorner	More...				over 11 years ago
redo marking mechanism as marked literals can disappear from lemma	Nikolaj Bjorner	More...				over 11 years ago
disabling skip steps to avoid bogus behavior	Nikolaj Bjorner	More...				over 11 years ago
fix wmaxsat	Nikolaj Bjorner	More...				over 11 years ago
fixing templates for broken windows hash functions	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fixed memory error	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
removing address dependencies	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fix is_all_int bug	Nikolaj Bjorner	More...				over 11 years ago
fix bugs in optimization for integers	Nikolaj Bjorner	More...				over 11 years ago
fixes to bugs exposed by regressions	Nikolaj Bjorner	More...				over 11 years ago
fixes to bugs exposed by regressions	Nikolaj Bjorner	More...				over 11 years ago
disable 'optimization' that led to wrong model'	Nikolaj Bjorner	More...				over 11 years ago
porting to linux	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fixes to maxsmt	Nikolaj Bjorner	More...				over 11 years ago
working on maxsat	Nikolaj Bjorner	More...				over 11 years ago
fixes to model generation of weighted maxsat	Nikolaj Bjorner	More...				over 11 years ago
fix lower/upper bound updates	Nikolaj Bjorner	More...				over 11 years ago
fixed some address dependencies	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fixing lex optimization	Nikolaj Bjorner	More...				over 11 years ago
trying to figure out address dependency	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
trying to fix address depedency in duality_solver.cpp	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fussing more with qe in duality	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fussing with qe in duality	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
still trying to get stl to work	Kenneth McMillan as Ken McMillan	More...				over 11 years ago
fix for broken windows stl	Kenneth McMillan as Ken McMillan	More...				over 11 years ago

←
1
2
…
594
595
596
597
598
599
600
601
602
…
662
663
→