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 27, 2024 — Aug 27, 2025 Showing page 655 of 664 Search / Filter on:
python example	Leonardo de Moura	More...				almost 13 years ago
C examples	Leonardo de Moura	More...				almost 13 years ago
Added CC (C compiler) to config.mk scripts	Leonardo de Moura	More...				almost 13 years ago
Fixed python regressions. Added missing tactic.	Leonardo de Moura	More...				almost 13 years ago
renamed test_capi	Leonardo de Moura	More...				almost 13 years ago
dotnet example	Leonardo de Moura	More...				almost 13 years ago
dotnet example	Leonardo de Moura	More...				almost 13 years ago
c++ example	Leonardo de Moura	More...				almost 13 years ago
moved generated VS project file to build dir	Leonardo de Moura	More...				almost 13 years ago
fixing linking problem	Leonardo de Moura	More...				almost 13 years ago
fixed: missing library, more compilation errors in debug mode reported by g++ 4.7.1	Leonardo de Moura	More...				almost 13 years ago
fixed more compilation errors reported by g++ 4.7.1	Leonardo de Moura	More...				almost 13 years ago
fixed compilation errors reported by g++ 4.7.1	Leonardo de Moura	More...				almost 13 years ago
Added make install/uninstall	Leonardo de Moura	More...				almost 13 years ago
fixed configure.ac, now fails if gcc is not installed	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
fixing eol	Leonardo de Moura	More...				almost 13 years ago
created parsers folder	Leonardo de Moura	More...				almost 13 years ago
moved smt 1.0 parser to its own module	Leonardo de Moura	More...				almost 13 years ago
removing 'fat' from smt 1.0 parser	Leonardo de Moura	More...				almost 13 years ago
removing 'fat' from smt 1.0 parser	Leonardo de Moura	More...				almost 13 years ago
minimizing smt 1.0 parser dependencies	Leonardo de Moura	More...				almost 13 years ago
removed native low level parser	Leonardo de Moura	More...				almost 13 years ago
polishing VS build	Leonardo de Moura	More...				almost 13 years ago
move pdb file to build dir	Leonardo de Moura	More...				almost 13 years ago
auto gen dotnet support	Leonardo de Moura	More...				almost 13 years ago
Moved Microsoft.Z3V3 to dead folder	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
new xor simplification	Leonardo de Moura	More...				almost 13 years ago
simplify body	Nikolaj Bjorner	More...				almost 13 years ago

←
1
2
…
651
652
653
654
655
656
657
658
659
…
663
664
→