add_types: only re-enable double-write check if it was previously enabled (!156) · Merge requests · 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.

An error occurred while fetching the assigned milestone of the selected merge_request.

Merged add_types: only re-enable double-write check if it was previously enabled

doublewrite into master

Merged Michael Kuron requested to merge doublewrite into master 4 years ago

Otherwise you can't generate certain boundary kernels that contain conditionals.

Activity

Please register or sign in to reply

Admin message

add_types: only re-enable double-write check if it was previously enabled

Merge request reports

Activity