Updated synopsis

uds-se · Jan 18, 2024 · fd84f3b · fd84f3b
1 parent 64df8af
commit fd84f3b
Show file tree

Hide file tree

Showing 17 changed files with 88 additions and 88 deletions.
diff --git a/notebooks/PICS/ChangeCounter-synopsis-1.png b/notebooks/PICS/ChangeCounter-synopsis-1.png
diff --git a/notebooks/PICS/ChangeDebugger-synopsis-1.png b/notebooks/PICS/ChangeDebugger-synopsis-1.png
diff --git a/notebooks/PICS/ClassDiagram-synopsis-1.png b/notebooks/PICS/ClassDiagram-synopsis-1.png
diff --git a/notebooks/PICS/DDSetDebugger-synopsis-1.png b/notebooks/PICS/DDSetDebugger-synopsis-1.png
diff --git a/notebooks/PICS/Debugger-synopsis-1.png b/notebooks/PICS/Debugger-synopsis-1.png
diff --git a/notebooks/PICS/DeltaDebugger-synopsis-1.png b/notebooks/PICS/DeltaDebugger-synopsis-1.png
diff --git a/notebooks/PICS/DynamicInvariants-synopsis-1.png b/notebooks/PICS/DynamicInvariants-synopsis-1.png
diff --git a/notebooks/PICS/PerformanceDebugger-synopsis-1.png b/notebooks/PICS/PerformanceDebugger-synopsis-1.png
diff --git a/notebooks/PICS/Repairer-synopsis-1.png b/notebooks/PICS/Repairer-synopsis-1.png
diff --git a/notebooks/PICS/Slicer-synopsis-1.png b/notebooks/PICS/Slicer-synopsis-1.png
diff --git a/notebooks/PICS/Slicer-synopsis-1.svg b/notebooks/PICS/Slicer-synopsis-1.svg
diff --git a/notebooks/PICS/Slicer-synopsis-2.svg b/notebooks/PICS/Slicer-synopsis-2.svg
diff --git a/notebooks/PICS/Slicer-synopsis-3.png b/notebooks/PICS/Slicer-synopsis-3.png
diff --git a/notebooks/PICS/StackInspector-synopsis-1.png b/notebooks/PICS/StackInspector-synopsis-1.png
diff --git a/notebooks/PICS/StatisticalDebugger-synopsis-1.png b/notebooks/PICS/StatisticalDebugger-synopsis-1.png
diff --git a/notebooks/PICS/StatisticalDebugger-synopsis-2.png b/notebooks/PICS/StatisticalDebugger-synopsis-2.png
diff --git a/notebooks/PICS/Tracer-synopsis-1.png b/notebooks/PICS/Tracer-synopsis-1.png