Skip to content

Actions: NASA-SW-VnV/ikos

Actions

Build tool on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-linux.yml
47 workflow runs
47 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Install the python module inside a virtual environment (#243) Build tool on Linux #22: Pull request #245 synchronize by ivanperez-keera
December 13, 2023 02:58 3m 36s arthaud:master
arthaud:master
December 13, 2023 02:58 3m 36s
Install the python module inside a virtual environment (#243) Build tool on Linux #21: Pull request #245 synchronize by arthaud
December 11, 2023 11:32 3m 26s arthaud:master
arthaud:master
December 11, 2023 11:32 3m 26s
Install the python module inside a virtual environment (#243) Build tool on Linux #20: Pull request #245 synchronize by arthaud
December 11, 2023 11:29 3m 45s arthaud:master
arthaud:master
December 11, 2023 11:29 3m 45s
Install the python module inside a virtual environment (#243) Build tool on Linux #19: Pull request #245 reopened by ivanperez-keera
December 10, 2023 20:44 3m 27s arthaud:master
arthaud:master
December 10, 2023 20:44 3m 27s
Install the python module inside a virtual environment (#243) Build tool on Linux #18: Pull request #245 opened by arthaud
December 10, 2023 12:51 3m 23s arthaud:master
arthaud:master
December 10, 2023 12:51 3m 23s
Merge branch 'dev-pip-package'. Close #242. Build tool on Linux #17: Commit 21cd2b5 pushed by ivanperez-keera
December 10, 2023 01:53 3m 59s master
master
December 10, 2023 01:53 3m 59s
analyzer: Use pip module instead of tool to install IKOS (#242). Build tool on Linux #16: Pull request #244 opened by ivanperez-keera
December 10, 2023 01:38 3m 25s ivanperez-keera:dev-pip-package
ivanperez-keera:dev-pip-package
December 10, 2023 01:38 3m 25s
Merge branch 'dev-objdump-output'. Close #203. Build tool on Linux #15: Commit 03293b7 pushed by ivanperez-keera
December 5, 2023 09:38 3m 27s master
master
December 5, 2023 09:38 3m 27s
[analyzer] Fix processing of llvm-objdump-14's output in ikos-scan (#203) Build tool on Linux #14: Pull request #240 synchronize by ivanperez-keera
December 5, 2023 09:15 3m 25s ivanperez-keera:dev-objdump-output
ivanperez-keera:dev-objdump-output
December 5, 2023 09:15 3m 25s
[analyzer] Fix processing of llvm-objdump-14's output in ikos-scan (#203) Build tool on Linux #13: Pull request #240 opened by ivanperez-keera
December 5, 2023 08:54 3m 29s ivanperez-keera:dev-objdump-output
ivanperez-keera:dev-objdump-output
December 5, 2023 08:54 3m 29s
Merge branch 'dev-installation-apron'. Close #78. Build tool on Linux #12: Commit 4125707 pushed by ivanperez-keera
December 5, 2023 02:12 3m 25s master
master
December 5, 2023 02:12 3m 25s
Instruct users to install APRON from source (#78). Build tool on Linux #11: Pull request #239 synchronize by ivanperez-keera
December 5, 2023 01:29 3m 21s ivanperez-keera:dev-installation-apron
ivanperez-keera:dev-installation-apron
December 5, 2023 01:29 3m 21s
Merge branch 'dev-release-notes'. Close #219. Build tool on Linux #10: Commit ae8200b pushed by ivanperez-keera
November 29, 2023 10:45 3m 20s master
master
November 29, 2023 10:45 3m 20s
Remove info on releases available on Github; move old history to doc/ Build tool on Linux #9: Pull request #238 synchronize by ivanperez-keera
November 29, 2023 10:25 3m 26s ivanperez-keera:dev-release-notes
ivanperez-keera:dev-release-notes
November 29, 2023 10:25 3m 26s
Merge branch 'dev-fix-server-ipv6'. Close #158. Build tool on Linux #8: Commit 45d7f1c pushed by ivanperez-keera
November 29, 2023 10:20 3m 19s master
master
November 29, 2023 10:20 3m 19s
[analyzer] Use IPv6 when available. Close #158. Build tool on Linux #7: Pull request #229 synchronize by ivanperez-keera
November 27, 2023 17:51 3m 19s ivanperez-keera:dev-fix-server-ipv6
ivanperez-keera:dev-fix-server-ipv6
November 27, 2023 17:51 3m 19s
[analyzer] Use IPv6 when available. Close #158. Build tool on Linux #6: Pull request #229 synchronize by ivanperez-keera
November 27, 2023 17:49 3m 15s ivanperez-keera:dev-fix-server-ipv6
ivanperez-keera:dev-fix-server-ipv6
November 27, 2023 17:49 3m 15s
[analyzer] Use IPv6 when available. Close #158. Build tool on Linux #5: Pull request #229 synchronize by ivanperez-keera
November 27, 2023 17:46 3m 24s ivanperez-keera:dev-fix-server-ipv6
ivanperez-keera:dev-fix-server-ipv6
November 27, 2023 17:46 3m 24s
[analyzer] Use IPv6 when available. Close #158. Build tool on Linux #4: Pull request #229 synchronize by ivanperez-keera
November 27, 2023 01:46 3m 24s ivanperez-keera:dev-fix-server-ipv6
ivanperez-keera:dev-fix-server-ipv6
November 27, 2023 01:46 3m 24s
Remove info on releases available on Github; move old history to doc/ Build tool on Linux #3: Pull request #238 synchronize by ivanperez-keera
November 8, 2023 20:08 6m 57s ivanperez-keera:dev-release-notes
ivanperez-keera:dev-release-notes
November 8, 2023 20:08 6m 57s
Remove info on releases available on Github; move old history to doc/ Build tool on Linux #2: Pull request #238 opened by ivanperez-keera
November 8, 2023 19:23 5m 56s ivanperez-keera:dev-release-notes
ivanperez-keera:dev-release-notes
November 8, 2023 19:23 5m 56s
Merge branch 'dev-gha'. Close #186. Build tool on Linux #1: Commit a8208bb pushed by ivanperez-keera
November 8, 2023 18:51 5m 46s master
master
November 8, 2023 18:51 5m 46s