Earlier this year
-
r83
(release not under version control) committed by eric.bod...@gmail.com
- release not under version control
release not under version control
-
-
r81
(disabling unsupported test case
) committed by eric.bod...@gmail.com
- disabling unsupported test case
disabling unsupported test case
-
Older
-
-
r78
(using complete-jar to include dependencies such as cream) committed by eric.bod...@googlemail.com
- using complete-jar to include dependencies such as cream
using complete-jar to include dependencies such as cream
-
-
-
-
-
-
r72
(now building jasmin from scratch) committed by eric.bod...@googlemail.com
- now building jasmin from scratch
now building jasmin from scratch
-
-
-
-
-
r67
(Refactoring extension from Google code) committed by eric.bod...@googlemail.com
- Refactoring extension from Google code
Refactoring extension from Google code
-
-
-
-
-
-
-
-
r59
(credentials for JastAdd repository) committed by eric.bod...@googlemail.com
- credentials for JastAdd repository
credentials for JastAdd repository
-
r58
(updating links to abc and JastAdd repositories) committed by eric.bod...@googlemail.com
- updating links to abc and JastAdd repositories
updating links to abc and JastAdd repositories
-
r57
(now supporting multiple advice applications at the same shad...) committed by eric.bodden
- now supporting multiple advice applications at the same shadow: the Shadow instances are attached to
the advice-execution statement of the first application at that shadow
now supporting multiple advice applications at the same shadow: the Shadow instances are attached to
the advice-execution statement of the first application at that shadow
-
-
r55
(count method as "method with overlapping shadows" also when ...) committed by eric.bodden
- count method as "method with overlapping shadows" also when those shadows are not at outgoing call
edges
count method as "method with overlapping shadows" also when those shadows are not at outgoing call
edges
-
r54
(fixed file removal for PFG files) committed by eric.bodden
- fixed file removal for PFG files
fixed file removal for PFG files
-
-
-
r51
(adding CALL feature again) committed by eric.bodden
- adding CALL feature again
adding CALL feature again
-
-
r49
(bugfix: have to compare symbol of shadow against transition ...) committed by eric.bodden
- bugfix: have to compare symbol of shadow against transition symbol!
bugfix: have to compare symbol of shadow against transition symbol!
-
r48
(don't dump analysis results) committed by eric.bodden
- don't dump analysis results
don't dump analysis results
-
-
r46
(improved on comments) committed by eric.bodden
- improved on comments
-
r45
(write PFG files to disk, like we used to for the FSE paper) committed by eric.bodden
- write PFG files to disk, like we used to for the FSE paper
write PFG files to disk, like we used to for the FSE paper
-
r44
(made PFG code work again) committed by eric.bodden
- made PFG code work again
-
r43
(more clever options handling) committed by eric.bodden
- more clever options handling
more clever options handling
-
-
-
r40
(disabled pre-condition inference for now;
improved output) committed by eric.bodden
- disabled pre-condition inference for now;
improved output
disabled pre-condition inference for now;
improved output
-
r39
(bugfix: correctly handle advice that are not dependent) committed by eric.bodden
- bugfix: correctly handle advice that are not dependent
bugfix: correctly handle advice that are not dependent
-
r38
(adding option -no-bodies-for-excluded) committed by eric.bodden
- adding option -no-bodies-for-excluded
adding option -no-bodies-for-excluded
-
r37
(perform consistency checks for DA also when QC is not enable...) committed by eric.bodden
- perform consistency checks for DA also when QC is not enabled
perform consistency checks for DA also when QC is not enabled
-
r36
(disable -no-jrl nor now; there are still issues with it) committed by eric.bodden
- disable -no-jrl nor now; there are still issues with it
disable -no-jrl nor now; there are still issues with it
-
r35
(adding -no-jrl option to speed up testing) committed by eric.bodden
- adding -no-jrl option to speed up testing
adding -no-jrl option to speed up testing
-
r34
(fix for bug reported by Chris Thiel: AnalysisJobs were incor...) committed by eric.bodden
- fix for bug reported by Chris Thiel: AnalysisJobs were incorrectly reused in case of running Clara
with multiple trace patterns at the same time.
fix for bug reported by Chris Thiel: AnalysisJobs were incorrectly reused in case of running Clara
with multiple trace patterns at the same time.
|