Code

add support for continuous patching#334

Code

Merged

matthiaslehnertum merged 7 commits intodevelopls1intum/Apollon:developfrom feature/continuous-patchingls1intum/Apollon:feature/continuous-patchingCopy head branch name to clipboardDec 22, 2023

+264-23

Commits

Commits on Dec 11, 2023

• add support for continuous patching

  loreanvictor

  committed
  5e5de39

Commits on Dec 16, 2023

• switch default api behavior

  loreanvictor

  committed
  05ec7ea

Commits on Dec 18, 2023

• make patching-induced rerenders stable

  loreanvictor

  committed
  1699a3f

• Merge branch 'feature/graceful-patching' into feature/continuous-patching

  loreanvictor

  committed
  035b08f

• add docs and unit tests

  loreanvictor

  committed
  6184a20

• prettier

  loreanvictor

  committed
  32eb71b

Commits on Dec 22, 2023

• Merge branch 'develop' into feature/continuous-patching

  matthiaslehnertum

  authored
  2c8a78a