 tristangurtler
|
3f174bb533
making scalars more natural to work with for prsona, as well as fixing a bug in serialization
|
vor 3 Jahren |
|
tristangurtler
|
7f27cdf91b
changes made to enable things needed for proof structure in PRSONA
|
vor 4 Jahren |
|
tristangurtler
|
ec1ba5c9d6
Adding functionality that wasn't already present, which was necessary for PRSONA
|
vor 4 Jahren |
|
tristangurtler
|
d8b3dfabbf
serialization for the stuff that I don't know if I'll actually need it for
|
vor 4 Jahren |
|
tristangurtler
|
732ae10471
bgn2 now compiles (although whether it does anything remains to be seen
|
vor 4 Jahren |
|
tristangurtler
|
a06b1672ec
okay actually another refactor, this time to make one final class that collects everything else. I anticipate this will be easier to use when it comes time to start running things using this library
|
vor 4 Jahren |
|
tristangurtler
|
a47148d30a
changes to make things a little more sane
|
vor 4 Jahren |
|
tristangurtler
|
a1f08d1179
renamed to be more honest
|
vor 4 Jahren |
