Code

Information logger#166

Code

Draft

t-lohse wants to merge 27 commits intomainEcdar/Reveaal:mainfrom information-loggerEcdar/Reveaal:information-loggerCopy head branch name to clipboard

+411-375

Commits

Commits on Apr 27, 2023

• Initial fix and exploration

  t-lohse

  committed
  e1104a0

  Copy full SHA for e1104a0

Commits on May 6, 2023

• Merge branch 'Ecdar-SW5/main' of github.com:Ecdar/Reveaal into memory-hogging-fix

  t-lohse

  committed
  511db7e

  Copy full SHA for 511db7e

• Finalized fix

  t-lohse

  committed
  8622a2d

  Copy full SHA for 8622a2d

Commits on May 18, 2023

• Merge branch 'main' of github.com:Ecdar/Reveaal into memory-hogging-fix

  t-lohse

  committed
  75aa8c1

  Copy full SHA for 75aa8c1

• Minor optimizations

  t-lohse

  committed
  9824297

  Copy full SHA for 9824297

• Invariant update

  t-lohse

  committed
  a730b85

  Copy full SHA for a730b85

• Removed and refactored some unused and unnecessary functions

  t-lohse

  committed
  2621e4f

  Copy full SHA for 2621e4f

• Removed additional

  t-lohse

  committed
  373bee0

  Copy full SHA for 373bee0

• Initial impl

  t-lohse

  committed
  72834a6

  Copy full SHA for 72834a6

• added server check

  t-lohse

  committed
  4ae4686

  Copy full SHA for 4ae4686

• added server check and impl Display

  t-lohse

  committed
  f79038c

  Copy full SHA for f79038c

• added server check and impl Display

  t-lohse

  committed
  acebea0

  Copy full SHA for acebea0

• Fixed test error

  t-lohse

  committed
  95fda46

  Copy full SHA for 95fda46

Commits on May 22, 2023

• Updated and added test

  t-lohse

  committed
  511e371

  Copy full SHA for 511e371

• refactor of module

  t-lohse

  committed
  b374069

  Copy full SHA for b374069

• Added into

  t-lohse

  committed
  37c8f12

  Copy full SHA for 37c8f12

• Removed commented code

  t-lohse

  committed
  225a060

  Copy full SHA for 225a060

• Changed to use lazy_static

  t-lohse

  committed
  a611bca

  Copy full SHA for a611bca

• Changed to use lazy_static

  t-lohse

  committed
  a7a7cd8

  Copy full SHA for a7a7cd8

• Merge branch 'main' into memory-hogging-fix

  t-lohse

  authored
  9efa8d6

  Copy full SHA for 9efa8d6

• merge main

  t-lohse

  committed
  71fe7ed

  Copy full SHA for 71fe7ed

• Merge branch 'component-unused-functions' of github.com:Ecdar/Reveaal into information-logger

  t-lohse

  committed
  06d46c0

  Copy full SHA for 06d46c0

Commits on May 25, 2023

• refactored removal of invariants

  t-lohse

  committed
  7b88911

  Copy full SHA for 7b88911

Commits on May 26, 2023

• Added macro tests

  t-lohse

  committed
  f5d1eb6

  Copy full SHA for f5d1eb6

Commits on May 30, 2023

• Merged main

  t-lohse

  committed
  2c648ff

  Copy full SHA for 2c648ff

• Merged main

  t-lohse

  committed
  56dff37

  Copy full SHA for 56dff37

• Merged main

  t-lohse

  committed
  ec39f1c

  Copy full SHA for ec39f1c