Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

smt: create quantifiers using de Brujin indexes Build #1483: Commit e4f63f4 pushed by nunoplopes
December 19, 2024 09:00 7m 5s master
master
December 19, 2024 09:00 7m 5s
smt: create quantifiers using de Brujin indexes Code Scanning - Action #1669: Commit e4f63f4 pushed by nunoplopes
December 19, 2024 09:00 3m 44s master
master
December 19, 2024 09:00 3m 44s
remove unused #include Code Scanning - Action #1668: Commit f04eed2 pushed by nunoplopes
December 16, 2024 22:21 3m 38s master
master
December 16, 2024 22:21 3m 38s
remove unused #include Build #1482: Commit f04eed2 pushed by nunoplopes
December 16, 2024 22:21 7m 30s master
master
December 16, 2024 22:21 7m 30s
smt expr: mark validity checking as likely to pass Code Scanning - Action #1667: Commit 67ab597 pushed by nunoplopes
December 16, 2024 22:00 3m 35s master
master
December 16, 2024 22:00 3m 35s
smt expr: mark validity checking as likely to pass Build #1481: Commit 67ab597 pushed by nunoplopes
December 16, 2024 22:00 6m 57s master
master
December 16, 2024 22:00 6m 57s
smt expr: revert the limit on lambda subst Code Scanning - Action #1666: Commit 7482df8 pushed by nunoplopes
December 16, 2024 18:41 3m 44s master
master
December 16, 2024 18:41 3m 44s
smt expr: revert the limit on lambda subst Build #1480: Commit 7482df8 pushed by nunoplopes
December 16, 2024 18:41 6m 51s master
master
December 16, 2024 18:41 6m 51s
tv: tweak globalsAA string for latest LLVM version Build #1479: Commit 50d8376 pushed by nunoplopes
December 16, 2024 14:17 12m 7s master
master
December 16, 2024 14:17 12m 7s
tv: tweak globalsAA string for latest LLVM version Code Scanning - Action #1665: Commit 50d8376 pushed by nunoplopes
December 16, 2024 14:17 3m 41s master
master
December 16, 2024 14:17 3m 41s
github_actions in /. - Update #933464085 Dependabot Updates #3: by dependabot bot
December 16, 2024 14:07 35s master
master
December 16, 2024 14:07 35s
add a new specialized smt::expr::subst_var Code Scanning - Action #1664: Commit 2f7ede8 pushed by nunoplopes
December 16, 2024 11:38 3m 49s master
master
December 16, 2024 11:38 3m 49s
add a new specialized smt::expr::subst_var Build #1478: Commit 2f7ede8 pushed by nunoplopes
December 16, 2024 11:38 8m 2s master
master
December 16, 2024 11:38 8m 2s
smt: allocate subst vars array on the stack, as it is always very small Code Scanning - Action #1663: Commit 92736c4 pushed by nunoplopes
December 16, 2024 11:22 3m 32s master
master
December 16, 2024 11:22 3m 32s
smt: allocate subst vars array on the stack, as it is always very small Build #1477: Commit 92736c4 pushed by nunoplopes
December 16, 2024 11:22 1m 42s master
master
December 16, 2024 11:22 1m 42s
smt expr: check memory threshold before rewriting a lambda Code Scanning - Action #1662: Commit 84196ac pushed by nunoplopes
December 16, 2024 10:21 3m 52s master
master
December 16, 2024 10:21 3m 52s
smt expr: check memory threshold before rewriting a lambda Build #1476: Commit 84196ac pushed by nunoplopes
December 16, 2024 10:21 7m 17s master
master
December 16, 2024 10:21 7m 17s
fix regression when temporarily changing the number of local blocks f… Build #1475: Commit 57056bd pushed by nunoplopes
December 16, 2024 09:45 7m 6s master
master
December 16, 2024 09:45 7m 6s
fix regression when temporarily changing the number of local blocks f… Code Scanning - Action #1661: Commit 57056bd pushed by nunoplopes
December 16, 2024 09:45 4m 1s master
master
December 16, 2024 09:45 4m 1s
[memory] optimize refinement check Build #1474: Commit 80c89c4 pushed by nunoplopes
December 15, 2024 21:11 7m 48s master
master
December 15, 2024 21:11 7m 48s
[memory] optimize refinement check Code Scanning - Action #1660: Commit 80c89c4 pushed by nunoplopes
December 15, 2024 21:11 3m 44s master
master
December 15, 2024 21:11 3m 44s
Code Scanning - Action Code Scanning - Action #1659: Scheduled
December 15, 2024 02:49 3m 28s master
master
December 15, 2024 02:49 3m 28s
better fix for #1144 Build #1473: Commit 341f4c1 pushed by nunoplopes
December 13, 2024 10:17 7m 27s master
master
December 13, 2024 10:17 7m 27s
better fix for #1144 Code Scanning - Action #1658: Commit 341f4c1 pushed by nunoplopes
December 13, 2024 10:17 3m 36s master
master
December 13, 2024 10:17 3m 36s
fix #1144: crash to broken local block count if different in src/tgt Build #1472: Commit 4b5b13c pushed by nunoplopes
December 13, 2024 10:00 7m 46s master
master
December 13, 2024 10:00 7m 46s