projects
/
jpf-core.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
Compacting the methods
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
listener
/
drwxr-xr-x
..
-rw-r--r--
3486
AssertionProperty.java
blob
|
history
|
raw
-rw-r--r--
5943
BudgetChecker.java
blob
|
history
|
raw
-rw-r--r--
2878
CGMonitor.java
blob
|
history
|
raw
-rw-r--r--
8315
CGRemover.java
blob
|
history
|
raw
-rw-r--r--
2440
CallMonitor.java
blob
|
history
|
raw
-rw-r--r--
6317
ChoiceSelector.java
blob
|
history
|
raw
-rw-r--r--
5761
ChoiceTracker.java
blob
|
history
|
raw
-rw-r--r--
23610
ConflictTracker.java
blob
|
history
|
raw
-rw-r--r--
35412
CoverageAnalyzer.java
blob
|
history
|
raw
-rw-r--r--
14781
DeadlockAnalyzer.java
blob
|
history
|
raw
-rw-r--r--
5159
DistributedSimpleDot.java
blob
|
history
|
raw
-rw-r--r--
22862
EfficientStateReducer.java
blob
|
history
|
raw
-rw-r--r--
1675
EndlessLoopDetector.java
blob
|
history
|
raw
-rw-r--r--
3900
ErrorTraceGenerator.java
blob
|
history
|
raw
-rw-r--r--
10859
ExceptionInjector.java
blob
|
history
|
raw
-rw-r--r--
8721
ExecTracker.java
blob
|
history
|
raw
-rw-r--r--
13400
HeapTracker.java
blob
|
history
|
raw
-rw-r--r--
8246
IdleFilter.java
blob
|
history
|
raw
-rw-r--r--
3004
InsnCounter.java
blob
|
history
|
raw
-rw-r--r--
11852
LockedStackDepth.java
blob
|
history
|
raw
-rw-r--r--
4908
LogConsole.java
blob
|
history
|
raw
-rw-r--r--
11092
MethodAnalyzer.java
blob
|
history
|
raw
-rw-r--r--
4788
MethodTracker.java
blob
|
history
|
raw
-rw-r--r--
3488
NoStateCycles.java
blob
|
history
|
raw
-rw-r--r--
4900
NonSharedChecker.java
blob
|
history
|
raw
-rw-r--r--
11222
NullTracker.java
blob
|
history
|
raw
-rw-r--r--
8135
NumericValueChecker.java
blob
|
history
|
raw
-rw-r--r--
5492
OOMEInjector.java
blob
|
history
|
raw
-rw-r--r--
7679
ObjectTracker.java
blob
|
history
|
raw
-rw-r--r--
5522
OverlappingMethodAnalyzer.java
blob
|
history
|
raw
-rw-r--r--
12153
PathOutputMonitor.java
blob
|
history
|
raw
-rw-r--r--
17473
Perturbator.java
blob
|
history
|
raw
-rw-r--r--
8803
PreciseRaceDetector.java
blob
|
history
|
raw
-rw-r--r--
3536
ReferenceLocator.java
blob
|
history
|
raw
-rw-r--r--
5132
SearchStats.java
blob
|
history
|
raw
-rw-r--r--
14769
SimpleDot.java
blob
|
history
|
raw
-rw-r--r--
3497
SimpleIdleFilter.java
blob
|
history
|
raw
-rw-r--r--
2437
StackDepthChecker.java
blob
|
history
|
raw
-rw-r--r--
3479
StackTracker.java
blob
|
history
|
raw
-rw-r--r--
4909
StateCountEstimator.java
blob
|
history
|
raw
-rw-r--r--
22176
StateReducer.java
blob
|
history
|
raw
-rw-r--r--
21220
StateReducerEfficient.java
blob
|
history
|
raw
-rw-r--r--
20791
StateSpaceAnalyzer.java
blob
|
history
|
raw
-rw-r--r--
16962
StateSpaceDot.java
blob
|
history
|
raw
-rw-r--r--
3218
StateTracker.java
blob
|
history
|
raw
-rw-r--r--
5090
StopWatchFuzzer.java
blob
|
history
|
raw
-rw-r--r--
4894
TraceStorer.java
blob
|
history
|
raw
-rw-r--r--
12098
VarRecorder.java
blob
|
history
|
raw
-rw-r--r--
9571
VarTracker.java
blob
|
history
|
raw
-rw-r--r--
12991
VariableConflictTracker.java
blob
|
history
|
raw