Issues

• Benchmarks in "Stochastic Optimization of Floating-Point Programs with Tunable Precision"

  StanfordPL/stoke#1022 · Filter by author sbrantq opened on Jan 26, 2025

• testcase generation failed with "read from an undefined location" error when "bsr" instruction is involved

  StanfordPL/stoke#1018 · Filter by author ydroneaud opened on Dec 5, 2022
  1

• Is there a way to leave some parts of input invariant to Stoke transformations?

  StanfordPL/stoke#1017 · Filter by author ishcha opened on Oct 30, 2022

• How many instructions are supported?

  StanfordPL/stoke#1015 · Filter by author Xenate opened on Oct 5, 2020

• Some question about stoke search a result

  StanfordPL/stoke#1013 · Filter by author Angerla opened on Aug 19, 2020

• "WARNING: Could not resize memory" leads to FATAL ERROR in stoke testcase

  StanfordPL/stoke#1010 · Filter by author zawtom725 opened on Nov 20, 2019

• Incorrect rewrite of a simple program

  StanfordPL/stoke#1008 · Filter by author anuragsiy7504 opened on Nov 4, 2019
  7

• vfnmadd132pd semantics incorrect

  StanfordPL/stoke#1004 · Filter by author bchurchill opened on May 2, 2019

• Test framework relies on ancient libjsoncpp

  StanfordPL/stoke#1001 · Filter by author ianamason opened on Apr 9, 2019
  1

• Failures on haskell code

  StanfordPL/stoke#995 · Filter by author jberryman opened on Feb 17, 2019
  3

• stoke bounded validator sometimes performs 0 SMT queries without telling the user

  enhancement
  StanfordPL/stoke#976 · Filter by author stefanheule opened on Oct 3, 2017
  3

  

• source of Z3 spurious memory counterexamples

  buglow
  StanfordPL/stoke#975 · Filter by author bchurchill opened on Sep 3, 2017

• idiv

  StanfordPL/stoke#965 · Filter by author bchurchill opened on Jun 15, 2017

• Error passing multiple arguments to stoke testcase

  StanfordPL/stoke#955 · Filter by author jamesalbert opened on Apr 23, 2017

• --measured cost function should only insert callback once per basic block, not once per instruction

  enhancementlow
  StanfordPL/stoke#953 · Filter by author stefanheule opened on Apr 19, 2017
  

• Remove --nesting_penality

  StanfordPL/stoke#952 · Filter by author stefanheule opened on Apr 18, 2017

• More instruction support with Remill

  wishlist
  StanfordPL/stoke#950 · Filter by author pgoodman opened on Apr 1, 2017
  2

• stoke testcase labels all Testcases "Testcase 0"

  enhancementlow
  StanfordPL/stoke#944 · Filter by author travisdowns opened on Nov 11, 2016
  7

• Instruction tzcntq unsupported by the bounded, ddec validators

  StanfordPL/stoke#943 · Filter by author travisdowns opened on Nov 11, 2016
  6

• Only allow whitelisted cpu flags by default

  bug
  StanfordPL/stoke#940 · Filter by author bchurchill opened on Nov 9, 2016
  2

  

• stoke extract doesn't handle labels between functions

  bug
  StanfordPL/stoke#938 · Filter by author bchurchill opened on Oct 26, 2016
  1

• stoke extract only handles one .text section

  StanfordPL/stoke#928 · Filter by author bchurchill opened on Sep 6, 2016

• counterexample not added after failed verification with --results

  buglow
  StanfordPL/stoke#920 · Filter by author bchurchill opened on Jul 6, 2016
  1

• postprocessing should happen before verification

  buglow
  StanfordPL/stoke#919 · Filter by author bchurchill opened on Jul 6, 2016
  5

• Stoke can't handle inlined memset

  enhancementlow
  StanfordPL/stoke#912 · Filter by author jrkoenig opened on Jun 1, 2016
  1