Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,359 workflow runs
1,359 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add da test cases test #6354: Commit cfd7d76 pushed by AndreaKe
22m 1s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
22m 1s
redesign annotated tests test #6353: Commit 26a8f94 pushed by AndreaKe
21m 22s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
21m 22s
add dependency analysis test cases test #6352: Commit d7d83cd pushed by AndreaKe
21m 18s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
21m 18s
add dependency analysis test case test #6351: Commit 349a32a pushed by AndreaKe
21m 29s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
21m 29s
add tests for node types and dependencies (for Silicon and Gobra) test #6350: Commit 1e8e8fb pushed by AndreaKe
11m 23s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
11m 23s
Allow outer function outputs in outline preconditions (Fix issue #1029) test #6349: Pull request #1031 synchronize by jcp19
18m 27s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
18m 27s
Allow outer function outputs in outline preconditions (Fix issue #1029) license-check #2515: Pull request #1031 synchronize by jcp19
8s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
8s
Apply suggestions from code review test #6348: Commit bd8a52b pushed by jcp19
19m 20s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
19m 20s
Allow outer function outputs in outline preconditions (Fix issue #1029) test #6347: Pull request #1031 synchronize by jcp19
19m 52s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
19m 52s
Allow outer function outputs in outline preconditions (Fix issue #1029) license-check #2514: Pull request #1031 synchronize by jcp19
17s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
17s
Address PR review on 001029.gobra test #6346: Commit 2adf85c pushed by jcp19
18m 12s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
18m 12s
Allow outer function outputs in outline preconditions (Fix issue #1029) license-check #2513: Pull request #1031 opened by jcp19
17s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
17s
Allow outer function outputs in outline preconditions (Fix issue #1029) test #6345: Pull request #1031 opened by jcp19
19m 43s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
19m 43s
Allow return parameters in preconditions of outline blocks and closures test #6344: Commit 7ad66db pushed by jcp19
20m 24s claude/allow-return-params-preconditions-4wyE3
claude/allow-return-params-preconditions-4wyE3
20m 24s
clean up test #6343: Commit df3062a pushed by AndreaKe
21m 47s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
21m 47s
clean up silver test #6342: Commit e4305dc pushed by AndreaKe
20m 58s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
20m 58s
clean up silver test #6341: Commit 7813f2e pushed by AndreaKe
25m 18s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
25m 18s
clean up silver test #6340: Commit 0d51afb pushed by AndreaKe
20s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
20s
create one node per top-level conjuncts for assertions test #6339: Commit c083272 pushed by AndreaKe
20m 37s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
20m 37s
mark infeasibility checks at branches as internal test #6338: Commit 2ff553a pushed by AndreaKe
22m 42s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
22m 42s
Replace !<...!> predicate-constructor delimiters with {...} license-check #2512: Pull request #1024 synchronize by jcp19
12s claude/improve-predicate-syntax-8kPIR
claude/improve-predicate-syntax-8kPIR
12s
Replace !<...!> predicate-constructor delimiters with {...} test #6337: Pull request #1024 synchronize by jcp19
19m 32s claude/improve-predicate-syntax-8kPIR
claude/improve-predicate-syntax-8kPIR
19m 32s
Don't rewrite ADT constructor literals as predicate constructors test #6336: Commit cecf6c8 pushed by jcp19
23m 1s claude/improve-predicate-syntax-8kPIR
claude/improve-predicate-syntax-8kPIR
23m 1s
Replace !<...!> predicate-constructor delimiters with {...} test #6335: Pull request #1024 synchronize by jcp19
18m 36s claude/improve-predicate-syntax-8kPIR
claude/improve-predicate-syntax-8kPIR
18m 36s
Replace !<...!> predicate-constructor delimiters with {...} license-check #2511: Pull request #1024 synchronize by jcp19
16s claude/improve-predicate-syntax-8kPIR
claude/improve-predicate-syntax-8kPIR
16s