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 656 of 663 Search / Filter on:
finished script for auto-gen of install_tactic procedure	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
auto generate install_tactics procedure	Leonardo de Moura	More...				almost 13 years ago
n/a	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
fixed bug	Leonardo de Moura	More...				almost 13 years ago
script for updating version numbers.	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Leonardo de Moura	More...				almost 13 years ago
reorganizing the code	Leonardo de Moura	More...				almost 13 years ago
some test cases for problem reported in stackoverflow	Nikolaj Bjorner	More...				almost 13 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				almost 13 years ago
get_model_ptr to align naming	Nikolaj Bjorner	More...				almost 13 years ago
fixing some compilation warnings	Leonardo de Moura	More...				almost 13 years ago
improving compilation options	Leonardo de Moura	More...				almost 13 years ago
remove -fPIC	Leonardo de Moura	More...				almost 13 years ago
Improving Z3 build for cygwin. Fixed sets deprecated warning.	Leonardo de Moura	More...				almost 13 years ago
Added support for windows DLLs	Leonardo de Moura	More...				almost 13 years ago
Configure script aborts if python is not installed	Leonardo de Moura	More...				almost 13 years ago
Enabled .so support	Leonardo de Moura	More...				almost 13 years ago
using a consistent naming convention for naming tactic subfolders	Leonardo de Moura	More...				almost 13 years ago
move array_property_expander to dead code bin	Leonardo de Moura	More...				almost 13 years ago
fixed compilation bug	Leonardo de Moura	More...				almost 13 years ago
fixed compilation bug	Leonardo de Moura	More...				almost 13 years ago
fixed compilation bug	Leonardo de Moura	More...				almost 13 years ago
fixed compilation bug	Leonardo de Moura	More...				almost 13 years ago
reorganizing the code	Leonardo de Moura	More...				almost 13 years ago
added missing flags	Leonardo de Moura	More...				almost 13 years ago

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