Repository navigation

Sync Engine with development main - #5

Merged

mateusdeoliveiraoliveira merged 11 commits into

AutoProving:mainfrom

mlgorithm:Sam/sync-engine-to-development-main

May 11, 2026

Merged

Sync Engine with development main#5
mateusdeoliveiraoliveira merged 11 commits into
AutoProving:mainfrom
mlgorithm:Sam/sync-engine-to-development-main

Commits on May 9, 2026
- Route generated outputs under out
  Sam
  committed
  8939dfd
- Remove cluster README
  Sam
  committed
  6d88b7e
- Remove tracked build artifacts
  Sam
  committed
  19f77da
- Route generated outputs under out
  Sam
  committed
  876f4bb
- Sync engine tree with development main
  Sam
  committed
  bce119d
- Fix install smoke core names
  Sam
  committed
  c67b210
- Stabilize plugin library loading
  Sam
  committed
  afde373
- Link CLI against core library only
  Sam
  committed
  091ed4d
- Use portable temp paths in multigraph tests
  Sam
  committed
  5f6caf1
- Fix Windows relocated launcher smoke
  Sam
  committed
  c3acf3e
- Fix Windows install smoke consumer path
  Sam
  committed
  2aa88eb