Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Fixes for Integer Overflows #1186

Merged
merged 1 commit into from
Oct 27, 2020
Merged

Fixes for Integer Overflows #1186

merged 1 commit into from
Oct 27, 2020

Conversation

avritichauhan
Copy link
Contributor

Added the fixes for integer overflow issues raised in #1173, for the benchmarks submitted in PR #835

  • programs added to new and appropriately named directory

  • license present and acceptable (either in separate file or as comment at beginning of program)

  • contributed-by present (either in README file or as comment at beginning of program)

  • programs added to a .set file of an existing category, or new sub-category established (if justified)

  • intended property matches the corresponding .prp file

  • programs and expected answer added to a .yml file according to task definitions

  • data model present in task-definition file
  • original (ideally not preprocessed) sources present
  • preprocessed files present
  • preprocessed files generated with correct architecture
  • Makefile added with correct content and without overly broad suppression of warnings

@avritichauhan
Copy link
Contributor Author

@divyeshunadkat @hernanponcedeleon @PhilippWendler @dbeyer

I have added the necessary fixes. A kind request to review the changes, so that the PR can be merged.

@hernanponcedeleon hernanponcedeleon requested review from hernanponcedeleon and removed request for hernanponcedeleon October 27, 2020 13:30
Copy link
Contributor

@divyeshunadkat divyeshunadkat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @avritichauhan for the PR with the necessary changes

@MartinSpiessl MartinSpiessl self-requested a review October 27, 2020 14:37
@dbeyer dbeyer merged commit e4b333f into sosy-lab:master Oct 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
C Task in language C issue with benchmark
Development

Successfully merging this pull request may close these issues.

6 participants