Search results

Reexamine patching back DEs not mentioned in theory

Status: Open.

#143 In WatForm/fortress;

· ryandancy opened on Sep 4, 2024

Clean up interpretation code

enhancementNew feature or requestNew feature or request

Status: Open.

#142 In WatForm/fortress;

· nancyday opened on Sep 4, 2024

Unique name generation for transitive closure

bugSomething isn't workingSomething isn't working

Status: Open.

#128 In WatForm/fortress;

· otzzila opened on Jul 20, 2024

Should the typechecker be run right away when the problem state is created?

discussan issue we need to discussan issue we need to discuss

Status: Open.

#127 In WatForm/fortress;

· nancyday opened on Jul 17, 2024

Sorts supplied at CLI and Sorts supplied in set-scope in file - are errors given if scope for a sort A stated twice?

Status: Open.

#126 In WatForm/fortress;

· nancyday opened on Jul 17, 2024

review APIGuide and Developer's Guide

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#125 In WatForm/fortress;

· nancyday opened on Jul 17, 2024

File extensions accepts at Fortress CLI?

enhancementNew feature or requestNew feature or request

Status: Open.

#124 In WatForm/fortress;

· nancyday opened on Jul 16, 2024

BitVectors (which contain their scope in the sort) within the ScopeMap?

discussan issue we need to discussan issue we need to discuss

Status: Open.

#121 In WatForm/fortress;

· nancyday opened on Jul 15, 2024

Rename "Unchanging" as a scope attribute to fixed

enhancementNew feature or requestNew feature or request

Status: Open.

#120 In WatForm/fortress;

· nancyday opened on Jul 15, 2024

StandardModelFinder tries to count models with unbounded sorts

questionFurther information is requestedFurther information is requested

Status: Open.

#118 In WatForm/fortress;

· nancyday opened on Jul 15, 2024

When should iff/impl/distinct be removed?

discussan issue we need to discussan issue we need to discuss

Status: Open.

#117 In WatForm/fortress;

· nancyday opened on Jul 14, 2024

Add flag to ProblemState for "correctness testing mode"

enhancementNew feature or requestNew feature or request

Status: Open.

#114 In WatForm/fortress;

· nancyday opened on Jul 13, 2024