Skip to content

Actions: NASA-SW-VnV/ikos

Actions

Build tool on OSX

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-macos.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed the python pipes module to make it compatible with Python 3.13 Build tool on OSX #65: Pull request #293 opened by tarikgta2
October 19, 2024 20:21 4m 46s tarikgta2:dev
tarikgta2:dev
October 19, 2024 20:21 4m 46s
Added translation for LLVM FNeg instruction. Build tool on OSX #64: Pull request #291 opened by PhilipBotha
October 12, 2024 12:23 Action required PhilipBotha:bugfix/fneg
PhilipBotha:bugfix/fneg
October 12, 2024 12:23 Action required
Merge branch 'release-3.4'. Close #287. Build tool on OSX #63: Commit 026c409 pushed by ivanperez-keera
October 1, 2024 05:15 4m 32s v3.4
v3.4
October 1, 2024 05:15 4m 32s
Merge branch 'release-3.4'. Close #287. Build tool on OSX #62: Commit 026c409 pushed by ivanperez-keera
October 1, 2024 05:15 5m 6s master
master
October 1, 2024 05:15 5m 6s
Release 3.4 Build tool on OSX #61: Pull request #288 opened by ivanperez-keera
October 1, 2024 05:05 5m 28s release-3.4
release-3.4
October 1, 2024 05:05 5m 28s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on OSX #60: Commit c9f6c3f pushed by ivanperez-keera
October 1, 2024 01:59 5m 8s v3.4-rc1
v3.4-rc1
October 1, 2024 01:59 5m 8s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on OSX #59: Commit c9f6c3f pushed by ivanperez-keera
September 28, 2024 21:16 4m 44s release-3.4
release-3.4
September 28, 2024 21:16 4m 44s
Merge branch 'develop-snprintf-null'. Close #221. Build tool on OSX #58: Commit 9963a3f pushed by ivanperez-keera
September 28, 2024 18:08 4m 31s master
master
September 28, 2024 18:08 4m 31s
analyzer: Allow snprintf(NULL, 0, ...) (#221). Build tool on OSX #57: Pull request #286 opened by ivanperez-keera
September 28, 2024 17:02 4m 45s ivanperez-keera:develop-snprintf-null
ivanperez-keera:develop-snprintf-null
September 28, 2024 17:02 4m 45s
Merge branch 'develop-fix-includes'. Close #273. Build tool on OSX #56: Commit 98dfd84 pushed by ivanperez-keera
September 21, 2024 20:05 4m 43s master
master
September 21, 2024 20:05 4m 43s
analyzer: Add missing include (#273). Build tool on OSX #55: Pull request #278 opened by ivanperez-keera
September 21, 2024 19:59 4m 41s ivanperez-keera:develop-fix-includes
ivanperez-keera:develop-fix-includes
September 21, 2024 19:59 4m 41s
Merge branch 'develop-fix-ga-macosx'. Close #275. Build tool on OSX #54: Commit 086395b pushed by ivanperez-keera
September 21, 2024 19:51 4m 43s master
master
September 21, 2024 19:51 4m 43s
Merge branch 'develop-fix-includes'. Close #273. Build tool on OSX #53: Commit 6da765b pushed by ivanperez-keera
September 21, 2024 19:51 4m 40s master
master
September 21, 2024 19:51 4m 40s
Merge branch 'develop-fix-ga-macosx'. Close #275. Build tool on OSX #52: Commit 086395b pushed by ivanperez-keera
August 29, 2024 21:43 5m 0s master
master
August 29, 2024 21:43 5m 0s
Fix CI job for Mac due to image upgrade Build tool on OSX #51: Pull request #276 opened by ivanperez-keera
August 29, 2024 21:35 4m 46s ivanperez-keera:develop-fix-ga-macosx
ivanperez-keera:develop-fix-ga-macosx
August 29, 2024 21:35 4m 46s
Fix for #273 Build tool on OSX #50: Pull request #274 synchronize by Mechazo11
August 25, 2024 13:19 1m 48s Mechazo11:master
Mechazo11:master
August 25, 2024 13:19 1m 48s
Fix for #273 Build tool on OSX #48: Pull request #274 opened by Mechazo11
August 22, 2024 17:09 1m 25s Mechazo11:master
Mechazo11:master
August 22, 2024 17:09 1m 25s
Merge branch 'release-3.3'. Close #266. Build tool on OSX #47: Commit 799c2b0 pushed by ivanperez-keera
April 1, 2024 05:16 9m 31s v3.3
v3.3
April 1, 2024 05:16 9m 31s
Merge branch 'release-3.3'. Close #266. Build tool on OSX #46: Commit 799c2b0 pushed by ivanperez-keera
April 1, 2024 05:16 9m 29s master
master
April 1, 2024 05:16 9m 29s
Update badges in README to refer to IKOS 3.3 (#266). Build tool on OSX #45: Commit fcdcb9f pushed by ivanperez-keera
April 1, 2024 05:02 9m 10s release-3.3
release-3.3
April 1, 2024 05:02 9m 10s
Merge branch 'dev-pass-order'. Close #205. Build tool on OSX #44: Commit 7eb2d06 pushed by ivanperez-keera
April 1, 2024 04:57 9m 34s master
master
April 1, 2024 04:57 9m 34s
Switch pass order (#205). Build tool on OSX #43: Commit 4907d78 pushed by ivanperez-keera
April 1, 2024 04:45 8m 59s dev-pass-order
dev-pass-order
April 1, 2024 04:45 8m 59s
Merge branch 'dev-fix-pygments'. Close #264. Build tool on OSX #42: Commit 39a88c0 pushed by ivanperez-keera
April 1, 2024 04:32 9m 50s master
master
April 1, 2024 04:32 9m 50s
Make compatible with Pygments >= 2.12 (#264). Build tool on OSX #41: Commit 55998a9 pushed by ivanperez-keera
April 1, 2024 03:56 18m 13s dev-fix-pygments
dev-fix-pygments
April 1, 2024 03:56 18m 13s
Merge branch 'dev-add-cstdint-includes'. Close #263. Build tool on OSX #40: Commit fcca375 pushed by ivanperez-keera
January 28, 2024 01:26 13m 52s master
master
January 28, 2024 01:26 13m 52s