Issues

• Retroactive pointer generation should not always yield aliases

  bug
  vellvm/genllvm#3 · Filter by author Chobbes opened on Jun 14, 2024

• Add an instruction trace

  enhancement
  vellvm/genllvm#12 · Filter by author Chobbes opened on Jun 11, 2024
  2

  

• Type definitions in generator cause type errors

  bug
  vellvm/genllvm#16 · Filter by author Chobbes opened on Apr 4, 2024
  

• Eagerness causes issues for performance.

  enhancement
  vellvm/genllvm#9 · Filter by author Chobbes opened on Jul 27, 2022
  

• Better pointer generation

  enhancement
  vellvm/genllvm#13 · Filter by author Chobbes opened on Jul 27, 2022

• Generating calls to functions with pointer arguments

  bug
  vellvm/genllvm#14 · Filter by author Chobbes opened on Jul 26, 2022
  

• Be Careful About Functions Returning Pointers

  bug
  vellvm/genllvm#15 · Filter by author Chobbes opened on Jul 26, 2022
  

• QuickChick Generators for uvalues and dvalues

  enhancement
  vellvm/genllvm#8 · Filter by author Chobbes opened on Jul 12, 2022
  1

• Add more information to variables in the context for QC generators

  enhancement
  vellvm/genllvm#29 · Filter by author Chobbes opened on Jun 24, 2022

• Testing against different optimization levels?

  enhancement
  vellvm/genllvm#28 · Filter by author Chobbes opened on Jun 22, 2022
  1

• Track down generator stack overflow

  bug
  vellvm/genllvm#11 · Filter by author Chobbes opened on Jun 16, 2022
  3

• Double check usage of gen_exp with respect to function types

  bugenhancement
  vellvm/genllvm#18 · Filter by author Chobbes opened on Jun 10, 2022

• Consider making it more likely to generate types that are already in the context.

  enhancement
  vellvm/genllvm#19 · Filter by author Chobbes opened on Jun 9, 2022

• Test Case Minimization / Shrinking

  enhancement
  vellvm/genllvm#17 · Filter by author Chobbes opened on Jun 8, 2022
  3

• Add proper failures to GenLLVM

  enhancement
  vellvm/genllvm#20 · Filter by author Chobbes opened on Jun 8, 2022
  1

• More Interesting Testing with Nondeterminism

  enhancement
  vellvm/genllvm#10 · Filter by author Chobbes opened on Jun 7, 2022
  1

• QuickChick Performance

  bug
  vellvm/genllvm#4 · Filter by author Chobbes opened on Jun 1, 2022
  5

  

• Generate global variables

  enhancement
  vellvm/genllvm#21 · Filter by author Chobbes opened on May 31, 2022
  1

• Integrate QuickChick generators into concretization

  enhancement
  vellvm/genllvm#6 · Filter by author Chobbes opened on May 26, 2022
  1

• Malloc + free? Generate instructions in QC

  enhancement
  vellvm/genllvm#23 · Filter by author Chobbes opened on May 26, 2022
  1

• Generate more complicated looping

  enhancement
  vellvm/genllvm#22 · Filter by author Chobbes opened on May 26, 2022
  1

• Generate bitcast instructions in QC

  enhancement
  vellvm/genllvm#24 · Filter by author Chobbes opened on May 26, 2022
  3

  

• Recursive function calls that are guaranteed to terminate

  enhancement
  vellvm/genllvm#25 · Filter by author Chobbes opened on May 26, 2022
  1

• memcpy generation

  enhancement
  vellvm/genllvm#26 · Filter by author Chobbes opened on May 26, 2022
  1

• Generate Function calls

  enhancement
  vellvm/genllvm#27 · Filter by author Chobbes opened on May 26, 2022
  1