gargamelle-workflow-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-workflow

## 0.1.0.0 — Initial Release

- Synthesis workflow and Crem verified state machine orchestration.
- End-to-end integration across logic, models, evidence, effects, and sandboxes.
- Complete CEGIS loop coordination.