[ivette] Refactor EvaReady and rename it AnalysisStatus.
Showing
- ivette/src/frama-c/plugins/callgraph/index.tsx 8 additions, 2 deletionsivette/src/frama-c/plugins/callgraph/index.tsx
- ivette/src/frama-c/plugins/dive/graph.tsx 1 addition, 1 deletionivette/src/frama-c/plugins/dive/graph.tsx
- ivette/src/frama-c/plugins/dive/tree.tsx 12 additions, 3 deletionsivette/src/frama-c/plugins/dive/tree.tsx
- ivette/src/frama-c/plugins/eva/EvaDefinitions.tsx 45 additions, 0 deletionsivette/src/frama-c/plugins/eva/EvaDefinitions.tsx
- ivette/src/frama-c/plugins/eva/EvaReady/index.tsx 0 additions, 110 deletionsivette/src/frama-c/plugins/eva/EvaReady/index.tsx
- ivette/src/frama-c/plugins/eva/EvaReady/style.css 0 additions, 26 deletionsivette/src/frama-c/plugins/eva/EvaReady/style.css
- ivette/src/frama-c/plugins/eva/Summary.tsx 1 addition, 1 deletionivette/src/frama-c/plugins/eva/Summary.tsx
- ivette/src/frama-c/plugins/eva/components/AnalysisStatus.tsx 83 additions, 0 deletionsivette/src/frama-c/plugins/eva/components/AnalysisStatus.tsx
- ivette/src/frama-c/plugins/eva/components/Tools.tsx 23 additions, 21 deletionsivette/src/frama-c/plugins/eva/components/Tools.tsx
- ivette/src/frama-c/plugins/eva/images/gears.svg 0 additions, 0 deletionsivette/src/frama-c/plugins/eva/images/gears.svg
- ivette/src/frama-c/plugins/eva/style.css 45 additions, 9 deletionsivette/src/frama-c/plugins/eva/style.css
- ivette/src/frama-c/plugins/eva/valuetable.tsx 5 additions, 1 deletionivette/src/frama-c/plugins/eva/valuetable.tsx
Loading
Please register or sign in to comment