Skip to content

Pull requests: seahorn/verify-c-common

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

fix: updated LLVM version in README
#141 by BorisJancicUWaterloo was merged May 27, 2023 Loading…
Add cmake presets file and update README.md
#140 by thomashart17 was merged May 12, 2023 Loading…
Updated README, changes LLVM version to 14
#139 by BorisJancicUWaterloo was closed May 12, 2023 Loading…
fix(cex): unset logic for z3
#137 by priyasiddharth was merged Dec 2, 2022 Loading…
fix(docker): make usea owner
#135 by priyasiddharth was merged Nov 26, 2022 Loading…
fix: add sea yaml files
#134 by priyasiddharth was merged Nov 23, 2022 Loading…
fix: change gbuild to build in cmake cmdline
#133 by priyasiddharth was merged Nov 23, 2022 Loading…
chore(ci): move to llvm14
#132 by priyasiddharth was merged Nov 23, 2022 Loading…
fix: arraylist must use word size 1
#131 by priyasiddharth was merged Nov 15, 2022 Loading…
fix(docker): fix pip installs the latest cmake
#130 by LinerSu was merged Aug 8, 2022 Loading…
fix(docker): stick versions for klee and its extra tools
#129 by LinerSu was merged Jun 10, 2022 Loading…
Unsafe job for aws mem realloc
#128 by LinerSu was merged Jun 13, 2022 Loading…
feat(jobs): add missing array list job from aws-c-common
#126 by LinerSu was merged May 6, 2022 Loading…
NFM2022 results
#125 by LinerSu was merged Jan 20, 2022 Loading…
Adapt Symbiotic to verify benchmarks
#123 by LinerSu was merged May 5, 2022 Loading…
Hash table eq2
#121 by achenchen1 was closed Oct 4, 2023 Loading…
remove yices blacklist
#119 by priyasiddharth was merged Dec 11, 2021 Loading…
CI: Fix KLEE failing tests for malloc_havoc
#118 by LinerSu was merged Dec 13, 2021 Loading…
fix(fuzzing): UAF and hash entry count
#117 by danblitzhou was merged Nov 18, 2021 Loading…
fix: minor spell fixes
#116 by jetafese was merged Nov 17, 2021 Loading…
fix(fuzzing): UAF and hash entry count
#115 by danblitzhou was merged Nov 4, 2021 Loading…
fix: prevent ub, always havoc after malloc
#114 by priyasiddharth was merged Nov 18, 2021 Loading…
Sea tracking
#113 by liam-metke was merged Nov 30, 2021 Loading…
ProTip! Updated in the last three days: updated:>2025-02-25.