Issues

• Perform codebase-wide renaming from FRAME to Fermat

  trishullab/Fermat#105 · Filter by author GeorgeTsoukalas opened on Oct 22, 2025

• Merge finite fields domain from rebuttal branch

  trishullab/Fermat#104 · Filter by author GeorgeTsoukalas opened on Oct 22, 2025

• Add some way to track symmetric variables

  trishullab/Fermat#77 · Filter by author rah4927 opened on May 5, 2025

• [Feature Request] Tuples in Z3 DSL

  trishullab/Fermat#58 · Filter by author rah4927 opened on Apr 17, 2025

• typing.Set vs frame.entities.Set

  trishullab/Fermat#48 · Filter by author rah4927 opened on Apr 10, 2025

• Create a GUI using the REPL

  trishullab/Fermat#40 · Filter by author rah4927 opened on Mar 28, 2025
  2

• Implement new data structure for examples

  trishullab/Fermat#39 · Filter by author rah4927 opened on Mar 28, 2025

• Unit tests for productions

  trishullab/Fermat#22 · Filter by author rah4927 opened on Mar 13, 2025
  

• Pruning graph

  trishullab/Fermat#19 · Filter by author rah4927 opened on Mar 11, 2025

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

  trishullab/Fermat#18 · Filter by author rah4927 opened on Mar 11, 2025

• [V2] Type checking using generics in python

  trishullab/Fermat#17 · Filter by author rah4927 opened on Mar 11, 2025