Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,037 workflow runs
1,037 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
[Experimental] Classify each SMT-query ci #2510: Pull request #966 synchronize by jcp19
12m 47s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
12m 47s
Skip recording trivially-known queries; fix missing source positions ci #2509: Commit 652f088 pushed by jcp19
13m 2s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
13m 2s
fix infeasibility node ci #2508: Commit bcbe1b6 pushed by AndreaKe
14m 10s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
14m 10s
fixes ci #2507: Commit 69c7064 pushed by AndreaKe
13m 47s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
13m 47s
Update Submodules Update Submodules #921: Scheduled
10s master
master
10s
Add infrastructure for benchmarking scion ci #2506: Commit 67d0fa1 pushed by jcp19
9m 27s benchmarks-scion
benchmarks-scion
9m 27s
[Experimental] Classify each SMT-query ci #2505: Pull request #966 opened by jcp19
12m 49s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
12m 49s
Add optional description field to ProofQueryRecord for sparse on-dema… ci #2504: Commit eb2b81b pushed by jcp19
13m 19s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
13m 19s
Thread member name through call sites that previously lacked access t… ci #2503: Commit a2b62f6 pushed by jcp19
13m 3s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
13m 3s
Update Submodules Update Submodules #920: Scheduled
8s master
master
8s
Merge recordProofQueries and proofQueryCsvFile into single option; fi… ci #2502: Commit 0691f6b pushed by jcp19
13m 25s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
13m 25s
Fix two compilation errors in Evaluator and QuantifiedChunkSupport ci #2501: Commit 4a69247 pushed by jcp19
12m 56s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
12m 56s
Add ProofQueryKind.Unknown for unclassified SMT queries ci #2500: Commit b868f87 pushed by jcp19
1m 35s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
1m 35s
Extend Decider interface with per-query kind, member, position, and t… ci #2499: Commit c6d5df8 pushed by jcp19
1m 42s claude/extend-prover-interface-n7IQJ
claude/extend-prover-interface-n7IQJ
1m 42s
adapt solution for Gobra interfaces ci #2498: Commit a195706 pushed by AndreaKe
14m 18s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
14m 18s
update submodules ci #2497: Commit 86c8f93 pushed by AndreaKe
13m 33s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
13m 33s
adapt Gobra DA implementation to new design ci #2496: Commit 4ae1874 pushed by AndreaKe
1m 50s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
1m 50s
add documentation and cleanup unused code ci #2495: Commit 6c69f8b pushed by AndreaKe
11m 38s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
11m 38s
fix tests ci #2494: Commit 505944c pushed by AndreaKe
11m 28s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
11m 28s
fix for method and function calls ci #2493: Commit 9f7f356 pushed by AndreaKe
11m 21s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
11m 21s
Resetting state in second case at the end of evalQuant (#965) ci #2492: Commit 5c8a113 pushed by marcoeilers
14m 44s master
master
14m 44s
fix state consolidation ci #2491: Commit 7ed0918 pushed by AndreaKe
12m 9s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
12m 9s
Update Submodules Update Submodules #919: Scheduled
12s master
master
12s
Adding missing state reset after evalQuantified ci #2490: Pull request #965 synchronize by marcoeilers
13m 12s meilers_reset_after_eval_quant
meilers_reset_after_eval_quant
13m 12s
Merge branch 'master' into meilers_reset_after_eval_quant ci #2489: Commit e57257d pushed by marcoeilers
12m 34s meilers_reset_after_eval_quant
meilers_reset_after_eval_quant
12m 34s