Commits

Commits on Mar 10, 2022

Correcting operations used for Floating-Point sorts ge and le operations

abhishekc-sharma
authored and
sameer
committedMar 10, 2022

Commits on Mar 4, 2022

z3 optimize soft_assert weights can be negative

aquarial
authored and
sameer
committedMar 4, 2022
patch: add get_context method to Optimize

verpeteren
authored and
sameer
committedMar 4, 2022

Commits on Jan 21, 2022

Fixes to CI

SeeSpring
authored and
sameer
committedJan 21, 2022
Remove unused mut

SeeSpring
authored and
sameer
committedJan 21, 2022
Remove unused variable

SeeSpring
authored and
sameer
committedJan 21, 2022
Add missing context assertion in _safe_eq

SeeSpring
authored and
sameer
committedJan 21, 2022
Replace instances of guard with _guard

SeeSpring
authored and
sameer
committedJan 21, 2022
Remove allow(dead_code) & allow(unused_variables)

SeeSpring
authored and
sameer
committedJan 21, 2022

Commits on Jan 20, 2022

Remove unused attribute allow(unused_comparisons)

SeeSpring
authored and
sameer
committedJan 20, 2022
Removed unneeded bindgen features

SeeSpring
authored and
sameer
committedJan 20, 2022
expose Z3_mk_solver_for_logic

dzhu
authored and
sameer
committedJan 20, 2022

Commits on Sep 17, 2021

add option to choose z3.h for bindgen

futile
authored and
sameer
committedSep 17, 2021
Binding for try_for tactic

tetzel
authored and
sameer
committedSep 17, 2021
Handle z3 tactic failure case

tyleretzel
authored and
sameer
committedSep 17, 2021

Commits on Aug 31, 2021

Fix crates.io badges

atouchet
authored and
sameer
committedAug 31, 2021

Commits on Aug 24, 2021

bump z3 and z3-sys to fix prove-rs#157
sameer
committedAug 24, 2021

Commits on Jul 21, 2021

track z3 v4.8.12
sameer
committedJul 21, 2021
release z3-sys v0.7.0 & bump z3 to v0.11.1
sameer
committedJul 21, 2021

Commits on Jul 8, 2021

release z3 v0.11.0
sameer
committedJul 8, 2021

Commits on Jul 5, 2021

fix RecFuncDecl::add_def doc example after prove-rs#145
sameer
committedJul 5, 2021
Revert "track z3 v4.8.10"
sameer
committedJul 5, 2021
Revert "cherry-pick Z3Prover/z3#1227 "
sameer
committedJul 5, 2021
Removed Dynamic parameters, and refactored some code

GreenBeard
authored and
sameer
committedJul 5, 2021
cherry-pick Z3Prover/z3#1227
sameer
committedJul 5, 2021
track z3 v4.8.10
sameer
committedJul 5, 2021
Add assert_eq to add_def of args', body's and self's context

skius
authored and
sameer
committedJul 5, 2021
Add RecFuncDecl to wrap Z3_add_rec_def

skius
authored and
sameer
committedJul 5, 2021

Commits on May 31, 2021

Fix bug with Set::del

bumblepie
authored and
waywardmonkeys
committedMay 31, 2021

Commits on Apr 8, 2021

z3-sys: automate enum generation via bindgen
sameer
committedApr 8, 2021

Commits on Apr 7, 2021

Update documentation related to DatatypeAccessor

AzureMarker
authored and
sameer
committedApr 7, 2021
Revert "Merge pull request prove-rs#113 from rhdl/sort_accessor_ref"

AzureMarker
authored and
sameer
committedApr 7, 2021

Commits on Mar 31, 2021

restore test_issue_94
sameer
committedMar 31, 2021
add badges and release process to README
sameer
committedMar 31, 2021
Implement Clone for Sort

AzureMarker
authored and
sameer
committedMar 31, 2021