Skip to content

Added a TLA+/TLC trace-validation baseline with trace export, runner integration, and experiment tooling.#90

Open
baochunli wants to merge 12 commits into
mainfrom
merge
Open

Added a TLA+/TLC trace-validation baseline with trace export, runner integration, and experiment tooling.#90
baochunli wants to merge 12 commits into
mainfrom
merge

Made the goal-oriented experiments much stronger by adding a non-DCQC…

fb7c850
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar