Skip to content

Actions: AliveToolkit/alive2

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
587 workflow runs
587 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correct Grammar, Spelling, and Capitalization in Documentation
Build #1393: Pull request #1118 synchronize by Danyylka
November 27, 2024 18:14 6m 53s Danyylka:master
November 27, 2024 18:14 6m 53s
Correct Grammar, Spelling, and Capitalization in Documentation
Build #1392: Pull request #1118 opened by Danyylka
November 27, 2024 17:21 6m 43s Danyylka:master
November 27, 2024 17:21 6m 43s
intrinsics: add support for X86 vector intrinsics
Build #1391: Pull request #1117 opened by artagnon
November 27, 2024 16:16 7m 16s artagnon:minotaur-draft
November 27, 2024 16:16 7m 16s
ir: don't rely on class template arg deduction
Build #1390: Pull request #1116 synchronize by artagnon
November 27, 2024 15:02 7m 6s artagnon:squelch-wctad
November 27, 2024 15:02 7m 6s
ir: don't rely on class template arg deduction
Build #1389: Pull request #1116 opened by artagnon
November 27, 2024 14:57 1m 31s artagnon:squelch-wctad
November 27, 2024 14:57 1m 31s
ir/instr: squelch some compiler warnings (#1115)
Build #1388: Commit 708948d pushed by nunoplopes
November 27, 2024 14:06 7m 38s master
November 27, 2024 14:06 7m 38s
ir/instr: squelch some compiler warnings
Build #1387: Pull request #1115 opened by artagnon
November 27, 2024 13:57 6m 38s artagnon:squelch-warn
November 27, 2024 13:57 6m 38s
CMake: avoid use of CMAKE_{SOURCE,BINARY}_DIR
Build #1386: Pull request #1114 opened by artagnon
November 26, 2024 14:59 6m 41s artagnon:cmake-dir
November 26, 2024 14:59 6m 41s
ensure function globals are not zero sized
Build #1385: Commit 25a5972 pushed by nunoplopes
November 20, 2024 14:39 6m 44s master
November 20, 2024 14:39 6m 44s
fix #1109: allow zero-sized globals
Build #1383: Commit 0e64eab pushed by nunoplopes
November 10, 2024 10:39 7m 46s master
November 10, 2024 10:39 7m 46s
fix #1107: false positive with const removal
Build #1382: Commit 0281f6a pushed by nunoplopes
November 4, 2024 15:01 6m 48s master
November 4, 2024 15:01 6m 48s
fix build with latest LLVM
Build #1381: Commit 8b4cbc3 pushed by nunoplopes
November 4, 2024 14:08 7m 13s master
November 4, 2024 14:08 7m 13s
Add EXTERNAL_PROJECTS cmake option (#1100)
Build #1380: Commit eac00b2 pushed by nunoplopes
November 2, 2024 10:58 6m 42s master
November 2, 2024 10:58 6m 42s
add assertion
Build #1379: Commit 59cafed pushed by nunoplopes
October 31, 2024 11:40 7m 31s master
October 31, 2024 11:40 7m 31s
smt: simplify extract from ashr (#1105)
Build #1378: Commit 2a95c52 pushed by nunoplopes
October 31, 2024 11:35 7m 36s master
October 31, 2024 11:35 7m 36s
Simplify extract from ashr
Build #1377: Pull request #1105 opened by can-leh-emmtrix
October 30, 2024 18:19 7m 43s emmtrix:simpl-extract-ashr
October 30, 2024 18:19 7m 43s
CI: try clang 19 and 20
Build #1376: Commit 1665a69 pushed by nunoplopes
October 24, 2024 07:41 7m 20s master
October 24, 2024 07:41 7m 20s
Add EXTERNAL_PROJECTS cmake option
Build #1375: Pull request #1100 opened by can-leh-emmtrix
October 21, 2024 13:05 7m 5s emmtrix:external-projects
October 21, 2024 13:05 7m 5s
fix crash with tail calls
Build #1374: Commit e376bfc pushed by nunoplopes
October 17, 2024 15:16 8m 26s master
October 17, 2024 15:16 8m 26s
close #900: improve support for tail calls
Build #1373: Commit e3ad4db pushed by nunoplopes
October 17, 2024 09:23 8m 51s master
October 17, 2024 09:23 8m 51s
Refine tail call conditions for tail and musttail markers (#1094)
Build #1372: Commit 40d1b5b pushed by nunoplopes
October 17, 2024 08:18 8m 18s master
October 17, 2024 08:18 8m 18s
simplify code a bit
Build #1371: Commit 585d0b5 pushed by nunoplopes
October 16, 2024 08:47 8m 23s master
October 16, 2024 08:47 8m 23s
Add support for samesign flag (#1098)
Build #1370: Commit faf59b5 pushed by nunoplopes
October 16, 2024 08:37 8m 35s master
October 16, 2024 08:37 8m 35s