Skip to content
GitLab
Explore
Sign in
Check purity of tuples by checking that all components are pure
Code
Review changes
Check out branch
Download
Patches
Plain diff
Viktor Kuncak
requested to merge
github/fork/jad-hamza/tuple-purity
into
master
Jun 06, 2019
Overview
0
Commits
2
Pipelines
0
Changes
6
Expand
Created by: jad-hamza
Fixes
https://github.com/epfl-lara/stainless/issues/531
Merge request reports