Skip to content

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

Conversation

@mlgorithm
Copy link
Copy Markdown

This syncs TreeWidzard-Engine with the current development main tree while preserving both histories.

The branch contains a two-parent merge commit:

  • parent 1: current Engine cleanup history
  • parent 2: development main
  • final tree: exactly matches development main

Also keeps the generated-artifact cleanup:

  • no tracked build artifacts
  • no CLUSTERREADME.md
  • generated outputs routed under out/

Local verification:

  • CMake configure/build with tests enabled passed
  • CTest passed: 435/435
  • README.md and examples.md runnable examples passed

@mateusdeoliveiraoliveira mateusdeoliveiraoliveira marked this pull request as ready for review May 11, 2026 13:26
@mateusdeoliveiraoliveira mateusdeoliveiraoliveira merged commit 96704d6 into AutoProving:main May 11, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants