Skip to content
Snippets Groups Projects

Fix and conditional increment example

Merged Fix and conditional increment example
lepigre/examples:fix_and_cinc into master
All threads resolved!
Merged Rodolphe Lepigre requested to merge lepigre/examples:fix_and_cinc into master
All threads resolved!

Merge request reports

Approval is optional

Merged by Ralf JungRalf Jung 6 years ago (Jun 4, 2019 3:45pm UTC)

Merge details

  • Changes merged into master with b3159ec2.
  • Deleted the source branch.

Pipeline #17179 failed

Stage: build

Pipeline failed for b3159ec2 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Ralf Jung
    Ralf Jung @jung
    Owner

    The proof could probably be simplified, but let's just do that in-tree -- this is not a library, after all.

  • Rodolphe Lepigre added 1 commit

    added 1 commit

    • 31b7db5f - New conditional increment example.

    Compare with previous version

  • Rodolphe Lepigre resolved all discussions

    resolved all discussions

  • Ralf Jung mentioned in commit b3159ec2

    mentioned in commit b3159ec2

  • Ralf Jung merged

    merged

    • Please register or sign in to reply