Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 31, 2024 — Jul 31, 2025 Showing page 655 of 662 Search / Filter on:
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
moving tactics to tactic folder	Leonardo de Moura	More...				almost 13 years ago
deleted assertion_sets (aka old tactic framework)	Leonardo de Moura	More...				almost 13 years ago
removing last refs to assertion_set	Leonardo de Moura	More...				almost 13 years ago
had to nuke mip_tactic, it was based on the smt_solver_exp (experimental), that depends on assertion_sets. This change will affect Z3's performance on QF_LIA and QF_LRA benchmarks. The new mcsat should fix that.	Leonardo de Moura	More...				almost 13 years ago
Minimizing dependencies to assertion_set	Leonardo de Moura	More...				almost 13 years ago
moved new ml stuff to src/ml	Leonardo de Moura	More...				almost 13 years ago
Integrated structured branch into unstable branch (the official 'working in progress' branch)	Leonardo de Moura	More...				almost 13 years ago
fixed compilation bugs	Leonardo de Moura	More...				almost 13 years ago
Isolating reg_decl_plugins	Leonardo de Moura	More...				almost 13 years ago
checkpoint	Leonardo de Moura	More...				almost 13 years ago
Completed the new UFBV tactic and installed it by default. Removed UFBV_strategy.	Christoph M. Wintersteiger	More...				almost 13 years ago
Simplified scripts using /MD option	Leonardo de Moura	More...				almost 13 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Christoph M. Wintersteiger	More...				almost 13 years ago
Added ufbv_tactic (soon to replace ufbv_strategy). Renamed demodulator to ufbv_rewriter (filename and in code).	Christoph M. Wintersteiger	More...				almost 13 years ago
fix compilation error under gcc reported by Arie Gurfinkel	Nikolaj Bjorner	More...				almost 13 years ago
moved .net example	Leonardo de Moura	More...				almost 13 years ago
Moved .NET and ml APIs to src	Leonardo de Moura	More...				almost 13 years ago
reorganizing the code	Leonardo de Moura	More...				almost 13 years ago
reorganizing the code	Leonardo de Moura	More...				almost 13 years ago
fixed VS debug mode compilation	Leonardo de Moura	More...				almost 13 years ago
moved python to src	Leonardo de Moura	More...				almost 13 years ago
moved dll and examples	Leonardo de Moura	More...				almost 13 years ago
moved examples to new examples folder	Leonardo de Moura	More...				almost 13 years ago
Improving visual studio support	Leonardo de Moura	More...				almost 13 years ago
improving mk_make	Leonardo de Moura	More...				almost 13 years ago

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