Ian Goldberg d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output 1 год назад
..
sigma d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output 1 год назад
codegen.rs d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output 1 год назад
lib.rs 14c998d048 A little refactoring of the top-level sigma_compiler_core module 1 год назад
main.rs d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output 1 год назад
notequals.rs c2c275dfb1 Small refactor of collect_cind_points 1 год назад
pedersen.rs 7be6ffc378 clippy on the tests 1 год назад
pubscalareq.rs 1de1cc05c4 Improving support for vector variables 1 год назад
rangeproof.rs fd27fc0757 Correct a comment in rangeproof.rs 1 год назад
substitution.rs 0a650e4647 cargo fmt 1 год назад
syntax.rs d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output 1 год назад
transform.rs b61068d3c6 Fix copy and paste error 1 год назад