openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
Z
Z3
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
High Activity
Commits
: Listings
Analyzed
about 11 hours
ago. based on code collected
about 11 hours
ago.
Jul 31, 2024 — Jul 31, 2025
Showing page 621 of 662
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Replace std::sort with std::stable_sort when the given relation is just a partial order. This change avoids discrepancies when using different implmentations of std::sort.
Leonardo de Moura
More...
over 12 years ago
dl_bit_blasting: run simplifier before bit-blasting, in order to comply with its precondition
Nuno Lopes
More...
over 12 years ago
Fix typos
Leonardo de Moura
More...
over 12 years ago
rule_manager::mk(): default initialization of m_proof to null
Nuno Lopes
More...
over 12 years ago
qe_lite> fix crash in is_var_eq() (by me & Nikolaj)
Nuno Lopes
More...
over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More...
over 12 years ago
fix build warning, make context simplifier traverse subterms
Nikolaj Bjorner
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 option :bv-sort-ac true
Leonardo de Moura
More...
over 12 years ago
fix build breaks
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
fix build breaks
Nikolaj Bjorner
More...
over 12 years ago
Fix gcc compilation errors
Leonardo de Moura
More...
over 12 years ago
Remove trace msg
Leonardo de Moura
More...
over 12 years ago
Fix non ASCII character
Leonardo de Moura
More...
over 12 years ago
missing hnf
Nikolaj Bjorner
More...
over 12 years ago
local changes
Nikolaj Bjorner
More...
over 12 years ago
significant update to Horn routines: add module hnf to extract Horn normal form (removed from rule_manager). Associate proof objects with rules to track (all) rewrites, so that proof traces can be tracked back to original rules after transformations
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 unit test for previous commit
Nuno Lopes
More...
over 12 years ago
bit_vector: fix operator==() for the case that num_bits is a multiple of 32
Nuno Lopes
More...
over 12 years ago
Revert "fix crash in qe_lite::is_var_eq"
unknown
More...
over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nikolaj Bjorner
More...
over 12 years ago
fix crash in qe_lite::is_var_eq
unknown
More...
over 12 years ago
fix overloading of complement from base_table
Nuno Lopes
More...
over 12 years ago
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable
Nuno Lopes
More...
over 12 years ago
remove debug code
Nuno Lopes
More...
over 12 years ago
make model and proof converters a reference
Nikolaj Bjorner
More...
over 12 years ago
move quantifier hoist routines to quant_hoist
Nikolaj Bjorner
More...
over 12 years ago
Move ast_counter to location for common utilities. It depends on get_free_vars, so is in rewriter directory
Nikolaj Bjorner
More...
over 12 years ago
←
1
2
…
617
618
619
620
621
622
623
624
625
…
661
662
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree