Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / seahorn/verify-c-common issues and pull requests
#100 - feat(script): add yaml config for path cond mode
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#100 - feat(script): add yaml config for path cond mode
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#99 - fix(jobs): externalize static functions for klee
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#99 - fix(jobs): externalize static functions for klee
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#98 - Smack: cover all workable unit proofs
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#98 - Smack: cover all workable unit proofs
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#97 - fix(jobs): disable smtfd tactic for pq jobs failing w/ array mem
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 2 comments
#97 - fix(jobs): disable smtfd tactic for pq jobs failing w/ array mem
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 2 comments
#96 - CI(klee): enable to perform Klee CI tests in parallel
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#96 - CI(klee): enable to perform Klee CI tests in parallel
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#95 - feat(scripts): collect brunch stat from log
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#95 - feat(scripts): collect brunch stat from log
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#94 - feat(lib): safety checks on memcpy and memmove
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#94 - feat(lib): safety checks on memcpy and memmove
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#93 - Cover SMACK to verify unit proofs of bytes
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 2 comments
#93 - Cover SMACK to verify unit proofs of bytes
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 2 comments
#92 - feat(scripts): custom flags for experiment data script
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#92 - feat(scripts): custom flags for experiment data script
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#91 - Data collection
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#91 - Data collection
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#90 - Linked list fix
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#90 - Linked list fix
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#89 - fix(aws): add documentation to build docker container and update script
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 3 comments
#89 - fix(aws): add documentation to build docker container and update script
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 3 comments
#88 - feat(ci): patch aws-c-common after checkout
Pull Request -
State: open - Opened by agurfinkel over 3 years ago
#88 - feat(ci): patch aws-c-common after checkout
Pull Request -
State: open - Opened by agurfinkel over 3 years ago
#87 - fix(klee): hide assume for klee
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#87 - fix(klee): hide assume for klee
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#86 - Add remaining fuzz
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#86 - Add remaining fuzz
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
- 1 comment
#85 - complementary fuzz PR
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#85 - complementary fuzz PR
Pull Request -
State: closed - Opened by danblitzhou over 3 years ago
#84 - Fuzz
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#84 - Fuzz
Pull Request -
State: closed - Opened by agurfinkel over 3 years ago
#83 - Adapt Smack to verify array list harnesses
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#83 - Adapt Smack to verify array list harnesses
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#82 - feat(cbmc): add dockerfile to build cbmc and run aws-c-common jobs
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#82 - feat(cbmc): add dockerfile to build cbmc and run aws-c-common jobs
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#81 - fix(jobs): add word size one config for memcpy
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#81 - fix(jobs): add word size one config for memcpy
Pull Request -
State: closed - Opened by LinerSu over 3 years ago
- 1 comment
#80 - FR: Add a UAF test based on fixed verify-c-common code
Issue -
State: open - Opened by priyasiddharth over 3 years ago
#80 - FR: Add a UAF test based on fixed verify-c-common code
Issue -
State: open - Opened by priyasiddharth over 3 years ago
#79 - Add Experimental Parts
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#79 - Add Experimental Parts
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#78 - fix(README): mixed up klee and fuzz
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#78 - fix(README): mixed up klee and fuzz
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#77 - feat(README): update README
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#77 - feat(README): update README
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#76 - Finalize adaptation of unit proofs for KLEE
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#76 - Finalize adaptation of unit proofs for KLEE
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#75 - fix(CI): disable fuzzing html deploy
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#75 - fix(CI): disable fuzzing html deploy
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#74 - Create test-push.yml
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#74 - Create test-push.yml
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#73 - Fix gh pages deploy action
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 2 comments
#73 - Fix gh pages deploy action
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 2 comments
#72 - feat(CI): fuzz CI step to deploy coverage html
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#72 - feat(CI): fuzz CI step to deploy coverage html
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#71 - Enable fuzzing for all byte_cursor jobs
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#71 - Enable fuzzing for all byte_cursor jobs
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#70 - feat: add byte_buf_eq job to showcase is_modified
Pull Request -
State: closed - Opened by priyasiddharth almost 4 years ago
#70 - feat: add byte_buf_eq job to showcase is_modified
Pull Request -
State: closed - Opened by priyasiddharth almost 4 years ago
#69 - Fuzzing with coverage
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#69 - Fuzzing with coverage
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#68 - Klee tests cover ring buffer and string
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#68 - Klee tests cover ring buffer and string
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#67 - Klee covers more harnesses
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#66 - feat(scripts): add flags for running individual experiment
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#66 - feat(scripts): add flags for running individual experiment
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#65 - Add Klee works on priority queue harnesses
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#65 - Add Klee works on priority queue harnesses
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 1 comment
#64 - Add missed byte cursor harnesses
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#64 - Add missed byte cursor harnesses
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#63 - feat(jobs): separate ht_foreach into 3 versions
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#63 - feat(jobs): separate ht_foreach into 3 versions
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#62 - Hash table access
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 2 comments
#62 - Hash table access
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 2 comments
#61 - Hash table create and eq
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#61 - Hash table create and eq
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#60 - feat(scripts): add computing line of code python script
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#59 - Hash table more tasks
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#59 - Hash table more tasks
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 1 comment
#58 - feat(jobs): add missed harness aws_array_eq
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#58 - feat(jobs): add missed harness aws_array_eq
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#57 - feat(scripts): add a python script for benchmark running
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#57 - feat(scripts): add a python script for benchmark running
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
#56 - feat(jobs): hash_table_move and hash_table_swap
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#56 - feat(jobs): hash_table_move and hash_table_swap
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#55 - Hash table function cases
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#55 - Hash table function cases
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#54 - Hash stubs and helpers
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#54 - Hash stubs and helpers
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#53 - feat(jobs): add basic hash_<data_structure> jobs
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#53 - feat(jobs): add basic hash_<data_structure> jobs
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
#52 - Aws hash table
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 3 comments
#52 - Aws hash table
Pull Request -
State: closed - Opened by danblitzhou almost 4 years ago
- 3 comments
#51 - Add Klee on CI
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 3 comments
#51 - Add Klee on CI
Pull Request -
State: closed - Opened by LinerSu almost 4 years ago
- 3 comments
#50 - Benchmark
Pull Request -
State: open - Opened by priyasiddharth almost 4 years ago
- 2 comments
#50 - Benchmark
Pull Request -
State: open - Opened by priyasiddharth almost 4 years ago
- 2 comments