Repository navigation

Feature/ada backend - #44

Merged

renzixilef merged 8 commits into

mainfrom

feature/ada_backend

Feb 11, 2026

Merged

Feature/ada backend#44
renzixilef merged 8 commits into
mainfrom
feature/ada_backend

Commits on Nov 10, 2025
- tries to implement ada c++ wrappers
  renzixilef
  committed
  2f9ec38
Commits on Jan 19, 2026
- removing custom structs fixes segfaults and illegal instructions
  renzixilef
  committed
  c7e9538
- refactors ada interfacing method signatures
  renzixilef
  committed
  efd7047
Commits on Feb 7, 2026
- implements spark proving for pathfinding methods
  renzixilef
  committed
  c21ca20
Commits on Feb 11, 2026
- fixes gnatprove for distance calculation
  renzixilef
  committed
  9dfad9d
- cleans up cmakelists
  renzixilef
  committed
  b1ff243
- setup for dependencies
  renzixilef
  committed
  21e0b90
- adapts pipeline, devcontainer and readme to ada backend
  renzixilef
  committed
  ef64516