Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 663 of 663 Search / Filter on:
clean .z3-trace	Josh Berdine	More...				almost 13 years ago
updated ml build scripts to assume required tools are already set up, and added comments specifying which tools are required	Josh Berdine	More...				almost 13 years ago
regenerated ml api	Josh Berdine	More...				almost 13 years ago
reordered Z3_get_quantifier_num_bound in z3_api	Josh Berdine	More...				almost 13 years ago
fixed typos in docs for num_no_patterns and no_patterns	Josh Berdine	More...				almost 13 years ago
Merge branch 'master' of /home/leo/projects-bare/z3	Leonardo de Moura	More...				almost 13 years ago
removed unnecessary files.	Leonardo de Moura	More...				almost 13 years ago
Fixed pointer arith. bug	Leonardo de Moura	More...				almost 13 years ago
Added simple file	Leonardo de Moura	More...				almost 13 years ago
Removed unnecessary files. They were accidently added.	Leonardo de Moura	More...				almost 13 years ago
Making sure Z3 compiles with gcc 4.7.1. Making sure 'make release' works. Temporarily removed iz3 and ocaml bindings from 'make release' script. Removed test_user_theory from 'make release' script.	Leonardo de Moura	More...				almost 13 years ago
Added missing files	Leonardo de Moura	More...				almost 13 years ago
llvm stuff	Leonardo de Moura	More...				almost 13 years ago
Licence	Leonardo de Moura	More...				almost 13 years ago
update_api script for Linux/OSX	Leonardo de Moura	More...				almost 13 years ago
missing file	Leonardo de Moura	More...				almost 13 years ago
modified scripts to be able to run them on Linux/OSX	Leonardo de Moura	More...				almost 13 years ago
Added documentation for update_api.sh	Leonardo de Moura	More...				almost 13 years ago
disable build.cmd from update_api.cmd	Leonardo de Moura	More...				almost 13 years ago
Added missing file	Leonardo de Moura	More...				almost 13 years ago
Added ml component	Leonardo de Moura	More...				almost 13 years ago
Improve _find_lib() in Z3Py for Linux/OSX	Leonardo de Moura	More...				almost 13 years ago
Fixed gcc compilation error	Leonardo de Moura	More...				almost 13 years ago
Fixed user name	Leonardo de Moura	More...				almost 13 years ago
other components	Leonardo de Moura	More...				almost 13 years ago
Z3 sources	Leonardo de Moura	More...				almost 13 years ago
Z3Py extra files	Leonardo de Moura	More...				almost 13 years ago
Z3Py sources	Leonardo de Moura	More...				almost 13 years ago

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