Pipelines · Merge branch 'FieldShapeSymbol-FieldStrideSymbol-strictly-positive' into 'master' (ddb86435) · Commits · pycodegen / pystencils

Snippets Groups Projects

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Commit ddb86435 authored 5 years ago by

Martin Bauer

Browse files

Merge branch 'FieldShapeSymbol-FieldStrideSymbol-strictly-positive' into 'master'

Declare FieldShapeSymbol and FieldStrideSymbol as strictly positive

See merge request !16

parents 8b30de1d d4c0c47e

Pipeline #16982 passed with stages

in 4 minutes and 8 seconds

Admin message

Merge branch 'FieldShapeSymbol-FieldStrideSymbol-strictly-positive' into 'master'