Skip to content

Actions: minotaur-toolkit/minotaur

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[synthesis] renamed case2.syn.ll Build #102: Commit f764ac4 pushed by zhengyang92
3h 34m 55s dev
dev
3h 34m 55s
[synthesis] skip case2 for now Build #101: Commit 8c8c4b8 pushed by zhengyang92
3h 24m 9s dev
dev
3h 24m 9s
[minotaur] minor fixes Build #100: Commit 5ba6d60 pushed by zhengyang92
3h 8m 22s dev
dev
3h 8m 22s
[workflow] suppress alive2 build error Build #99: Commit 0de6429 pushed by zhengyang92
3h 10m 26s dev
dev
3h 10m 26s
[workflow] set C_COMPILER as well Build #98: Commit 546ffef pushed by zhengyang92
1h 52m 55s dev
dev
1h 52m 55s
[workflow] use the same compiler for all components Build #97: Commit 7156c42 pushed by zhengyang92
20m 19s dev
dev
20m 19s
[constsyn] bias the model toward poison reserved constants (#41) Build #96: Commit 85b63ef pushed by zhengyang92
3h 0m 55s dev
dev
3h 0m 55s
[workflow] set LD_LIBRARY_PATH for z3 Build #95: Commit fb9953c pushed by zhengyang92
2h 56m 56s dev
dev
2h 56m 56s
[workflow] changing z3 to 4.15.4 Build #94: Commit 866204d pushed by zhengyang92
1h 10m 47s dev
dev
1h 10m 47s
[synthesis] increase timeouts Build #93: Commit 990d3c4 pushed by zhengyang92
3h 2m 22s dev
dev
3h 2m 22s
[minotaur] verbose output for unit tests Build #92: Commit 0c7571d pushed by zhengyang92
2h 48m 55s dev
dev
2h 48m 55s
[cache] use bitcode as key, to avoid patching LLVM Build #91: Commit 07c56fc pushed by zhengyang92
4h 4m 25s cache-bc
cache-bc
4h 4m 25s
[constsyn] bias the model toward poison reserved constants Build #90: Pull request #41 opened by zhengyang92
2h 46m 50s perfer-poison
perfer-poison
2h 46m 50s
[constsyn] bias the model toward poison reserved constants Build #89: Commit 3780832 pushed by zhengyang92
2h 47m 48s perfer-poison
perfer-poison
2h 47m 48s
[constsyn] bias the model toward poison reserved constants Build #88: Commit e7b9f84 pushed by zhengyang92
2h 47m 31s perfer-poison
perfer-poison
2h 47m 31s
[constsyn] poison is preferred Build #87: Commit 37a9276 pushed by zhengyang92
2h 9m 53s perfer-poison
perfer-poison
2h 9m 53s
[constsyn] Allow per-lane poison to be synthesized Build #86: Commit 659f608 pushed by zhengyang92
2h 48m 51s dev
dev
2h 48m 51s
[constsyn] fixed the refine relation for NaNs Build #85: Commit a46157c pushed by zhengyang92
2h 41m 29s dev
dev
2h 41m 29s
[minotaur] do not grab gcc from ppa Build #84: Commit d372e6d pushed by zhengyang92
3h 56m 57s dev
dev
3h 56m 57s
[minotaur] adding ubuntu 24.04 coverage Build #83: Commit c0cc0a4 pushed by zhengyang92
2h 8m 16s dev
dev
2h 8m 16s
[minotaur] build minimum LLVM in CI Build #82: Commit c274d11 pushed by zhengyang92
2h 9m 32s dev
dev
2h 9m 32s
[fp] fixed the matching string in fcmp[1,2,3].syn.ll Build #81: Commit 7754118 pushed by zhengyang92
2h 41m 6s dev
dev
2h 41m 6s
[minotaur] reduce docker image size by using Release build of LLVM Build #80: Commit f9a5915 pushed by zhengyang92
2h 39m 30s dev
dev
2h 39m 30s
[minotaur] get docker working and adding it as a CI task Build #79: Commit 0fbd21e pushed by zhengyang92
2h 42m 45s dev
dev
2h 42m 45s
[minotaur] ninja check in CI (#40) Build #78: Commit 369682a pushed by zhengyang92
2h 45m 7s dev
dev
2h 45m 7s