Issues

• Assess ADD ordering heuristics

  SPLMC/reana-spl#24 · Filter by author thiagomael opened on Aug 7, 2020
  

• Huge time to analyze the first SPL evolution from the second iteration.

  bug
  SPLMC/reana-spl#23 · Filter by author andrelanna opened on Jul 30, 2020
  

• VariableStore read/write code doesn't belong in JADD.

  SPLMC/reana-spl#22 · Filter by author brenoafb opened on Jul 13, 2020
  

• Organize the evolution-aware prototype to allow collaborative development

  SPLMC/reana-spl#19 · Filter by author thiagomael opened on Jun 26, 2020

• Implement an evolution-aware prototype

  SPLMC/reana-spl#17 · Filter by author thiagomael opened on Jun 19, 2020
  3

  

• Fix CUDD reference count

  bug
  SPLMC/reana-spl#16 · Filter by author thiagomael opened on Jun 19, 2020
  12