 tristangurtler
|
1e498830e7
fixed a few minor typos
|
vor 3 Jahren |
|
tristangurtler
|
d83f19388e
fixing a few things with serialization of types that I hadn't been using yet
|
vor 3 Jahren |
|
tristangurtler
|
e22e4ed40e
updates to make serialization slightly more efficient
|
vor 3 Jahren |
|
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 3 Jahren |
|
tristangurtler
|
ec1ba5c9d6
Adding functionality that wasn't already present, which was necessary for PRSONA
|
vor 3 Jahren |
|
tristangurtler
|
d8b3dfabbf
serialization for the stuff that I don't know if I'll actually need it for
|
vor 3 Jahren |
|
tristangurtler
|
732ae10471
bgn2 now compiles (although whether it does anything remains to be seen
|
vor 3 Jahren |
|
tristangurtler
|
a47148d30a
changes to make things a little more sane
|
vor 3 Jahren |
|
tristangurtler
|
a1f08d1179
renamed to be more honest
|
vor 3 Jahren |
