Skip to content

Require labels for game objects#725

Merged
tturocy merged 14 commits intomasterfrom
dev_labels
Jan 2, 2026
Merged

Require labels for game objects#725
tturocy merged 14 commits intomasterfrom
dev_labels

Conversation

@tturocy
Copy link
Copy Markdown
Member

@tturocy tturocy commented Jan 2, 2026

This moves towards requiring labels for certain classes of game objects, as per #614.

This adds a number of robustness checks for .efg files.
Principally, this enforces that if information is repeated (information set
or outcome details), these much match *exactly* the original definition.

Documentation of the format has been updated to clarify this and a few other
points.
…and strategies on load.

This is currently turned on (and as a result a test is marked to xfail).

In a subsequent commit we will make it an option for 16.5 (it will become compulsory in 16.6)
# Conflicts:
#	ChangeLog
#	src/games/file.cc
@tturocy tturocy linked an issue Jan 2, 2026 that may be closed by this pull request
3 tasks
@tturocy tturocy merged commit 55c3ecd into master Jan 2, 2026
26 checks passed
@tturocy tturocy deleted the dev_labels branch January 2, 2026 14:16
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.

ENH: Require unique, nontrivial action labels at all information sets

1 participant