Workflow runs · eurecom-s3/symcc · GitHub

Actions

All workflows
Workflows
- Check coding style Check coding style
- Compile and test SymCC Compile and test SymCC
- Publish SymCC Docker image Publish SymCC Docker image
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

23 workflow runs

23 workflow runs

Fix #175: declare int (not i1) runtime params to match C ABI Compile and test SymCC #226: Pull request #187 synchronize by Emad-Mahmodi

Action required Emad-Mahmodi:fix/issue-175-runtime-int-types

Emad-Mahmodi:fix/issue-175-runtime-int-types

Action required

Fix #175: declare int (not i1) runtime params to match C ABI Check coding style #139: Pull request #187 synchronize by Emad-Mahmodi

Action required Emad-Mahmodi:fix/issue-175-runtime-int-types

Emad-Mahmodi:fix/issue-175-runtime-int-types

Action required

Fix #83: pass a clean 32-bit taken value to _sym_push_path_constraint Check coding style #138: Pull request #186 synchronize by Emad-Mahmodi

Action required Emad-Mahmodi:fix/issue-83-taken-zext

Emad-Mahmodi:fix/issue-83-taken-zext

Action required

Fix #83: pass a clean 32-bit taken value to _sym_push_path_constraint Compile and test SymCC #225: Pull request #186 synchronize by Emad-Mahmodi

Action required Emad-Mahmodi:fix/issue-83-taken-zext

Emad-Mahmodi:fix/issue-83-taken-zext

Action required

Fix #175: declare int (not i1) runtime params to match C ABI Check coding style #137: Pull request #187 opened by Emad-Mahmodi

13s Emad-Mahmodi:fix/issue-175-runtime-int-types

Emad-Mahmodi:fix/issue-175-runtime-int-types

13s

Fix #175: declare int (not i1) runtime params to match C ABI Compile and test SymCC #224: Pull request #187 opened by Emad-Mahmodi

6m 55s Emad-Mahmodi:fix/issue-175-runtime-int-types

Emad-Mahmodi:fix/issue-175-runtime-int-types

6m 55s

Fix #83: pass a clean 32-bit taken value to _sym_push_path_constraint Check coding style #136: Pull request #186 opened by Emad-Mahmodi

9s Emad-Mahmodi:fix/issue-83-taken-zext

Emad-Mahmodi:fix/issue-83-taken-zext

9s

Fix #83: pass a clean 32-bit taken value to _sym_push_path_constraint Compile and test SymCC #223: Pull request #186 opened by Emad-Mahmodi

6m 58s Emad-Mahmodi:fix/issue-83-taken-zext

Emad-Mahmodi:fix/issue-83-taken-zext

6m 58s

Add environment variable for Node version Check coding style #135: Pull request #185 synchronize by aurelf

9s aurelf-patch-1

aurelf-patch-1

9s

Add environment variable for Node version Compile and test SymCC #222: Pull request #185 synchronize by aurelf

7m 15s aurelf-patch-1

aurelf-patch-1

7m 15s

Add Docker smoke test for README C testcase (#184) Publish SymCC Docker image #20: Commit 3b8acab pushed by aurelf

6m 44s master

master

6m 44s

Add environment variable for Node version Compile and test SymCC #221: Pull request #185 opened by aurelf

8m 22s aurelf-patch-1

aurelf-patch-1

8m 22s

Add environment variable for Node version Check coding style #134: Pull request #185 opened by aurelf

12s aurelf-patch-1

aurelf-patch-1

12s

Add Docker smoke test for README C testcase Compile and test SymCC #220: Pull request #184 synchronize by aurelf

7m 21s aurelf:add-readme-c-docker-smoke

aurelf:add-readme-c-docker-smoke

7m 21s

Add Docker smoke test for README C testcase Check coding style #133: Pull request #184 synchronize by aurelf

8s aurelf:add-readme-c-docker-smoke

aurelf:add-readme-c-docker-smoke

8s

Add Docker smoke test for README C testcase Compile and test SymCC #219: Pull request #184 opened by aurelf

9m 8s aurelf:add-readme-c-docker-smoke

aurelf:add-readme-c-docker-smoke

9m 8s

Add Docker smoke test for README C testcase Check coding style #132: Pull request #184 opened by aurelf

9s aurelf:add-readme-c-docker-smoke

aurelf:add-readme-c-docker-smoke

9s

Fix sym++ LLVM 15 libc++ path resolution in Docker (#183) Publish SymCC Docker image #19: Commit 7ffd5e0 pushed by aurelf

6m 46s master

master

6m 46s

Fix sym++ LLVM 15 libc++ path resolution in Docker Compile and test SymCC #218: Pull request #183 opened by aurelf

12m 52s aurelf:fix-sympp-llvm15-docker-smoke

aurelf:fix-sympp-llvm15-docker-smoke

12m 52s

Fix sym++ LLVM 15 libc++ path resolution in Docker Check coding style #131: Pull request #183 opened by aurelf

10s aurelf:fix-sympp-llvm15-docker-smoke

aurelf:fix-sympp-llvm15-docker-smoke

10s

Update rust version in Dockerfile to support edition 2024 (#182) Publish SymCC Docker image #18: Commit f72e02e pushed by aurelf

6m 10s master

master

6m 10s

Update rust version in Dockerfile to support edition 2024 Check coding style #130: Pull request #182 opened by rmalmain

7s rmalmain:fix_dockerfile

rmalmain:fix_dockerfile

7s

Update rust version in Dockerfile to support edition 2024 Compile and test SymCC #217: Pull request #182 opened by rmalmain

6m 57s rmalmain:fix_dockerfile

rmalmain:fix_dockerfile

6m 57s