Z

Z3

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 03, 2024 — Sep 03, 2025 Showing page 628 of 665 Search / Filter on:
Fix more issues unintepreted sort tests.	Leonardo de Moura	More...				over 12 years ago
Fix bug in ast_smt_pp.cpp. After user_sort_plugin was introduced, it is not that case that if a sort is uninterpreted, then sort->get_family_id() == null_family_id.	Leonardo de Moura	More...				over 12 years ago
hilbert validation	Nikolaj Bjorner	More...				over 12 years ago
working on hilbert basis	Nikolaj Bjorner	More...				over 12 years ago
cal modifications	Nikolaj Bjorner	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
working on hilbert basis	Nikolaj Bjorner	More...				over 12 years ago
Compress windows distribution zip files	Leonardo de Moura	More...				over 12 years ago
Compress Z3 distribution zip files	Leonardo de Moura	More...				over 12 years ago
Fix bug reported by Andrey Kupriyanov	Leonardo de Moura	More...				over 12 years ago
Fix Python 2.6 incompatibility at mk_util.py	Leonardo de Moura	More...				over 12 years ago
Keep consistent error messages	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
hilbert basis experiment	Nikolaj Bjorner	More...				over 12 years ago
Rename windows nightly build	Leonardo de Moura	More...				over 12 years ago
Add script for building Linux/OSX/FreeBSD distributions	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	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: final adjustments	Christoph M. Wintersteiger	More...				over 12 years ago
Fix build hashcode	Leonardo de Moura	More...				over 12 years ago
Include git hash in the binary	Leonardo de Moura	More...				over 12 years ago
Fix git_hash function	Leonardo de Moura	More...				over 12 years ago
hilbert basis	Nikolaj Bjorner	More...				over 12 years ago
updating tests	Nikolaj Bjorner	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
add hilbert basis utility for extracting auxiliary invariants	Nikolaj Bjorner	More...				over 12 years ago
add hilbert basis utility for extracting auxiliary invariants	Nikolaj Bjorner	More...				over 12 years ago
Fix uninterpreted sort definition. There was a mismatch in the behavior of the API and SMT front-ends. The SMT front-ends were using user_sorts to be able to support parametric uninterpreted sorts. After this fix, the API also creates user_sorts.	Leonardo de Moura	More...				over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	Nikolaj Bjorner	More...				over 12 years ago
local changes to pdr_generalizer	Nikolaj Bjorner	More...				over 12 years ago

←
1
2
…
624
625
626
627
628
629
630
631
632
…
664
665
→