Commits · 6a743ce4fed4f545c89ecc7c604872d64b66feaf · general / stups / b2program

Browse files

Jan 14, 2025
- Update a test · 6a743ce4
  Fabian Vu authored 5 months ago
  
  6a743ce4
- Rename floor to level · 1d43a7d1
  Fabian Vu authored 5 months ago
  
  1d43a7d1
- Replace uses of deprecated Gradle space assignment syntax · 784d3668
  dgelessus authored 5 months ago
  
  784d3668
- Fix names of archiveBaseName properties in Gradle Jar tasks · 82a29504
  dgelessus authored 5 months ago
  
  82a29504
- Replace uses of deprecated Gradle convention properties · e52489c5
  dgelessus authored 5 months ago
  
  e52489c5
- Remove declaration of nonexistant btypes subproject · e284fdf0
  dgelessus authored 5 months ago
  
  e284fdf0
- Update Gradle wrappers to version 8.12 · bfd328bf
  dgelessus authored 5 months ago
  
  bfd328bf
- Replace uses of deprecated Gradle baseName property · 7b33f822
  dgelessus authored 5 months ago
  
  7b33f822
- Update Gradle wrappers to version 7.6.4 · e2d704c8
  dgelessus authored 5 months ago
  
  e2d704c8
- Regenerate all Gradle wrappers · 5c246e3e
  dgelessus authored 5 months ago
  
  5c246e3e
- Remove explicit wrapper versions from build.gradle files · 13bf3eb0
  dgelessus authored 5 months ago
  13bf3eb0
Jan 08, 2025
- Invoke machine with external functions with correct parameters · 6f89dc67
  Fabian Vu authored 5 months ago
  
  6f89dc67
- Add test for DroneMainController · c563a564
  Fabian Vu authored 5 months ago
  
  c563a564
- Implement handling return parameters for external functions · fe715640
  Fabian Vu authored 5 months ago
  
  fe715640
- Add DroneCommunicator_Mockup · 4a7b224a
  Fabian Vu authored 5 months ago
  
  4a7b224a
- Add DroneSafetyController · 76ba3f44
  Fabian Vu authored 5 months ago
  76ba3f44
Dec 19, 2024
- Fix an NPE with machine inclusion · 2f7e8e63
  Fabian Vu authored 6 months ago
  
  2f7e8e63
Nov 24, 2024
- Update information on used benchmarks · dc8cac09
  Fabian Vu authored 7 months ago
  
  dc8cac09
- Update information on used models · 1ab50739
  Fabian Vu authored 7 months ago
  
  1ab50739
- Update information on benchmark files · 67c90eca
  Fabian Vu authored 7 months ago
  
  67c90eca
- Update information on benchmark files · b452379e
  Fabian Vu authored 7 months ago
  
  b452379e
- Update information on models in benchmarks · 15ebbfd7
  Fabian Vu authored 7 months ago
  
  15ebbfd7
- Update information about models · 0d73b1e5
  Fabian Vu authored 7 months ago
  
  0d73b1e5
- Update information on WD Check · 87b952ee
  Fabian Vu authored 7 months ago
  
  87b952ee
- Update information on SVG files · e6541ba4
  Fabian Vu authored 7 months ago
  
  e6541ba4
- Update information · 654afb33
  Fabian Vu authored 7 months ago
  
  654afb33
- commit · 761ca62f
  Fabian Vu authored 7 months ago
  761ca62f
- Add information on formal models · d8512968
  Fabian Vu authored 7 months ago
  
  d8512968
- Add more information on machines · 213edbd2
  Fabian Vu authored 7 months ago
  
  213edbd2
- Add information to machines · f1718240
  Fabian Vu authored 7 months ago
  
  f1718240
Nov 23, 2024
- Update tests for C++ · a9bb2c81
  Fabian Vu authored 7 months ago
  
  a9bb2c81
- Update BRelation in C++ · a48e99da
  Fabian Vu authored 7 months ago
  
  a48e99da
- Fix identity for relation in C++ · e78f0a03
  Fabian Vu authored 7 months ago
  
  e78f0a03
- Update README · 939d2d7b
  Fabian Vu authored 7 months ago
  
  939d2d7b
- Update README · a37343a5
  Fabian Vu authored 7 months ago
  
  a37343a5
- Update newest version for Landing Gear HTML document · 09deee91
  Fabian Vu authored 7 months ago
  
  09deee91
Nov 01, 2024
- Update a file for TLC benchmark · 8f0ebc97
  Fabian Vu authored 7 months ago
  
  8f0ebc97
Oct 31, 2024
- Support generation of external functions (must be implemented) for Java · 6767ae6a
  Fabian Vu authored 7 months ago
  
  6767ae6a
Oct 30, 2024
- Update C++ benchmark files · f5e9d63e
  Fabian Vu authored 7 months ago
  
  f5e9d63e
- Fix an error in C++ template · 95dc0fd1
  Fabian Vu authored 7 months ago
  
  95dc0fd1