search

dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs
13 stars 0 forks source link

Update expanders #25

Closed mckaguem closed 3 years ago

mckaguem commented 3 years ago

Expanders updated to make use of NewNodeTransformer. The two existing expanders were replaced with a single expander which works for all non-compact (i.e. not constant or variable) expressions in all contexts.