Search results

Some instances sometimes produce a Princess crash: Proof Certificate Missing

bug/unknown

Status: Open.

#48 In amandasystems/catra;

· amandasystems opened on Mar 29, 2023

Test "product of 4-state, per-transition register automaton with loop has values" OOMs

Status: Open.

#41 In amandasystems/catra;

· amandasystems opened on Nov 28, 2022

Refactor: allow for composite Transition types and encode counters, etc, in transitions

Status: Open.

#27 In amandasystems/catra;

· amandasystems opened on May 5, 2022

 ·  

Cookie Points

Allow separate declaration of variables for counting, and assume all counters start at zero

Status: Open.

#25 In amandasystems/catra;

· amandasystems opened on Apr 25, 2022

 ·  

Good Product

Path-based QE for finding images

Status: Open.

#15 In amandasystems/catra;

· amandasystems opened on Apr 4, 2022

 ·  

Cookie Points

Fix the output from get-image for the Princess backend

Status: Open.

#10 In amandasystems/catra;

· amandasystems opened on Feb 23, 2022

 ·  

Feature-complete

Use GitHub Workflows to publish jars

Status: Open.

#9 In amandasystems/catra;

· amandasystems opened on Feb 22, 2022

 ·  

Cookie Points

Clean up the package and file/folder structure

Status: Open.

#8 In amandasystems/catra;

· amandasystems opened on Feb 22, 2022

 ·  

Cookie Points

Enabling proof constructions causes Princess to crash

bug/unknown

Status: Open.

#7 In amandasystems/catra;

· amandasystems opened on Feb 22, 2022

 ·  

Cookie Points