Commit Graph

4 Commits

Author SHA1 Message Date
hcotry
a48c121a3c
fix: Hz of proved Program (#12)
Signed-off-by: hcotry <hcotry@163.com>
2024-10-18 12:23:34 -07:00
Collin Jackson
b5aad54d42
fix: Terms (#6) 2024-10-08 17:47:55 -07:00
Collin Jackson
4327e46bf3
feat!: Update README with latest naming, prompting for acceptance of terms, noninteractive mode, replace keep_proving with just_once (#5) 2024-10-03 15:31:23 -07:00
Collin Jackson
a49a35c191
feat: Initial check-in of prover CLI (#2) 2024-09-05 12:45:22 -07:00