Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Scanning - Action Code Scanning - Action #1672: Scheduled
December 22, 2024 02:36 3m 27s master
master
December 22, 2024 02:36 3m 27s
optimize inBounds check to remove implied constraint Build #1485: Commit c769c3b pushed by nunoplopes
December 20, 2024 16:39 6m 53s master
master
December 20, 2024 16:39 6m 53s
optimize inBounds check to remove implied constraint Code Scanning - Action #1671: Commit c769c3b pushed by nunoplopes
December 20, 2024 16:39 3m 49s master
master
December 20, 2024 16:39 3m 49s
more tweaks to mem refinement Code Scanning - Action #1670: Commit 66bb70c pushed by nunoplopes
December 20, 2024 09:40 3m 35s master
master
December 20, 2024 09:40 3m 35s
more tweaks to mem refinement Build #1484: Commit 66bb70c pushed by nunoplopes
December 20, 2024 09:40 7m 7s master
master
December 20, 2024 09:40 7m 7s
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