Feature: Manifest Validation#57

Merged

bakaq merged 14 commits intobakaq:mainfrom

constraintAutomaton:validation

Oct 24, 2025

Commits on Oct 18, 2025

Validation of manifest feature.

constraintAutomaton
authored and
constraintAutomaton
committed

Commits on Oct 19, 2025

readme updated

constraintAutomaton
authored and
constraintAutomaton
committed

Commits on Oct 22, 2025

has_a_field implemented with argument indexing.

constraintAutomaton
authored and
constraintAutomaton
committed

Commits on Oct 23, 2025

Made the validation more pure.

constraintAutomaton
authored and
constraintAutomaton
committed
Simplify error string formatting.

constraintAutomaton
authored and
constraintAutomaton
committed
Better documentation of Qupak.

constraintAutomaton
authored and
constraintAutomaton
committed
Better documentation of Qupak.

constraintAutomaton
authored and
constraintAutomaton
committed

Commits on Oct 24, 2025

`license_t_` simplified.

Bryan-Elliott Tam
and
bakaq
authored
`license_t_` simplified part 2.

Bryan-Elliott Tam
and
bakaq
authored
Git commit hash added in the Bibliographic Note of Qupak.

constraintAutomaton
authored and
constraintAutomaton
committed
meta_predicate removed from Qupak.

constraintAutomaton
authored and
constraintAutomaton
committed
Simplified the indexing for a list with more then one element.

constraintAutomaton
authored and
constraintAutomaton
committed
Better variable name for `pattern_in_list` to indicate that it require a

constraintAutomaton
authored and
constraintAutomaton
committed
Typo in the readme removed.

constraintAutomaton
authored and
constraintAutomaton
committed