Skip to content

Actions: OmriIsacHUJI/Marabou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove contradiction threshold clang-format Check #108: Commit 8ffba44 pushed by omriisack
1m 50s master
master
1m 50s
parameter tuning clang-format Check #107: Commit 8a90e74 pushed by omriisack
1m 48s master
master
1m 48s
Improve stability clang-format Check #106: Commit 27c4312 pushed by omriisack
1m 47s master
master
1m 47s
formatting clang-format Check #105: Commit 8c7fd78 pushed by omriisack
1m 46s master
master
1m 46s
Improve numerical stability clang-format Check #104: Commit 4a0d78c pushed by omriisack
1m 49s master
master
1m 49s
formatting clang-format Check #103: Commit 2f03c82 pushed by omriisack
1m 49s master
master
1m 49s
proofmin optimizations clang-format Check #102: Commit c1b2b5e pushed by omriisack
1m 43s master
master
1m 43s
delegation bugfix clang-format Check #101: Commit bc54a34 pushed by omriisack
1m 45s master
master
1m 45s
minor clang-format Check #100: Commit fa62296 pushed by omriisack
1m 45s master
master
1m 45s
minor bug when writing an mpq as an integer clang-format Check #99: Commit 676b578 pushed by omriisack
1m 50s master
master
1m 50s
formatting clang-format Check #98: Commit 08afd63 pushed by omriisack
1m 46s master
master
1m 46s
Merge remote-tracking branch 'origin/master' clang-format Check #97: Commit 4908ead pushed by omriisack
1m 52s master
master
1m 52s
formatting clang-format Check #96: Commit 9f6367f pushed by omriisack
1m 33s master
master
1m 33s
formatting clang-format Check #95: Commit ed4c8f3 pushed by omriisack
1m 46s master
master
1m 46s
formatting clang-format Check #94: Commit aa82df9 pushed by omriisack
1m 52s master
master
1m 52s
minor clang-format Check #93: Commit 382910b pushed by omriisack
1m 52s master
master
1m 52s
Add option to delete proofs clang-format Check #92: Commit 4406dce pushed by omriisack
1m 43s master
master
1m 43s
minor clang-format Check #91: Commit 746ad6d pushed by OmriIsacHUJI
1m 48s master
master
1m 48s
Write Alethe proofs based on the ground bound manager clang-format Check #90: Commit b51f318 pushed by OmriIsacHUJI
1m 55s master
master
1m 55s
Rename formulas clang-format Check #89: Commit bc0b875 pushed by OmriIsacHUJI
1m 44s master
master
1m 44s
minor clang-format Check #88: Commit 931575e pushed by OmriIsacHUJI
1m 46s master
master
1m 46s
Initial support for alethe proof production during verification (inco… clang-format Check #87: Commit 9246431 pushed by OmriIsacHUJI
1m 47s master
master
1m 47s
Support all ReLU lemmas. clang-format Check #86: Commit 97d4076 pushed by OmriIsacHUJI
1m 45s master
master
1m 45s
Add convenient assumptions, support additional lemmas, use proof hole… clang-format Check #85: Commit 139b331 pushed by OmriIsacHUJI
1m 40s master
master
1m 40s
First lemma type passes initial tests clang-format Check #84: Commit 6dea5e3 pushed by OmriIsacHUJI
1m 48s master
master
1m 48s