luke/sv2v
1
0
Fork 0
mirror of https://github.com/zachjs/sv2v.git synced 2026-08-30 01:18:10 +02:00
Code Issues Packages Projects Releases Wiki Activity
1,047 Commits 2 Branches 14 Tags
enum-method
Commit Graph
4 Commits
Author SHA1 Message Date
Zachary Snow 52197df325 add bugpoint mode 
This mode reduces the size of test cases that encounter conversion
errors or produce incorrect output. The logic developed slowly over the
past three years. It is in a state that I find useful when fielding bug
reports, but has some room for improvement in terms of constraints and
filtering.
 2024-06-19 23:06:34 -04:00
Zachary Snow 911243dac4 add --top for filtering uninstantiated modules 2023-06-18 22:36:43 -04:00
Zachary Snow 51c90baf5e support for loading from library directories 2023-06-13 22:53:36 -04:00
Zachary Snow a129e3bc68 add test suite documentation 2023-05-30 22:36:54 -04:00