Mini mutable set implementation with trait interface, as example and better understanding of ASTs#101

Open

samuelchassot wants to merge 5 commits intoepfl-lara:mainfrom samuelchassot:sam/minitrait

+47

Commits on Aug 6, 2024

Commits on Aug 8, 2024

mini trait with postcondition
samuelchassot
committed

Commits on Dec 12, 2024