Commits · d3a7cca14189ae41f704887430126cc75b270774 · Felix Dold / uppaal2jetracer

Mar 13, 2025
- Merge branch 'main' of ssh://gitlab.kit.edu/unmsq/uppaal2jetracer · d3a7cca1
  Ethan David Hale authored 1 month ago
  
  d3a7cca1
- fix: Fixed confirmation request to only appear when using the CLI. · be816e77
  Ethan David Hale authored 1 month ago
  
  be816e77
- feat: add sphinx install to dockerfile · dd80d123
  Louis Kevin Fink authored 1 month ago
  
  dd80d123
- Merge branch 'dev-ethan' · a8eb5cd1
  Ethan David Hale authored 1 month ago
  
  a8eb5cd1
- feat: Added logo to assets. · 1033be66
  Ethan David Hale authored 1 month ago
  
  1033be66
- docs: generate docs for u2j · 1731db50
  Louis Kevin Fink authored 1 month ago
  
  1731db50
- Merge branch 'dev-julian' · 2c14fac5
  jk authored 1 month ago
  
  2c14fac5
- fix: multiline comments · 96d928e4
  jk authored 1 month ago
  
  96d928e4
- fix: output "1 unused token" · 68fd8f22
  jk authored 1 month ago
  
  68fd8f22
- Merge branch 'dev-julian' · c72afd80
  jk authored 1 month ago
  
  c72afd80
- fix: multiline class docstrings · b997e78a
  jk authored 1 month ago
  
  b997e78a
Mar 12, 2025
- fix: setup fetches correct host_ip env variable on windows · 65ee6fe6
  Louis Kevin Fink authored 1 month ago
  
  65ee6fe6
- fix: wrong network mode in docker compose minimal profile · 05f8f816
  Louis Kevin Fink authored 1 month ago
  
  05f8f816
- Merge branch 'dev-julian' · 6dbc3d81
  jk authored 1 month ago
  
  6dbc3d81
- fix: allow variable names with underscore · 021039ee
  jk authored 1 month ago
  
  021039ee
- style: remove unused imports · 709c164a
  Moritz Maas authored 1 month ago
  
  709c164a
- fix: change constructor parameter amounts · 2efe3945
  Moritz Maas authored 1 month ago
  
  2efe3945
- Merge branch 'dev-moritz' · a4b94855
  Moritz Maas authored 1 month ago
  
  a4b94855
- fix: adapt to new ast nodes · 802d1bf8
  Moritz Maas authored 1 month ago
  
  802d1bf8
- fix: add logo directory to docker container, update pyproject.toml · 45a936cd
  Louis Kevin Fink authored 1 month ago
  
  45a936cd
- Merge branch 'dev-louis' · 00cc1da8
  Louis Kevin Fink authored 1 month ago
  
  00cc1da8
- style: fix pylint warnings · fd794cd8
  Louis Kevin Fink authored 1 month ago
  
  fd794cd8
- feat: optional collision threshold parameter for FreeAhead and PotentialCollision, add tests for it · 07fca784
  Louis Kevin Fink authored 1 month ago
  
  07fca784
- Merge branch 'dev-julian' · 1513c24b
  jk authored 1 month ago
  
  1513c24b
- refactor: C specific comments · 74817b07
  jk authored 1 month ago
  
  74817b07
- Merge branch 'dev-julian' · a38c0113
  jk authored 1 month ago
  
  a38c0113
- chore: delete increment, decrement · ff6142ee
  jk authored 1 month ago
  
  ff6142ee
- chore: delete all storage qualifier rules, just keep typedef rules · e924bf48
  jk authored 1 month ago
  
  e924bf48
Mar 11, 2025
- chore: delete unused lexer keywords and features · d1f77625
  jk authored 1 month ago
  
  d1f77625
- Merge branch 'dev-julian' · 86ac768c
  jk authored 1 month ago
  
  86ac768c
- chore: delete attribute bitsize, less yellow code · 97aaecf4
  jk authored 1 month ago
  
  refactor: declaration_parser.py
  97aaecf4
- doc: add AST feature documentation · 6a3830f4
  jk authored 1 month ago
  
  6a3830f4
- chore: delete pragma, ellipsis · e4110b5c
  jk authored 1 month ago
  
  e4110b5c
- chore: delete break, continue, default · 9436f6de
  jk authored 1 month ago
  
  9436f6de
- chore: delete break, continue, ternaryop, union · a44b443a
  jk authored 1 month ago
  
  refactor: tree visitor
  a44b443a
Mar 10, 2025
- chore: delete static_assert, switch, case · c5a3cf2b
  jk authored 1 month ago
  
  c5a3cf2b
- Merge remote-tracking branch 'origin/main' · c0f286c6
  Moritz Maas authored 1 month ago
  
  c0f286c6
- feat: add example xml · a794d66b
  Moritz Maas authored 1 month ago
  
  a794d66b
- Merge branch 'dev-ethan' · f1969cc3
  Ethan David Hale authored 1 month ago
  
  f1969cc3
- fix: Updated webinterface colors to be in line with the brand. · 3e0b4c94
  Ethan David Hale authored 1 month ago
  
  feat: Added logo to page.
  3e0b4c94