Commit graph

1 commit

Author SHA1 Message Date
Silent
4169c9e867
Allow SVF to register model names, not just IDs 2024-05-18 16:49:03 +02:00