Commits · main · Marek Trtík / jetklee_progress_explorer

Dec 18, 2024
- Removed debug prints · 71412fae
  EmaJasekova authored 2 months ago
  
  71412fae
- Refactor and Fix of empty memory · ed91e41a
  EmaJasekova authored 2 months ago
  
  ed91e41a
Dec 09, 2024
- Changes after different recording of constraints · 53b5410e
  EmaJasekova authored 3 months ago
  
  53b5410e
Dec 04, 2024
- Fixed updates - multiset; and UI changes · add281f2
  EmaJasekova authored 3 months ago
  
  add281f2
- Refactored MemoryViewer and fix slow objectList loading · e4e77ef7
  EmaJasekova authored 3 months ago
  
  e4e77ef7
- Refactored MemoryViewer · d91ab85c
  EmaJasekova authored 3 months ago
  
  d91ab85c
- Refactored PlanePanel · 84703686
  EmaJasekova authored 3 months ago
  
  84703686
- Refactored MemoryViewer and PlanePanel [in progress] · 53c6d85d
  EmaJasekova authored 3 months ago
  
  53c6d85d
Dec 03, 2024
- Refactor MemoryViewer [in progress] · b1a9dce5
  EmaJasekova authored 3 months ago
  
  b1a9dce5
- Refactored ProgressExplorer · 91faf151
  EmaJasekova authored 3 months ago
  
  91faf151
- Refactored SourceLoader · e084b3d7
  EmaJasekova authored 3 months ago
  
  e084b3d7
- Refactored SourceViewerBase · 90822684
  EmaJasekova authored 3 months ago
  
  90822684
- Refactored SourceViewerC · d6aa6327
  EmaJasekova authored 3 months ago
  
  d6aa6327
- Refactored SourceViewerLL · 28cd7333
  EmaJasekova authored 3 months ago
  
  28cd7333
- Refactored TreeViewerBase · 4eee27b4
  EmaJasekova authored 3 months ago
  
  4eee27b4
- Refactored TreeViewer · 949600f3
  EmaJasekova authored 3 months ago
  
  949600f3
- Refactored Tree · 5540f8b3
  EmaJasekova authored 3 months ago
  
  5540f8b3
- Refactor NodeInfo · 4ce6b188
  EmaJasekova authored 3 months ago
  
  4ce6b188
- Refactor Node · 55a899c2
  EmaJasekova authored 3 months ago
  
  55a899c2
- Refactor ContextViewer · 1ce4cdca
  EmaJasekova authored 3 months ago
  
  1ce4cdca
- Refactor ConstraintsViewer · 8e7d3f6f
  EmaJasekova authored 3 months ago
  
  8e7d3f6f
- Highlight selected node · d842b5e4
  EmaJasekova authored 3 months ago
  
  d842b5e4
- Added row of the function or variable in object info and File open menu · 89db37f7
  EmaJasekova authored 3 months ago
  
  89db37f7
Nov 27, 2024
- Added Popup window for symbolic values in bytes and updates table · 738d6c11
  EmaJasekova authored 3 months ago
  
  738d6c11
- Added Constraint and Context formatting · ab58774f
  EmaJasekova authored 3 months ago
  
  ab58774f
Nov 23, 2024
- Added "ShowAll" button - display complete memory of selected node · 4a26a665
  EmaJasekova authored 3 months ago
  
  4a26a665
Nov 19, 2024
- Changed parsing of bytes based on the new recording (concreteStore, concreteMask, knownSymbolics) · 6b499d04
  EmaJasekova authored 3 months ago
  
  6b499d04
Nov 06, 2024
- Changed parsing based on the new recording (Tree and Memory folders) · e0e739fd
  EmaJasekova authored 4 months ago
  
  e0e739fd
Oct 15, 2024
- Added table for bytes and updates in memory tab · 7cabd3d6
  EmaJasekova authored 4 months ago
  
  7cabd3d6
Jun 17, 2024
- Updated parsing to handle compressed diff (bytes as a list of indices) · 65db51ce
  EmaJasekova authored 8 months ago
  
  65db51ce
Apr 15, 2024
- Updated parsing to handle diff format (additions, deletions) · 2cf5c172
  EmaJasekova authored 10 months ago
  
  2cf5c172
Jan 15, 2024
- Updated POM file for building with dependencies · 6f36a8de
  EmaJasekova authored 1 year ago
  
  View commits for tag PV160_final PV160_final
  
  6f36a8de
- Fixed parsing of stack info from JSON files · 0c7406d7
  EmaJasekova authored 1 year ago
  
  0c7406d7
Jan 14, 2024
- Added node to code transition and finished documentation · 5c8a8324
  EmaJasekova authored 1 year ago
  
  5c8a8324
Dec 05, 2023
- Added Source Files · 8cc90bb6
  EmaJasekova authored 1 year ago
  
  8cc90bb6
Nov 28, 2023
- Added Memory Viewer · d2d3bba5
  EmaJasekova authored 1 year ago
  
  d2d3bba5
Nov 21, 2023
- Added Navigation · 90b37127
  EmaJasekova authored 1 year ago
  
  90b37127
Nov 14, 2023
- Added TreeViewer class · d742f9c4
  EmaJasekova authored 1 year ago
  
  d742f9c4
- Added TreeViewer class · ddc1703c
  EmaJasekova authored 1 year ago
  
  ddc1703c
Oct 24, 2023
- Added gitignore, license and readme file · b006fa35
  Marek Trtik authored 1 year ago
  
  b006fa35