- Notifications
You must be signed in to change notification settings - Fork1.5k
Actions: Z3Prover/z3
Actions
Pyodide BuildActions
Loading...
LoadingSorry, something went wrong.
Uh oh!
There was an error while loading.Please reload this page.
Actions
Loading...
LoadingSorry, something went wrong.
Uh oh!
There was an error while loading.Please reload this page.
554 workflow runs
554 workflow runs
fix #7725 - proofs are only possible if context was created with proo…Pyodide Build #554: Commitfd54554 pushed byNikolajBjorner
debug : Add support for selecting LLDB via invoke on macOS (#7726)Pyodide Build #553: Commite575919 pushed byNikolajBjorner
wip - throttle AC completion, enable congruences over bound bodiesPyodide Build #552: Commit0995928 pushed byNikolajBjorner
working on ho-matcherPyodide Build #551: Commit35b1d09 pushed byNikolajBjorner
update build dependenciesPyodide Build #550: Commit195f3c9 pushed byNikolajBjorner
turn on ho-matcher for completionPyodide Build #549: Commit0c5b0c3 pushed byNikolajBjorner
fixes to ho-matcherPyodide Build #548: Commit2d1a42d pushed byNikolajBjorner
make concurrent collect_statistics in a timeout thread safePyodide Build #547: Commit3ccf7a6 pushed byNikolajBjorner
ho matcher draftPyodide Build #546: Commit951554e pushed byNikolajBjorner
Update azure-pipelines.yml for Azure PipelinesPyodide Build #545: Commit0ee1ee5 pushed byNikolajBjorner
use usize to suppress the data loss warningsPyodide Build #544: Commitd2990e2 pushed bylevnach
deal with warningsPyodide Build #543: Commitf544dd4 pushed byNikolajBjorner
Fix O(n²) performance issue in CLI datatype declaration processing (#…Pyodide Build #542: Commit75678fc pushed byNikolajBjorner
trace : Sort and reorder trace tags by tag_class and tag_name (#7714)Pyodide Build #541: Commit53c48f7 pushed byNikolajBjorner
fixup pipleline to support testing packagingPyodide Build #540: Commit0218fb7 pushed byNikolajBjorner
trace : Classify tag_names unique to smt_internalize.cpp (#7713)Pyodide Build #539: Commit0928a1f pushed byNikolajBjorner
call into collect_statistics in case of -T interruptPyodide Build #537: Commit97193b4 pushed byNikolajBjorner
Add python packaging to main pipeline to check updates to sdistPyodide Build #536: Commitbc96e9e pushed byNikolajBjorner
use usize to work around mess with static_cast<unsigned> insertions w…Pyodide Build #535: Commit725c093 pushed byNikolajBjorner
Revert "Fix source installation to create dist-info directory for pac…Pyodide Build #534: Commit661ccb3 pushed byNikolajBjorner
Update nightly.yaml for Azure PipelinesPyodide Build #533: Commitb1259fb pushed byNikolajBjorner
Fix source installation to create dist-info directory for package dis…Pyodide Build #532: Commitad0afbb pushed byNikolajBjorner
following the review commentsPyodide Build #531: Commit28d0b47 pushed bylevnach
Fix pydoc doctest failures by updating expected output format for str…Pyodide Build #530: Commit84a6e4d pushed byNikolajBjorner