issues
search
SPLMC
/
reana-spl
ReAna variants for empirical comparison of analysis strategies.
2
stars
26
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Assess ADD ordering heuristics
#24
thiagomael
opened
4 years ago
0
Huge time to analyze the first SPL evolution from the second iteration.
#23
andrelanna
opened
4 years ago
0
VariableStore read/write code doesn't belong in JADD.
#22
brenoafb
opened
4 years ago
0
Refactoring evolution-aware reana code
#21
DaniloRaposo
opened
4 years ago
0
Define a CLI for calling ReAna with evolution-aware analysis capabilities
#20
thiagomael
closed
4 years ago
1
Organize the evolution-aware prototype to allow collaborative development
#19
thiagomael
opened
4 years ago
0
Automate iteration over evolutions
#18
thiagomael
closed
4 years ago
3
Implement an evolution-aware prototype
#17
thiagomael
opened
4 years ago
3
Fix CUDD reference count
#16
thiagomael
opened
4 years ago
12
Cleanup repository
#15
thiagomael
closed
4 years ago
13
Portable libc path.
#14
brenoafb
closed
4 years ago
0
Add rw
#13
brenoafb
closed
4 years ago
0
Get glibc's path in a portable manner.
#12
brenoafb
closed
4 years ago
0
Add function to get libc's path in a portable manner.
#11
brenoafb
closed
4 years ago
0
Add function to get libc path in a portable manner.
#10
brenoafb
closed
4 years ago
0
Fixes issue #8
#9
thiagomael
closed
4 years ago
0
RDG of AndreML models is not reusing equal fragments
#8
thiagomael
closed
4 years ago
0
Feature Family Product Based Implementation
#7
DaniloRaposo
closed
4 years ago
0
Thiago feature family product
#6
thiagomael
closed
4 years ago
0
Add feature-family-product-based analysis.
#5
brenoafb
closed
4 years ago
0
feature-family-product implementation
#4
tobiassena
closed
4 years ago
1
Add Feature-Family-Product-based analysis.
#3
brenoafb
closed
4 years ago
0
Executing ITE operations on the components
#2
Guilherme-Aguiar
closed
4 years ago
0
Trabalho de Refatoração
#1
ceciliadib
closed
5 years ago
0