Checkstyle CI

Workflow runs for Checkstyle CI

• open loaded example diagram directly after loading an example (#231)

  completed successfully:
  Checkstyle CI#612:Commit5f54f3epushedbyKodde2011
  dev

  Oct 1, 202630s
  More actions for workflow run 612

• fixed parsing of old() variables to correct variable type, was always…

  completed successfully:
  Checkstyle CI#611:Commit543fba9pushedbyKodde2011
  dev

  Oct 1, 202629s
  More actions for workflow run 611

• fixed parsing of old() variables to correct variable type, was always…

  completed successfully:
  Checkstyle CI#610:Commit0659650pushedbyKodde2011
  fix/oldVariables

  Oct 1, 20261m 3s
  More actions for workflow run 610

• Fix/examples (#232)

  completed successfully:
  Checkstyle CI#609:Commit44ad3depushedbyKodde2011
  dev

  Oct 1, 202632s
  More actions for workflow run 609

• work: fixed examples

  completed successfully:
  Checkstyle CI#608:Commit04e204dpushedbyS3vro
  fix/examples

  Sep 30, 202619s
  More actions for workflow run 608

• Merge branch 'dev' of https://github.com/KIT-TVA/WebCorC into fix/loa…

  completed successfully:
  Checkstyle CI#607:Commite418b0epushedbyJaferShar
  fix/load-example-open

  Sep 30, 20261m 1s
  More actions for workflow run 607

• Adds ifbc to docs.

  completed successfully:
  Checkstyle CI#606:Commit8a0585bpushedbyKodde2011
  xcorc/ifbc_wiki

  Sep 30, 20261m 0s
  More actions for workflow run 606

• adds documentation to some backend code.

  failed:
  Checkstyle CI#605:Commit381292apushedbyKodde2011
  xcorc/ifbc

  Sep 30, 202654s
  More actions for workflow run 605

• Merge branch 'dev' of https://github.com/KIT-TVA/WebCorC into feature…

  completed successfully:
  Checkstyle CI#604:Commit8beb142pushedbyJaferShar
  feature/jml-syntax-parser

  Sep 30, 202625s
  More actions for workflow run 604

• un-verification of parent nodes at failed verification or changes (#222)

  completed successfully:
  Checkstyle CI#603:Commit5432f82pushedbyJaferShar
  feature/jml-syntax-parser

  Sep 30, 202630s
  More actions for workflow run 603

• work: started revising the example [WIP]

  completed successfully:
  Checkstyle CI#602:Commit75a2f0cpushedbyS3vro
  fix/examples

  Sep 30, 202651s
  More actions for workflow run 602

• show syntax errors as message card below the condition field

  completed successfully:
  Checkstyle CI#601:Commit660c325pushedbyJaferShar
  feature/jml-syntax-parser

  Sep 24, 202627s
  More actions for workflow run 601

• show JML syntax errors in the condition editor

  completed successfully:
  Checkstyle CI#600:Commitbd2b305pushedbyJaferShar
  feature/jml-syntax-parser

  Sep 24, 202630s
  More actions for workflow run 600

• show JML syntax errors of conditions in the editor

  completed successfully:
  Checkstyle CI#599:Commit0440548pushedbyJaferShar
  feature/jml-syntax-parser

  Sep 24, 20261m 10s
  More actions for workflow run 599

• Merge pull request #229 from KIT-TVA/use-openng

  completed successfully:
  Checkstyle CI#598:Commitcd939fapushedbyCianPayne
  dev

  Sep 24, 202624s
  More actions for workflow run 598

• Migrate to optimus UI

  completed successfully:
  Checkstyle CI#597:Commit4a92dfcpushedbyCianPayne
  use-openng

  Sep 24, 202656s
  More actions for workflow run 597

• Merge pull request #228 from KIT-TVA/fix/repetition-statment-conditions

  completed successfully:
  Checkstyle CI#596:Commitfdfc8b2pushedbyCianPayne
  dev

  Sep 24, 20261m 3s
  More actions for workflow run 596

• Fix/repetition statment conditions

  completed successfully:
  Checkstyle CI#595:Pull request#227openedbyCianPayne
  fix/repetition-statment-conditions

  Sep 24, 202648s
  More actions for workflow run 595

• Fix incorrect calculation of statement conflicts

  completed successfully:
  Checkstyle CI#594:Commite4aee31pushedbyCianPayne
  fix/repetition-statment-conditions

  Sep 24, 202652s
  More actions for workflow run 594

• un-verification of parent nodes at failed verification or changes (#222)

  completed successfully:
  Checkstyle CI#593:Commit5432f82pushedbyKodde2011
  dev

  Sep 10, 20261m 25s
  More actions for workflow run 593

• fixed a bug where reload unverifies root

  completed successfully:
  Checkstyle CI#592:Commit419ae32pushedbyJaferShar
  fix/verify-behaviour

  Sep 9, 202626s
  More actions for workflow run 592

• visualize verification of single statement + subtree

  completed successfully:
  Checkstyle CI#591:Commit30a0e66pushedbyJaferShar
  fix/verify-behaviour

  Sep 9, 202655s
  More actions for workflow run 591

• Fix incorrect calculation of statement conflicts

  completed successfully:
  Checkstyle CI#590:Commit091c677pushedbyCianPayne
  fix/repetition-statment-conditions

  Sep 7, 20261m 9s
  More actions for workflow run 590

• fixed formatting of maxElement predicates to match new KeY parser (#223)

  completed successfully:
  Checkstyle CI#589:Commitccdadf1pushedbyKodde2011
  dev

  Aug 27, 202625s
  More actions for workflow run 589

• Fix formatting in load-example-dialog component for KeY3.0 parser

  completed successfully:
  Checkstyle CI#588:Commit6a390e3pushedbyKodde2011
  fix/key3.0javaparser

  Aug 27, 202632s
  More actions for workflow run 588