 Ian Goldberg
|
6f857f9dfd
Refactor codegen into its own module
|
il y a 8 mois |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
il y a 8 mois |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
il y a 8 mois |
|
Ian Goldberg
|
3602aa75be
Apply the substitutions in the main sigma_compiler_core function
|
il y a 8 mois |
|
Ian Goldberg
|
2a45909392
Look for, and apply, all of the substitutions specified in leaves of a StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
3715b9f359
Make sigma::combiners::PrivScalarMap visible to other modules
|
il y a 8 mois |
|
Ian Goldberg
|
eae6dbfe7b
Derive PartialEq, Eq for TaggedScalar, TaggedPoint, TaggedIdent
|
il y a 8 mois |
|
Ian Goldberg
|
147638585a
impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition
|
il y a 8 mois |
|
Ian Goldberg
|
42ec7dd989
Start on the transform module
|
il y a 8 mois |
|
Ian Goldberg
|
11006442d2
Derive Eq and PartialEq for StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
f2c9dc79ac
AExprType implements Eq, not just PartialEq
|
il y a 8 mois |
|
Ian Goldberg
|
3b24652274
Make rustdoc link directly to the correct method of SigmaCompSpec
|
il y a 8 mois |
|
Ian Goldberg
|
e403812ad6
Rename one test for consistency with the others
|
il y a 8 mois |
|
Ian Goldberg
|
d7ba2a9350
Enforce the disjunction invariant
|
il y a 8 mois |
|
Ian Goldberg
|
7a84a547cf
A little more documentation
|
il y a 8 mois |
|
Ian Goldberg
|
aeff156e4c
Touch up docs for syntax module
|
il y a 8 mois |
|
Ian Goldberg
|
62f45215e5
A couple more doc touchups in sigma::types
|
il y a 8 mois |
|
Ian Goldberg
|
081b5c17f7
typo in comment
|
il y a 8 mois |
|
Ian Goldberg
|
c7363c9d40
More documentation for the sigma::combiners and sigma::types modules
|
il y a 8 mois |
|
Ian Goldberg
|
ed8a9d43ed
A function to evaluate the types of arithmetic expressions on Scalars and Points
|
il y a 8 mois |
|
Ian Goldberg
|
80b6fa75ac
The submodules that would be useful to have in the lower-level `sigma` crate are for now included as submodules of a local `sigma` module
|
il y a 8 mois |
|
Ian Goldberg
|
0675969e9b
Parse the AND, OR, THRESH combiners when constructing the StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
9525945aa9
Start making and using the StatementTree
|
il y a 8 mois |
|
Ian Goldberg
|
20057964af
Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type
|
il y a 8 mois |
|
Ian Goldberg
|
7e85e60df9
Separate TaggedIdent into TaggedScalar and TaggedPoint
|
il y a 9 mois |
|
Ian Goldberg
|
cbb021612f
Reject invalid tag combinations for TaggedIdent
|
il y a 9 mois |
|
Ian Goldberg
|
ab74c8a3e8
clippy
|
il y a 9 mois |
|
Ian Goldberg
|
14a9364364
Refactor the syntax parser into a module
|
il y a 9 mois |
|
Ian Goldberg
|
266b07ad4f
Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core
|
il y a 9 mois |
|
Ian Goldberg
|
b357d5236f
New sigma_compiler! syntax
|
il y a 9 mois |
