Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 14 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 18, 2024 — Aug 18, 2025 Showing page 662 of 663 Search / Filter on:
cleanned test_capi example	Leonardo de Moura	More...				almost 13 years ago
Removed external_64 compilation mode	Leonardo de Moura	More...				almost 13 years ago
removed redundant compilation modes	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	unknown	More...				almost 13 years ago
debugging real/int interaction	Nikolaj Bjorner	More...				almost 13 years ago
debugging dl_bmc	Nikolaj Bjorner	More...				almost 13 years ago
debugging dl_bmc	Nikolaj Bjorner	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	Nikolaj Bjorner	More...				almost 13 years ago
debugging imdds and fixed bug in horn subsumption model transformer	Nikolaj Bjorner	More...				almost 13 years ago
Added release notes	Leonardo de Moura	More...				almost 13 years ago
updated API	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of //z3-1/z3 into working	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of https://z3-1/gw/git/z3 into working	Nikolaj Bjorner	More...				almost 13 years ago
exposing hyper resolution rule over C API	Nikolaj Bjorner	More...				almost 13 years ago
Cleaned maxsat example	Leonardo de Moura	More...				almost 13 years ago
Removed release command from Makefile. Cleaned c++ example.	Leonardo de Moura	More...				almost 13 years ago
Added --with-python configuration option, replaced .py with .pyc in install-python make command.	Leonardo de Moura	More...				almost 13 years ago
Working on python bindings	Leonardo de Moura	More...				almost 13 years ago
Added install-python/uninstall-python commands to Makefile	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of /home/leo/projects-bare/z3 into working	Leonardo de Moura	More...				almost 13 years ago
Added install/uninstall to Makefile	Leonardo de Moura	More...				almost 13 years ago
removed tst file	Leonardo de Moura	More...				almost 13 years ago
Fixed memory smash	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'working' of /home/leo/projects-bare/z3 into working	Leonardo de Moura	More...				almost 13 years ago
debugging unsat core generation...	Leonardo de Moura	More...				almost 13 years ago
working on imdds	Nikolaj Bjorner	More...				almost 13 years ago
added build and test scripts and READMEs to distribute	Josh Berdine	More...				almost 13 years ago
removed files specific to source depot and SDV	Josh Berdine	More...				almost 13 years ago
updated ml api test expected output following recent formatting changes	Josh Berdine	More...				almost 13 years ago
clean .z3-trace	Josh Berdine	More...				almost 13 years ago

←
1
2
…
655
656
657
658
659
660
661
662
663
→