github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-09 14:48:08 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
99d6b28195148dd12d122c328a48e78e81c35502
darkfi/old
History
parazyd f1985e7559 proof: Move pism scripts to old/
2021-12-19 16:45:03 +01:00
..
compile.py
made directory names singular
2021-09-13 09:38:21 +02:00
mint.aux
made directory names singular
2021-09-13 09:38:21 +02:00
mint.pism
proof: Move pism scripts to old/
2021-12-19 16:45:03 +01:00
pism.py
made directory names singular
2021-09-13 09:38:21 +02:00
preprocess.py
made directory names singular
2021-09-13 09:38:21 +02:00
run_mint_contract.sh
made directory names singular
2021-09-13 09:38:21 +02:00
run_mint.sh
made directory names singular
2021-09-13 09:38:21 +02:00
run_spend_contract.sh
made directory names singular
2021-09-13 09:38:21 +02:00
spend.pism
proof: Move pism scripts to old/
2021-12-19 16:45:03 +01:00