Commits · a8263c27665f642442bb057275d1b6b9eb171904 · general / stups / b2program

Browse files

Jan 14, 2025
- Try installing only libboost-dev instead of libboost-all-dev · a8263c27
  dgelessus authored 5 months ago
  
  a8263c27
- Remove installation of apparently unused packages · 33dafdb8
  dgelessus authored 5 months ago
  
  33dafdb8
- Remove duplicate installation of build-essential · 2d1aacd6
  dgelessus authored 5 months ago
  
  2d1aacd6
- Simplify Linux test job definition · 3f7a733a
  dgelessus authored 5 months ago
  
  3f7a733a
- Set DEBIAN_FRONTEND variable using GitLab CI syntax instead of script · 5ca1cc78
  dgelessus authored 5 months ago
  
  5ca1cc78
- Remove duplicate apt-get update · 51487cd9
  dgelessus authored 5 months ago
  
  51487cd9
- Remove unnecessary chmod (gradlew is already executable in Git) · f29d7a89
  dgelessus authored 5 months ago
  
  f29d7a89
- 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