Skip to content

Actions: eurecom-s3/symcc

Actions

Check coding style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_style.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export of runtime in a separate repository Check coding style #95: Pull request #162 synchronize by rmalmain
April 5, 2024 13:36 16s rmalmain:export_symcc_runtime
rmalmain:export_symcc_runtime
April 5, 2024 13:36 16s
Make the string buffer of _sym_expr_to_string externally allocated Check coding style #93: Pull request #161 opened by rmalmain
March 20, 2024 17:20 19s rmalmain:expr_to_string
rmalmain:expr_to_string
March 20, 2024 17:20 19s
Drop python2 usage Check coding style #92: Pull request #158 synchronize by aurelf
March 11, 2024 12:33 18s lekcyjna123:lekcyjna/qsym-refactor-codegen
lekcyjna123:lekcyjna/qsym-refactor-codegen
March 11, 2024 12:33 18s
Add a section about other projects using SymCC in README.md Check coding style #91: Pull request #160 opened by aurelf
March 11, 2024 11:25 16s aurelf-patch-1
aurelf-patch-1
March 11, 2024 11:25 16s
Symbolic tracing Check coding style #90: Pull request #157 synchronize by damienmaier
February 25, 2024 17:45 17s damienmaier:pr-symbolic-trace
damienmaier:pr-symbolic-trace
February 25, 2024 17:45 17s
Drop python2 usage Check coding style #89: Pull request #158 opened by lekcyjna123
February 25, 2024 13:36 10s lekcyjna123:lekcyjna/qsym-refactor-codegen
lekcyjna123:lekcyjna/qsym-refactor-codegen
February 25, 2024 13:36 10s
More wrappers Check coding style #88: Pull request #79 synchronize by aurelf
February 19, 2024 09:07 22s tiedaoxiaotubie:more_wrappers
tiedaoxiaotubie:more_wrappers
February 19, 2024 09:07 22s
Support AFL++ coverage maps Check coding style #87: Pull request #90 synchronize by aurelf
February 19, 2024 09:06 12s mephi42:aflplusplus
mephi42:aflplusplus
February 19, 2024 09:06 12s
PR for xor problem (issue #83) Check coding style #86: Pull request #84 synchronize by aurelf
February 19, 2024 09:06 23s ret2dir:xor-bug
ret2dir:xor-bug
February 19, 2024 09:06 23s
Symbolic tracing Check coding style #85: Pull request #157 opened by damienmaier
February 19, 2024 06:33 13s damienmaier:pr-symbolic-trace
damienmaier:pr-symbolic-trace
February 19, 2024 06:33 13s
Update pure concolict execution script Check coding style #84: Pull request #156 synchronize by aurelf
February 18, 2024 10:22 11s lekcyjna123:lekcyjna/fix-pure-concolic-script
lekcyjna123:lekcyjna/fix-pure-concolic-script
February 18, 2024 10:22 11s
Update pure concolict execution script Check coding style #83: Pull request #156 opened by lekcyjna123
February 18, 2024 09:39 14s lekcyjna123:lekcyjna/fix-pure-concolic-script
lekcyjna123:lekcyjna/fix-pure-concolic-script
February 18, 2024 09:39 14s
Add a backend function for creating symbolic values representing large integers Check coding style #82: Pull request #155 synchronize by damienmaier
February 4, 2024 22:02 12s damienmaier:pr-large-integers
damienmaier:pr-large-integers
February 4, 2024 22:02 12s
Add a backend function for creating symbolic values representing large integers Check coding style #81: Pull request #155 opened by damienmaier
February 4, 2024 21:43 14s damienmaier:pr-large-integers
damienmaier:pr-large-integers
February 4, 2024 21:43 14s
Backend Rust/Foreign Language Support Check coding style #80: Pull request #69 synchronize by tokatoka
January 4, 2024 15:55 15s AFLplusplus:main
AFLplusplus:main
January 4, 2024 15:55 15s
Backend Rust/Foreign Language Support Check coding style #79: Pull request #69 synchronize by tokatoka
January 4, 2024 14:01 15s AFLplusplus:main
AFLplusplus:main
January 4, 2024 14:01 15s
Backend Rust/Foreign Language Support Check coding style #78: Pull request #69 synchronize by tokatoka
January 4, 2024 13:21 15s AFLplusplus:main
AFLplusplus:main
January 4, 2024 13:21 15s
Backend Rust/Foreign Language Support Check coding style #77: Pull request #69 synchronize by tokatoka
December 21, 2023 12:52 15s AFLplusplus:main
AFLplusplus:main
December 21, 2023 12:52 15s
Update README.md for using LLVM-14 Check coding style #76: Pull request #154 opened by aurelf
December 16, 2023 23:03 11s aurelf-patch-1
aurelf-patch-1
December 16, 2023 23:03 11s
Add support to LAVA-M dataset Check coding style #75: Pull request #107 synchronize by aurelf
December 11, 2023 14:56 16s Yhcrown:master
Yhcrown:master
December 11, 2023 14:56 16s
Minor improvements Check coding style #74: Pull request #153 opened by sebastianpoeplau
December 11, 2023 13:13 16s minor-improvements
minor-improvements
December 11, 2023 13:13 16s
Spellcheck on documentation Check coding style #73: Pull request #151 opened by aurelf
November 25, 2023 18:18 13s prdocs
prdocs
November 25, 2023 18:18 13s
Add support to LAVA-M dataset Check coding style #72: Pull request #107 synchronize by aurelf
November 25, 2023 16:33 12s Yhcrown:master
Yhcrown:master
November 25, 2023 16:33 12s
Add support to LAVA-M dataset Check coding style #71: Pull request #107 synchronize by aurelf
November 25, 2023 16:30 15s Yhcrown:master
Yhcrown:master
November 25, 2023 16:30 15s
Add support to LAVA-M dataset Check coding style #70: Pull request #107 synchronize by aurelf
November 25, 2023 16:20 13s Yhcrown:master
Yhcrown:master
November 25, 2023 16:20 13s