- Notifications
You must be signed in to change notification settings - Fork1.5k
Actions: Z3Prover/z3
Actions
WindowsActions
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.
775 workflow runs
775 workflow runs
fix #7725 - proofs are only possible if context was created with proo…Windows #979: Commitfd54554 pushed byNikolajBjorner
debug : Add support for selecting LLDB via invoke on macOS (#7726)Windows #978: Commite575919 pushed byNikolajBjorner
wip - throttle AC completion, enable congruences over bound bodiesWindows #977: Commit0995928 pushed byNikolajBjorner
working on ho-matcherWindows #976: Commit35b1d09 pushed byNikolajBjorner
update build dependenciesWindows #975: Commit195f3c9 pushed byNikolajBjorner
turn on ho-matcher for completionWindows #974: Commit0c5b0c3 pushed byNikolajBjorner
fixes to ho-matcherWindows #973: Commit2d1a42d pushed byNikolajBjorner
make concurrent collect_statistics in a timeout thread safeWindows #972: Commit3ccf7a6 pushed byNikolajBjorner
ho matcher draftWindows #971: Commit951554e pushed byNikolajBjorner
Update azure-pipelines.yml for Azure PipelinesWindows #970: Commit0ee1ee5 pushed byNikolajBjorner
use usize to suppress the data loss warningsWindows #969: Commitd2990e2 pushed bylevnach
deal with warningsWindows #968: Commitf544dd4 pushed byNikolajBjorner
Fix O(n²) performance issue in CLI datatype declaration processing (#…Windows #967: Commit75678fc pushed byNikolajBjorner
trace : Sort and reorder trace tags by tag_class and tag_name (#7714)Windows #966: Commit53c48f7 pushed byNikolajBjorner
fixup pipleline to support testing packagingWindows #965: Commit0218fb7 pushed byNikolajBjorner
trace : Classify tag_names unique to smt_internalize.cpp (#7713)Windows #964: Commit0928a1f pushed byNikolajBjorner
call into collect_statistics in case of -T interruptWindows #962: Commit97193b4 pushed byNikolajBjorner
Add python packaging to main pipeline to check updates to sdistWindows #961: Commitbc96e9e pushed byNikolajBjorner
use usize to work around mess with static_cast<unsigned> insertions w…Windows #960: Commit725c093 pushed byNikolajBjorner
Revert "Fix source installation to create dist-info directory for pac…Windows #959: Commit661ccb3 pushed byNikolajBjorner
Update nightly.yaml for Azure PipelinesWindows #958: Commitb1259fb pushed byNikolajBjorner
Fix source installation to create dist-info directory for package dis…Windows #957: Commitad0afbb pushed byNikolajBjorner
following the review commentsWindows #956: Commit28d0b47 pushed bylevnach
Fix pydoc doctest failures by updating expected output format for str…Windows #955: Commit84a6e4d pushed byNikolajBjorner