Историја ревизија

Аутор SHA1 Порука Датум
  Ian Goldberg d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs пре 2 месеци
  Ian Goldberg a8f0aafb21 Simplify the pubscalars_or test пре 4 месеци
  Ian Goldberg c4c86e28d1 In a disjunction branch, convert statements about equality of public Scalars to statements about equality of public Points by multiplying each side by a generator пре 4 месеци