Skip to content

Update FavMac - #1219

Open
lehendo wants to merge 1 commit into
sunlabuiuc:masterfrom
lehendo:favmacaudit
Open

Update FavMac#1219
lehendo wants to merge 1 commit into
sunlabuiuc:masterfrom
lehendo:favmacaudit

Verify FavMac against the paper; add missing citation and input valid…

d4c9558
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
contribution-rules
succeeded Aug 30, 2026 in 14s