Skip to content
Snippets Groups Projects

Alternative definition of contextual refinement

Merged Alternative definition of contextual refinement
alt_ctx_refines into master
All threads resolved!
Merged Dan Frumin requested to merge alt_ctx_refines into master
All threads resolved!

On request from @robbertkrebbers

Edited by Dan Frumin

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Dan Frumin added 1 commit

    added 1 commit

    • 5eb87817 - Proper handling of the unboxed types

    Compare with previous version

  • Dan Frumin added 1 commit

    added 1 commit

    Compare with previous version

  • Dan Frumin added 1 commit

    added 1 commit

    • bfe1b284 - A big cleanup, and the other direction for alt ctx refinement.

    Compare with previous version

  • Dan Frumin added 1 commit

    added 1 commit

    Compare with previous version

  • Dan Frumin resolved all threads

    resolved all threads

  • Dan Frumin
    Dan Frumin @dfrumin
    Author Maintainer

    If you are happy with it, then I will go ahead and try to merge it.

  • Dan Frumin
    Dan Frumin @dfrumin
    Author Maintainer

    (The previous message was for @robbertkrebbers )

  • Robbert Krebbers
  • Dan Frumin added 1 commit

    added 1 commit

    Compare with previous version

  • Dan Frumin resolved all threads

    resolved all threads

  • Dan Frumin merged

    merged

  • Dan Frumin mentioned in commit a5fe7d02

    mentioned in commit a5fe7d02

    • Please register or sign in to reply