Issues · ponder-lab/Optimize-Java-8-Streams-Refactoring · GitHub

Labels Milestones

Drop the duplicated InputPage machinery once the shared base is extensible

#211

· khatchad opened

on Jun 18, 2026

Missing eval plugin in maven build

#210

· khatchad opened

on Apr 22, 2020

Ease installation and support developer mode (eval, test...)

#208

· yanntm opened

on Apr 21, 2020

Support Java 11

#206

· khatchad opened

on Aug 9, 2019

Nondeterministic results for koral

#201

· yiming-tang-cs opened

on Aug 28, 2018

Got StackOverflowError while evaluating htm.java with K =1

#200

· yiming-tang-cs opened

on Aug 24, 2018

Should we consider predecessors while slicing call graph?

#198

· yiming-tang-cs opened

on Aug 22, 2018

Integrate mainline WALA

#192

· khatchad opened

on Apr 24, 2018

Nonsense transformations may exist

#190

· yiming-tang-cs opened

on Mar 28, 2018

Duplication in failed_precondtions.csv

#180

· yiming-tang-cs opened

on Feb 12, 2018

·

Duplicate entry points

#177

· khatchad opened

on Feb 6, 2018

Problem with Eclipse subjects made up of multiple "sub" projects

#171

· khatchad opened

on Jan 27, 2018