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 24, 2024 — Jul 24, 2025 Showing page 628 of 661 Search / Filter on:
ML API: Added Solver.assert_and_track	Christoph M. Wintersteiger	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Christoph M. Wintersteiger	More...				over 12 years ago
Java API: syntactic adjustments, getters, setters, ... convenience parameters, etc.	Christoph M. Wintersteiger	More...				over 12 years ago
Added Solver.AssertAndTrack Convenience fixes. Renamed Context.Const to Context.ConstProbe	Christoph M. Wintersteiger	More...				over 12 years ago
add back cooperate.h include (not used now, but will be)	Nikolaj Bjorner	More...				over 12 years ago
working on tab	Nikolaj Bjorner	More...				over 12 years ago
add tabulation/subsumption engine	Nikolaj Bjorner	More...				over 12 years ago
Fix problem in inv_rf	Leonardo de Moura	More...				over 12 years ago
Fix typo	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Leonardo de Moura	More...				over 12 years ago
Add gprof support	Leonardo de Moura	More...				over 12 years ago
Add lazy normalization for algebraic extension values. Increase default max_precision to 128.	Leonardo de Moura	More...				over 12 years ago
ML API: added functions for global parameter management.	Christoph M. Wintersteiger	More...				over 12 years ago
ML API: added functions for global parameter management.	Christoph M. Wintersteiger	More...				over 12 years ago
fix pretty printer for smt2 unary minus	Nikolaj Bjorner	More...				over 12 years ago
.NET and Java APIs: added functions for global parameter management.	Christoph M. Wintersteiger	More...				over 12 years ago
Add new rational function normalization procedure.	Leonardo de Moura	More...				over 12 years ago
ML API: updated example	Christoph M. Wintersteiger	More...				over 12 years ago
ML API: updated example	Christoph M. Wintersteiger	More...				over 12 years ago
Replace expensive_eval_sign_at with version that does not generate rational numbers	Leonardo de Moura	More...				over 12 years ago
Add API for extracting numerator/denominator of RCF numerals. Add field to store the original isolating interval before refinement.	Leonardo de Moura	More...				over 12 years ago
Cache isolating interval for better pretty printing	Leonardo de Moura	More...				over 12 years ago
Avoid wasteful memory allocation	Leonardo de Moura	More...				over 12 years ago
Fix bug. Add is_denominator_one macro.	Leonardo de Moura	More...				over 12 years ago
Add support for compact string representation in the RCF API	Leonardo de Moura	More...				over 12 years ago
Make sure we do not use denominators != 1 when encoding values of algebraic extensions	Leonardo de Moura	More...				over 12 years ago
Fix bug reported at http://stackoverflow.com/questions/14307692/unknown-when-using-defs	Leonardo de Moura	More...				over 12 years ago
Add configure script that is just a wrapper for python 'src/mk_make.py'. It makes the build more user friendly for users familiar with ./configure + make idiom	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' into contrib	Leonardo de Moura	More...				over 12 years ago
Fix Visual Studio warnings	Leonardo de Moura	More...				over 12 years ago

←
1
2
…
624
625
626
627
628
629
630
631
632
…
660
661
→