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

#49 - Klee on CI

Pull Request - State: closed - Opened by LinerSu almost 4 years ago - 1 comment

#49 - Klee on CI

Pull Request - State: closed - Opened by LinerSu almost 4 years ago - 1 comment

#48 - Add missed jobs of byte cursor

Pull Request - State: closed - Opened by LinerSu almost 4 years ago

#48 - Add missed jobs of byte cursor

Pull Request - State: closed - Opened by LinerSu almost 4 years ago

#47 - Fix github_actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago - 2 comments

#47 - Fix github_actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago - 2 comments

#46 - Update github actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago - 1 comment

#46 - Update github actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago - 1 comment

#45 - fix(jobs): remove smtfd tactics from jobs that are failing falsely

Pull Request - State: closed - Opened by danblitzhou almost 4 years ago

#45 - fix(jobs): remove smtfd tactics from jobs that are failing falsely

Pull Request - State: closed - Opened by danblitzhou almost 4 years ago

#44 - feat(jobs): add remaining jobs under aws_linked_list

Pull Request - State: closed - Opened by danblitzhou almost 4 years ago - 1 comment

#44 - feat(jobs): add remaining jobs under aws_linked_list

Pull Request - State: closed - Opened by danblitzhou almost 4 years ago - 1 comment

#43 - Add github actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago

#43 - Add github actions

Pull Request - State: closed - Opened by emmyni almost 4 years ago

#42 - Docker with Klee

Pull Request - State: closed - Opened by LinerSu almost 4 years ago - 1 comment

#42 - Docker with Klee

Pull Request - State: closed - Opened by LinerSu almost 4 years ago - 1 comment

#41 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago

#41 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago

#40 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago - 3 comments

#40 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago - 3 comments

#39 - use utils `assert_all_zeroes` over `AWS_IS_ZEROED`

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#39 - use utils `assert_all_zeroes` over `AWS_IS_ZEROED`

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#38 - feat(job): add check for data swap in array_list_swap

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#38 - feat(job): add check for data swap in array_list_swap

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#37 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago - 5 comments

#37 - Klee

Pull Request - State: closed - Opened by LinerSu about 4 years ago - 5 comments

#36 - Use lamdas in helper functions

Issue - State: open - Opened by priyasiddharth about 4 years ago

#36 - Use lamdas in helper functions

Issue - State: open - Opened by priyasiddharth about 4 years ago

#35 - feat: use static loop unrolling for strlen

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#35 - feat: use static loop unrolling for strlen

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#34 - Add travis and dockerfile

Pull Request - State: open - Opened by emmyni about 4 years ago

#34 - Add travis and dockerfile

Pull Request - State: open - Opened by emmyni about 4 years ago

#33 - Add travis and dockerfile

Pull Request - State: closed - Opened by emmyni about 4 years ago - 3 comments

#33 - Add travis and dockerfile

Pull Request - State: closed - Opened by emmyni about 4 years ago - 3 comments

#32 - Add Travis CI

Pull Request - State: closed - Opened by emmyni about 4 years ago

#32 - Add Travis CI

Pull Request - State: closed - Opened by emmyni about 4 years ago

#31 - refactor(utils): allow different sizes during string alloc

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#31 - refactor(utils): allow different sizes during string alloc

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#30 - implement travis CI

Pull Request - State: closed - Opened by emmyni about 4 years ago

#30 - implement travis CI

Pull Request - State: closed - Opened by emmyni about 4 years ago

#29 - Running into error after adding AWS files

Pull Request - State: closed - Opened by emmyni about 4 years ago

#29 - Running into error after adding AWS files

Pull Request - State: closed - Opened by emmyni about 4 years ago

#28 - Update nd_fuzz.c

Pull Request - State: closed - Opened by emmyni about 4 years ago

#28 - Update nd_fuzz.c

Pull Request - State: closed - Opened by emmyni about 4 years ago

#27 - feat(job): adding an allocator arg to linked list creation fns

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 2 comments

#27 - feat(job): adding an allocator arg to linked list creation fns

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 2 comments

#26 - refactor(jobs): migrate remaining linked list jobs to nd helpers

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 2 comments

#26 - refactor(jobs): migrate remaining linked list jobs to nd helpers

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 2 comments

#25 - Linked list hack

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 3 comments

#25 - Linked list hack

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 3 comments

#24 - mallocing slows down cex mode

Issue - State: open - Opened by priyasiddharth about 4 years ago

#24 - mallocing slows down cex mode

Issue - State: open - Opened by priyasiddharth about 4 years ago

#23 - Added Linked_list_tests

Pull Request - State: open - Opened by emmyni about 4 years ago - 3 comments

#23 - Added Linked_list_tests

Pull Request - State: open - Opened by emmyni about 4 years ago - 3 comments

#22 - feat(jobs): add jobs for linkedlist rbegin/rend

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 3 comments

#22 - feat(jobs): add jobs for linkedlist rbegin/rend

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 3 comments

#21 - feat(jobs): adding linked_list_insert_after/before jobs

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#21 - feat(jobs): adding linked_list_insert_after/before jobs

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#20 - refactor(jobs): common initialization code is refactored into helper …

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 3 comments

#20 - refactor(jobs): common initialization code is refactored into helper …

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 3 comments

#19 - Add cases with executable counterexamples

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 2 comments

#19 - Add cases with executable counterexamples

Pull Request - State: closed - Opened by danblitzhou about 4 years ago - 2 comments

#18 - refactor(linked_list): add a helper function to link two nodes

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 1 comment

#17 - feat(jobs): adding linked_list_push_front job

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#16 - feat(linkedlist): add first linked list job

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 1 comment

#15 - fix: allow NULL and variable lengths for str

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#14 - fix(vac): add unroll bound for failing cases

Pull Request - State: closed - Opened by danblitzhou about 4 years ago

#13 - feat(vac): add sentinel branch check in vacuity mode

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago

#12 - feat(script): supress spurious vacuity errors

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#10 - feat: use yaml base+job specific config to run verification jobs

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#8 - Add test runner for tests

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#7 - fix: aws_array_eq_c_str harness

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#6 - fix: nd_alloc_str() and s/memset_zero/memset_nd in bounded_malloc

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago - 1 comment

#5 - fix: change byte buf LUT to not use loops

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#4 - fix: in malloc, memset to mem_block size rather than requested size

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#2 - Update README.md

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago

#1 - Update proof_allocators.h

Pull Request - State: closed - Opened by priyasiddharth over 4 years ago