Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Jun 18, 2023

Commits on Jun 16, 2023

pattern_inference.h: include rewriter_def.h (#6765)
tcely
authored

Commits on Jun 13, 2023

add guard for eq adapter
NikolajBjorner
committed

Commits on Jun 8, 2023

Commits on Jun 7, 2023

Commits on Jun 6, 2023

remove debug output
NikolajBjorner
committed
regression on quantifier weight computation when weights are 0 vs non-0. It modifies a change made for the fix of #2667. That fix caused a regression in F*. Reported @mtzguido
NikolajBjorner
committed
make der selective to configuration. For F*, quantifiers are hand or machine generated in specific formats and the tool depends on e-matching to use precisely the format of the quantifiers that hav…
NikolajBjorner
committed

Commits on Jun 3, 2023

fix #6746, fix type errors in java bindings
NikolajBjorner
committed

Commits on Jun 2, 2023

Fix UP's decide callback (#6707)
CEisenhofer
authored

Commits on May 30, 2023

Commits on May 28, 2023

Add solver::interrupt to Python's API. (#6739)
m-carrasco
authored

Commits on May 26, 2023

fix #6734
NikolajBjorner
committed

Commits on May 24, 2023

Java user propagator interface (#6733)
xywang18
authored

Commits on May 13, 2023

Commits on May 12, 2023

Commits on May 11, 2023