Collin Jackson
|
c90e1627fb
|
Known issues
|
2024-10-21 05:29:41 -07:00 |
|
Collin Jackson
|
88f89deea6
|
WSL
|
2024-10-21 05:18:29 -07:00 |
|
Collin Jackson
|
b0f1cea711
|
Reorder README
|
2024-10-20 23:49:31 -07:00 |
|
Collin Jackson
|
55ce39ba8e
|
Update cargo.toml version
|
2024-10-20 23:44:14 -07:00 |
|
Collin Jackson
|
c27be89ba3
|
Update installation instructions
|
2024-10-20 23:41:50 -07:00 |
|
Collin Jackson
|
7b3383123c
|
docs: Update README.md install instructions (#17)
|
2024-10-18 12:41:20 -07:00 |
|
Collin Jackson
|
9006b955d2
|
docs: Update README.md instructions for demand key (#16)
|
2024-10-18 12:25:25 -07:00 |
|
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 |
|