Search results

Perform codebase-wide renaming from FRAME to Fermat

Status: Open.

#105 In trishullab/Fermat;

· GeorgeTsoukalas opened on Oct 22, 2025

Merge finite fields domain from rebuttal branch

Status: Open.

#104 In trishullab/Fermat;

· GeorgeTsoukalas opened on Oct 22, 2025

Add some way to track symmetric variables

Status: Open.

#77 In trishullab/Fermat;

· rah4927 opened on May 5, 2025

[Feature Request] Tuples in Z3 DSL

Status: Open.

#58 In trishullab/Fermat;

· rah4927 opened on Apr 17, 2025

typing.Set vs frame.entities.Set

Status: Open.

#48 In trishullab/Fermat;

· rah4927 opened on Apr 10, 2025

Create a GUI using the REPL

Status: Open.

#40 In trishullab/Fermat;

· rah4927 opened on Mar 28, 2025

Implement new data structure for examples

Status: Open.

#39 In trishullab/Fermat;

· rah4927 opened on Mar 28, 2025

Unit tests for productions

Status: Open.

#22 In trishullab/Fermat;

· rah4927 opened on Mar 13, 2025

Pruning graph

Status: Open.

#19 In trishullab/Fermat;

· rah4927 opened on Mar 11, 2025

[V2] Change predicate types to (_, _, ..., _, bool)

Status: Open.

#18 In trishullab/Fermat;

· rah4927 opened on Mar 11, 2025

[V2] Type checking using generics in python

Status: Open.

#17 In trishullab/Fermat;

· rah4927 opened on Mar 11, 2025