Skip to content
Snippets Groups Projects

Alternative definition of contextual refinement

Merged Alternative definition of contextual refinement
alt_ctx_refines into master
Merged Dan Frumin requested to merge alt_ctx_refines into master
  1. Jan 16, 2021
  3. Jan 15, 2021
  5. Jan 10, 2021
  7. Jan 07, 2021
  9. Jan 06, 2021
    • Dan Frumin's avatar
      Proper handling of the unboxed types · 5eb87817
      Dan Frumin authored 
      Prior to this change there was a bit of a mess in handling of types on
which you can do `CAS` and which you can compare by equality.
This change adds typing rules that allow `CAS` on any unboxed types.
      5eb87817
  11. Jan 05, 2021
  13. Jan 04, 2021
  15. Jan 03, 2021
  17. Dec 12, 2020
  19. Dec 11, 2020