Skip to content

Actions: AliveToolkit/alive2

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
627 workflow runs
627 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix unit test Build #949: Commit b84997c pushed by nunoplopes
November 26, 2023 07:56 8m 16s master
master
November 26, 2023 07:56 8m 16s
fix #971 (asm mode): improve ptr2int type punning through loads Build #948: Commit 2a4274c pushed by nunoplopes
November 26, 2023 07:48 8m 18s master
master
November 26, 2023 07:48 8m 18s
Don't fail unit tests if Z3 gives up on quantifiers Build #947: Commit 8499328 pushed by nunoplopes
November 22, 2023 08:19 10m 8s master
master
November 22, 2023 08:19 10m 8s
ASM mode: fix ptr refinement with p+n physical pointers Build #946: Commit 3bb251a pushed by nunoplopes
November 22, 2023 08:13 14m 39s master
master
November 22, 2023 08:13 14m 39s
asm mode: initial memory shouldn't be poison Build #945: Commit 05ebde4 pushed by nunoplopes
November 21, 2023 06:55 8m 35s master
master
November 21, 2023 06:55 8m 35s
fix #972: there are no undef/poison inputs in assembly Build #944: Commit a584b33 pushed by nunoplopes
November 21, 2023 03:51 9m 54s master
master
November 21, 2023 03:51 9m 54s
remove dead code Build #943: Commit 6409330 pushed by nunoplopes
November 21, 2023 03:00 9m 1s master
master
November 21, 2023 03:00 9m 1s
implement based-on semantics of memory(argmem) attribute. Build #942: Commit 535c2e4 pushed by nunoplopes
November 21, 2023 02:51 1m 17s master
master
November 21, 2023 02:51 1m 17s
fix #967: null pointers in asm mode Build #941: Commit 40ed5a5 pushed by nunoplopes
November 19, 2023 04:36 9m 10s master
master
November 19, 2023 04:36 9m 10s
counterexamples: don't print all poison blocks Build #940: Commit c5c711a pushed by nunoplopes
November 19, 2023 03:57 8m 7s master
master
November 19, 2023 03:57 8m 7s
Add --verbose and --no-timeout options for opt-alive.sh (#964) Build #939: Commit 101be62 pushed by nunoplopes
November 18, 2023 13:29 8m 16s master
master
November 18, 2023 13:29 8m 16s
implement #953: print the initial contents of non-local memory when d… Build #938: Commit 83c1138 pushed by nunoplopes
November 18, 2023 12:03 8m 12s master
master
November 18, 2023 12:03 8m 12s
--verbose and --no-timeout options for opt-alive.sh Build #937: Pull request #964 opened by FlashSheridan
November 15, 2023 23:00 9m 11s FlashSheridan:FlashSheridan-no-timeout+verbose-options-CPR-1436
FlashSheridan:FlashSheridan-no-timeout+verbose-options-CPR-1436
November 15, 2023 23:00 9m 11s
Infer poison-generating flags Build #936: Pull request #962 opened by dtcxzyw
November 14, 2023 12:40 13m 51s dtcxzyw:refine-tgt
dtcxzyw:refine-tgt
November 14, 2023 12:40 13m 51s
opt script: force expand-large-fp-convert to run with old PM Build #935: Commit a44e849 pushed by nunoplopes
November 11, 2023 14:43 14m 49s master
master
November 11, 2023 14:43 14m 49s
fix crash with llvm.assert Build #934: Commit dd4f900 pushed by nunoplopes
November 10, 2023 11:31 15m 1s master
master
November 10, 2023 11:31 15m 1s
ReadMe: Diagnosing Unsoundness Reports (#957) Build #933: Commit 4aeadc3 pushed by nunoplopes
November 10, 2023 10:00 21m 36s master
master
November 10, 2023 10:00 21m 36s
ReadMe: Diagnosing Unsoundness Reports Build #932: Pull request #957 synchronize by nunoplopes
November 10, 2023 09:59 13m 14s FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
November 10, 2023 09:59 13m 14s
Recognize @llvm.assert as an alias for @llvm.assume (#959) Build #931: Commit 6adafa9 pushed by nunoplopes
November 10, 2023 09:46 18m 25s master
master
November 10, 2023 09:46 18m 25s
as Nuno suggested, add @llvm.assert which in Alive is just an alias Build #930: Pull request #959 synchronize by nunoplopes
November 10, 2023 09:42 16m 3s regehr:add-llvm-assert
regehr:add-llvm-assert
November 10, 2023 09:42 16m 3s
as Nuno suggested, add @llvm.assert which in Alive is just an alias Build #929: Pull request #959 opened by regehr
November 9, 2023 20:07 14m 51s regehr:add-llvm-assert
regehr:add-llvm-assert
November 9, 2023 20:07 14m 51s
ReadMe: Diagnosing Unsoundness Reports Build #928: Pull request #957 synchronize by FlashSheridan
November 8, 2023 18:43 13m 6s FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
November 8, 2023 18:43 13m 6s
ReadMe: Diagnosing Unsoundness Reports Build #927: Pull request #957 opened by FlashSheridan
November 7, 2023 20:30 13m 5s FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
FlashSheridan:FlashSheridan-ReadMe-diagnosis-CPR-1436
November 7, 2023 20:30 13m 5s
avoid copies of FP rounding mode Build #926: Commit dbcdf0c pushed by nunoplopes
November 7, 2023 14:27 15m 57s master
master
November 7, 2023 14:27 15m 57s
use a more compact SMT encoding for dynamic FP rounding Build #925: Commit 91071b8 pushed by nunoplopes
November 7, 2023 14:12 16m 32s master
master
November 7, 2023 14:12 16m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.