Skip to content

Issues: StanfordPL/stoke

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
31 Open 444 Closed
31 Open 444 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

vfnmadd132pd semantics incorrect
#1004 opened May 2, 2019 by bchurchill
source of Z3 spurious memory counterexamples bug low
#975 opened Sep 3, 2017 by bchurchill
idiv
#965 opened Jun 15, 2017 by bchurchill
Only allow whitelisted cpu flags by default bug
#940 opened Nov 9, 2016 by bchurchill
@bchurchill
2
stoke extract doesn't handle labels between functions bug
#938 opened Oct 26, 2016 by bchurchill
1
stoke extract only handles one .text section
#928 opened Sep 6, 2016 by bchurchill
counterexample not added after failed verification with --results bug low
#920 opened Jul 6, 2016 by bchurchill
1
postprocessing should happen before verification bug low
#919 opened Jul 6, 2016 by bchurchill
5
Don't undo -- just swap with previous enhancement
#910 opened May 26, 2016 by bchurchill
@jrkoenig
1
TUnit::replace() doesn't handle rip quite right. bug low
#877 opened May 5, 2016 by bchurchill
overcomputing liveness information? enhancement wishlist
#857 opened Apr 11, 2016 by bchurchill
build end-to-end timeout for verifiers enhancement wishlist
#845 opened Feb 17, 2016 by bchurchill
4
CorrectnessCostGadget leaks memory bug wishlist
#841 opened Feb 14, 2016 by bchurchill
Remove all boost dependencies refactor wishlist
#839 opened Feb 11, 2016 by bchurchill
cost function needlessly computed in "stoke debug verify" bug
#837 opened Feb 11, 2016 by bchurchill
andnl is proposed in SandboxFuzzer for nehalem/sandybridge build bug low
#807 opened Jan 21, 2016 by bchurchill
5
add option to skip checking counterexample in sandbox wishlist
#796 opened Jan 5, 2016 by bchurchill
Implement general alias relationship mining wishlist
#795 opened Jan 5, 2016 by bchurchill
Implement *good* function inlining for validator wishlist
#794 opened Jan 4, 2016 by bchurchill
make it possible to compile without Z3 or CVC4 wishlist
#779 opened Nov 19, 2015 by bchurchill
1
fix transforms and/or sandbox segfault bug medium
#726 opened Oct 2, 2015 by bchurchill
4
export SMT solver push()/pop() interface to clients wishlist
#716 opened Sep 20, 2015 by bchurchill
option to save and verify every 'new best correct' rewrite found enhancement wishlist
#708 opened Sep 6, 2015 by bchurchill
build benchmarking tool for transforms wishlist
#706 opened Sep 6, 2015 by bchurchill
1
stategen need not fail on fragmented memory space wishlist
#705 opened Sep 5, 2015 by bchurchill
1
ProTip! Add no:assignee to see everything that’s not assigned.