Automatic argument precondition for non-`1` shapes - Githubissues

alegnani / pancake-verifier

2 stars 0 forks source link

Automatic argument precondition for non-`1` shapes #22

Closed alegnani closed 1 month ago

alegnani commented 1 month ago

fix #6: Automatic argument precondition for non-1 shapes
fixed method calls not using copy semantics on non-1 shapes