New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Invoke instructions to vararg functions are not handled properly
bug
#719
opened Apr 12, 2021 by
shaobo-he
Let function definitions in SMACK's libraries override these defined in input files
#718
opened Apr 12, 2021 by
shaobo-he
Unnecessary calls to
$galloc procedures for certain globals
enhancement
#716
opened Apr 8, 2021 by
shaobo-he
Memory instructions from the SplitAggregateValue pass are unnecessarrily checked in memory-safety mode
#710
opened Mar 17, 2021 by
keram88
Generalize SplitAggregateValue's handling of aggregate constants
#657
opened Nov 29, 2020 by
shaobo-he
Problematic handling of LLVM arithmetic with overflow intrinsics
#646
opened Nov 19, 2020 by
shaobo-he
Refactor floating point rounding mode initialization
enhancement
refactoring
#621
opened Oct 5, 2020 by
shaobo-he
Smack does not model LLVM saturation arithmetic instructions
enhancement
#577
opened May 13, 2020 by
keram88
Previous Next
ProTip!
Adding no:label will show everything without a label.