GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.

Commit 7a61062b authored 2 years ago by SCHERER Gabriel

Browse files

Merge branch 'errors-with-ranges' into 'master'

More consistent handling of errors in Solver, Infer and FTypeChecker, with source locations

See merge request !48

parents 8514e05b c00f5569

No related branches found

No related tags found

Pipeline #758046 failed 2 years ago

Expand all Hide whitespace changes

Inline Side-by-side

Showing with 608 additions and 568 deletions

Please register or to comment

Admin message

Merge branch 'errors-with-ranges' into 'master'