Skip to content
Snippets Groups Projects
Select Git revision
  • masters/weak_mem protected
  • masters/rusthornbelt protected
  • master default protected
  • ci/ike/frame_exist
  • ralf/prop-level-wand
  • msammler/new-contractive
  • xldenis/pldi-submission
  • xldenis/smallvec-push
  • refmut_sync
  • robbert/sprop
  • ci/pinning
  • xldenis/option
  • robbert/Z_of_nat
  • xldenis/type-sum
  • yusuke/tlist_for_prophecy
  • msammler/rustverify_talk
  • gpirlea/pin_semantic
  • rusthornbelt
  • ci/janno/strict-tc-resolution
  • step_indexing_controlled_by_ghosts
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
Search by author
  • Any Author
  • Derek Dreyer Derek Dreyer dreyer
  • Hai Dang Hai Dang haidang
  • Jacques-Henri Jourdan Jacques-Henri Jourdan jjourdan
  • Janno Janno janno
  • Joseph Tassarotti Joseph Tassarotti jtassaro
  • Lennard Gäher Lennard Gäher lgaeher
  • Michael Sammler Michael Sammler msammler
  • Ralf Jung Ralf Jung jung
  • Robbert Krebbers Robbert Krebbers robbertkrebbers
  • Rodolphe Lepigre Rodolphe Lepigre lepigre
  • Simon Spies Simon Spies simonspies
  • Yusuke Matsushita Yusuke Matsushita shiatsumat
  • iris-dev iris-dev iris-dev
13 authors
  1. Sep 11, 2023
  3. Aug 21, 2023
  5. Aug 14, 2023
  7. Aug 10, 2023
    • Ralf Jung's avatar
      update dependencies · 3f38b1ac
      Ralf Jung authored 
      I have no idea why these proofs broke, but they relied on evars in subtle ways so... :shrug:
      3f38b1ac
  9. Jun 14, 2023
  11. Jun 05, 2023
  13. Jun 04, 2023
  15. Jun 03, 2023
  17. May 25, 2023
  19. May 03, 2023
  21. May 02, 2023
  23. Mar 09, 2023
  25. Mar 08, 2023
  27. Nov 30, 2022
  29. Nov 29, 2022
  31. Aug 12, 2022
  33. Aug 11, 2022
  35. Aug 03, 2022
  37. Jul 27, 2022
  39. Jul 20, 2022
  41. Jul 16, 2022
  43. Jul 05, 2022
  45. Jun 28, 2022
  47. May 17, 2022