Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into meilers_seq_set_axioms ci #1047: Commit d53a6c7 pushed by marcoeilers
September 26, 2023 09:03 26m 28s meilers_seq_set_axioms
meilers_seq_set_axioms
September 26, 2023 09:03 26m 28s
Fix issue #751 ci #1046: Pull request #752 synchronize by marcoeilers
September 26, 2023 08:58 13m 46s meilers_fix_751
meilers_fix_751
September 26, 2023 08:58 13m 46s
Fixing issue #707 for Z3 API as well ci #1045: Commit 8527848 pushed by marcoeilers
September 26, 2023 08:57 14m 16s meilers_fix_751
meilers_fix_751
September 26, 2023 08:57 14m 16s
change type of assume argument to DebugExp ci #1044: Commit 0dd308b pushed by AndreaKe
September 25, 2023 17:18 41s keuscha/silicon-debugger
keuscha/silicon-debugger
September 25, 2023 17:18 41s
Fix issue #751 ci #1043: Pull request #752 opened by marcoeilers
September 25, 2023 16:42 16m 10s meilers_fix_751
meilers_fix_751
September 25, 2023 16:42 16m 10s
Caching for SMT func decls ci #1042: Commit 6b85bac pushed by marcoeilers
September 25, 2023 16:41 14m 9s meilers_fix_751
meilers_fix_751
September 25, 2023 16:41 14m 9s
Fixing issue 751 ci #1041: Commit e355cd8 pushed by marcoeilers
September 25, 2023 16:18 19m 17s meilers_fix_751
meilers_fix_751
September 25, 2023 16:18 19m 17s
Merge pull request #750 from viperproject/meilers_fix_749 ci #1040: Commit 2e306af pushed by marcoeilers
September 22, 2023 13:30 13m 34s master
master
September 22, 2023 13:30 13m 34s
Fixing unknown function error by recording snapshot masks ci #1039: Pull request #750 synchronize by marcoeilers
September 22, 2023 12:05 13m 5s meilers_fix_749
meilers_fix_749
September 22, 2023 12:05 13m 5s
Merge branch 'master' into meilers_fix_749 ci #1038: Commit 0bfabda pushed by marcoeilers
September 22, 2023 12:05 16m 51s meilers_fix_749
meilers_fix_749
September 22, 2023 12:05 16m 51s
Merge pull request #728 from viperproject/meilers_qp_singleton_greedy… ci #1037: Commit b7bc9ba pushed by marcoeilers
September 22, 2023 12:04 13m 32s master
master
September 22, 2023 12:04 13m 32s
Fixing unknown function error by recording snapshot masks ci #1036: Pull request #750 opened by marcoeilers
September 22, 2023 11:45 13m 30s meilers_fix_749
meilers_fix_749
September 22, 2023 11:45 13m 30s
Fixing unknown function error by recording snapshot masks ci #1035: Commit 9069f59 pushed by marcoeilers
September 22, 2023 11:44 14m 22s meilers_fix_749
meilers_fix_749
September 22, 2023 11:44 14m 22s
Inlining more simplifying multiplications. ci #1034: Commit dcd17b1 pushed by marcoeilers
September 22, 2023 11:39 17m 13s meilers_wildcard_mult
meilers_wildcard_mult
September 22, 2023 11:39 17m 13s
Simplifying wildcard multiplication ci #1033: Commit de745c7 pushed by marcoeilers
September 21, 2023 18:13 13m 57s meilers_wildcard_mult
meilers_wildcard_mult
September 21, 2023 18:13 13m 57s
mods ci #1032: Commit 8ddf73a pushed by Dspil
September 15, 2023 15:40 38m 12s dspil_benchmarking_mods
dspil_benchmarking_mods
September 15, 2023 15:40 38m 12s
Revert "benchmarking mods" ci #1031: Commit 1982e73 pushed by Dspil
September 15, 2023 15:38 14m 15s master
master
September 15, 2023 15:38 14m 15s
benchmarking mods ci #1030: Commit 67fc9a3 pushed by Dspil
September 15, 2023 15:36 33m 50s master
master
September 15, 2023 15:36 33m 50s
Also using shortcut when consuming single singleton chunk ci #1029: Commit dc12ba9 pushed by marcoeilers
September 12, 2023 13:20 13m 52s meilers_qp_singleton_more_greedy_heuristics
meilers_qp_singleton_more_greedy_heuristics
September 12, 2023 13:20 13m 52s
When evaluating a field access for a qp field, look for a matching si… ci #1028: Commit 4d460e7 pushed by marcoeilers
September 12, 2023 12:13 14m 48s meilers_qp_singleton_more_greedy_heuristics
meilers_qp_singleton_more_greedy_heuristics
September 12, 2023 12:13 14m 48s
bug ci #1027: Commit 2acade4 pushed by Dspil
September 12, 2023 09:26 13m 40s dspil_inc
dspil_inc
September 12, 2023 09:26 13m 40s
disable consistency checks for markus ci #1026: Commit e83b7b8 pushed by Dspil
September 12, 2023 09:19 4m 34s dspil_inc
dspil_inc
September 12, 2023 09:19 4m 34s
Greedy-like heuristics for consumeSingleLocation ci #1025: Pull request #728 synchronize by marcoeilers
September 11, 2023 22:58 15m 2s meilers_qp_singleton_greedy_heuristics
meilers_qp_singleton_greedy_heuristics
September 11, 2023 22:58 15m 2s
De-prioritize singleton chunks when we know none of them definitely fits ci #1024: Commit 9b62b97 pushed by marcoeilers
September 11, 2023 22:58 20m 27s meilers_qp_singleton_greedy_heuristics
meilers_qp_singleton_greedy_heuristics
September 11, 2023 22:58 20m 27s
K-induction without heaps might work ci #1023: Commit 122881f pushed by marcoeilers
September 5, 2023 18:48 13m 52s meilers_kinduction
meilers_kinduction
September 5, 2023 18:48 13m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-09-05 or the other filters available.