 narodnik
|
1483a5c7c2
fix breaking change in last commit
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
86daadded0
comment most of the proof out
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
58ee64a837
add pedersen_hash related functionality
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
2bda684163
working blake2s hash function!
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
47131b3a53
fix bug and add more commands
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
c35f43e9f3
pipe just generated file throught rustfmt instead of doing on entire project
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
e710fb2cd4
split off codgen functions into a separate module. have working ec ops
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
7833f69ede
indent, tidy and cleanup working.pism
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
d2417f29d2
add simple.prf file
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
9096fe173f
remove unused imports from simple.rs
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
859d7e61f5
add run script for simple cradle
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
bd29e9a12d
working cradle!
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
0bb0da0e03
add aux support for hooking up const values
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
5989b9ef1c
working simple example
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
ad6d3eb074
simple proof
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
20424ce011
pism
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
5828bee338
move out old schemas
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
133e94b2d9
finished pism spec
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
6dc84fd26e
pism work
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
8d17c4785c
add new psuedocode contract script file
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
f0ac762e16
fix mistakes with types and missing qualifiers
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
f92656c8be
script to make a compile test
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
99dcc69b6d
compiler now outputting rust code
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
e4a2f3e1e6
split up parser code
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
f7b027c100
spaghetti
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
5a13266cc4
parse consts
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
e041a01e29
single end emit statement
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
c7a252ef8b
another variant
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
07c63e8ffe
add missing :
|
%!s(int64=6) %!d(string=hai) anos |
|
narodnik
|
b9bfb860af
another proof script variant
|
%!s(int64=6) %!d(string=hai) anos |
