Search results

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

Status: Open.

#1022 In StanfordPL/stoke;

· sbrantq opened on Jan 26, 2025

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

Status: Open.

#1018 In StanfordPL/stoke;

· ydroneaud opened on Dec 5, 2022

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

Status: Open.

#1017 In StanfordPL/stoke;

· ishcha opened on Oct 30, 2022

How many instructions are supported?

Status: Open.

#1015 In StanfordPL/stoke;

· Xenate opened on Oct 5, 2020

Some question about stoke search a result

Status: Open.

#1013 In StanfordPL/stoke;

· Angerla opened on Aug 19, 2020

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

Status: Open.

#1010 In StanfordPL/stoke;

· zawtom725 opened on Nov 20, 2019

Incorrect rewrite of a simple program

Status: Open.

#1008 In StanfordPL/stoke;

· anuragsiy7504 opened on Nov 4, 2019

vfnmadd132pd semantics incorrect

Status: Open.

#1004 In StanfordPL/stoke;

· bchurchill opened on May 2, 2019

Test framework relies on ancient libjsoncpp

Status: Open.

#1001 In StanfordPL/stoke;

· ianamason opened on Apr 9, 2019

Failures on haskell code

Status: Open.

#995 In StanfordPL/stoke;

· jberryman opened on Feb 17, 2019

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

enhancement

Status: Open.

#976 In StanfordPL/stoke;

· stefanheule opened on Oct 3, 2017

source of Z3 spurious memory counterexamples

bug

low

Status: Open.

#975 In StanfordPL/stoke;

· bchurchill opened on Sep 3, 2017