 Ian Goldberg
|
998d014072
Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].
|
5 months ago |
|
Ian Goldberg
|
f501f2c7f3
Allow << on constant expressions in statements
|
5 months ago |
|
Ian Goldberg
|
fa3d992bcc
Use the input TaggedVarDict, not the one modified by apply_substitutions, to generate the Params and Witness structures
|
5 months ago |
|
Ian Goldberg
|
eae6dbfe7b
Derive PartialEq, Eq for TaggedScalar, TaggedPoint, TaggedIdent
|
5 months ago |
|
Ian Goldberg
|
147638585a
impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition
|
5 months ago |
|
Ian Goldberg
|
d7ba2a9350
Enforce the disjunction invariant
|
5 months ago |
|
Ian Goldberg
|
7a84a547cf
A little more documentation
|
5 months ago |
|
Ian Goldberg
|
aeff156e4c
Touch up docs for syntax module
|
5 months ago |
|
Ian Goldberg
|
ed8a9d43ed
A function to evaluate the types of arithmetic expressions on Scalars and Points
|
5 months ago |
|
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
|
5 months ago |
|
Ian Goldberg
|
9525945aa9
Start making and using the StatementTree
|
5 months ago |
|
Ian Goldberg
|
20057964af
Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type
|
5 months ago |
|
Ian Goldberg
|
7e85e60df9
Separate TaggedIdent into TaggedScalar and TaggedPoint
|
5 months ago |
|
Ian Goldberg
|
cbb021612f
Reject invalid tag combinations for TaggedIdent
|
6 months ago |
|
Ian Goldberg
|
14a9364364
Refactor the syntax parser into a module
|
6 months ago |
