Skip to content

Actions: NASA-SW-VnV/ikos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'bugfix/fneg'. Close #197. Build tool on Linux #83: Commit ac7f7c1 pushed by ivanperez-keera
3m 10s master
master
3m 10s
Merge branch 'bugfix/fneg'. Close #197. Build tool on OSX #83: Commit ac7f7c1 pushed by ivanperez-keera
1m 50s master
master
1m 50s
Added translation for LLVM FNeg instruction. Build tool on OSX #82: Pull request #291 synchronize by ivanperez-keera
1m 41s PhilipBotha:bugfix/fneg
PhilipBotha:bugfix/fneg
1m 41s
Added translation for LLVM FNeg instruction. Build tool on Linux #82: Pull request #291 synchronize by ivanperez-keera
3m 23s PhilipBotha:bugfix/fneg
PhilipBotha:bugfix/fneg
3m 23s
Fix typo in TROUBLESHOOTING.md Build tool on OSX #81: Pull request #317 opened by esabol
4m 43s esabol:patch-1
esabol:patch-1
4m 43s
Fix typo in TROUBLESHOOTING.md Build tool on Linux #81: Pull request #317 opened by esabol
3m 28s esabol:patch-1
esabol:patch-1
3m 28s
Merge branch 'release-3.5'. Close #310. Build tool on Linux #80: Commit 1d98c65 pushed by ivanperez-keera
3m 28s v3.5
v3.5
3m 28s
Merge branch 'release-3.5'. Close #310. Build tool on OSX #80: Commit 1d98c65 pushed by ivanperez-keera
4m 45s v3.5
v3.5
4m 45s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on OSX #79: Commit c9f6c3f pushed by ivanperez-keera
4m 57s v3.4-rc1
v3.4-rc1
4m 57s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on Linux #79: Commit c9f6c3f pushed by ivanperez-keera
3m 25s v3.4-rc1
v3.4-rc1
3m 25s
Merge branch 'release-3.5'. Close #310. Build tool on Linux #78: Commit 1d98c65 pushed by ivanperez-keera
3m 28s master
master
3m 28s
Merge branch 'release-3.5'. Close #310. Build tool on OSX #78: Commit 1d98c65 pushed by ivanperez-keera
4m 30s master
master
4m 30s
Release 3.5 (#310). Build tool on Linux #77: Pull request #311 opened by ivanperez-keera
3m 23s release-3.5
release-3.5
3m 23s
Release 3.5 (#310). Build tool on OSX #77: Pull request #311 opened by ivanperez-keera
5m 7s release-3.5
release-3.5
5m 7s
Update badges in README to refer to IKOS 3.5 (#310). Build tool on Linux #76: Commit c72e839 pushed by ivanperez-keera
3m 24s release-3.5
release-3.5
3m 24s
Update badges in README to refer to IKOS 3.5 (#310). Build tool on OSX #76: Commit c72e839 pushed by ivanperez-keera
4m 32s release-3.5
release-3.5
4m 32s
Merge branch 'develop-getAlignment'. Close #304. Build tool on OSX #75: Commit 9268e4e pushed by ivanperez-keera
4m 29s master
master
4m 29s
Merge branch 'develop-getAlignment'. Close #304. Build tool on Linux #75: Commit 9268e4e pushed by ivanperez-keera
3m 26s master
master
3m 26s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on OSX #74: Pull request #309 synchronize by ivanperez-keera
4m 31s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
4m 31s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on Linux #74: Pull request #309 synchronize by ivanperez-keera
3m 26s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
3m 26s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on OSX #73: Pull request #309 opened by ivanperez-keera
4m 36s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
4m 36s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on Linux #73: Pull request #309 opened by ivanperez-keera
3m 31s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
3m 31s
Merge branch 'develop-remove-deprecatedPipes'. Close #292. Build tool on Linux #68: Commit e466004 pushed by ivanperez-keera
3m 35s master
master
3m 35s
Merge branch 'develop-remove-deprecatedPipes'. Close #292. Build tool on OSX #68: Commit e466004 pushed by ivanperez-keera
6m 22s master
master
6m 22s
[analyzer] Remove use of deprecated python module pipes (#292). Build tool on Linux #67: Pull request #293 synchronize by ivanperez-keera
3m 33s tarikgta2:dev
tarikgta2:dev
3m 33s