Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 79
    • Issues 79
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 14
    • Merge requests 14
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • stdpp
  • Merge requests
  • Open 14
  • Merged 392
  • Closed 35
  • All 441
Subscribe to RSS feed
  • add map_fold_delete
    !412 · created Sep 07, 2022 by Ralf Jung
    • MERGED
    • 6
    updated Sep 25, 2022
  • Fix unfolding logic of bv_simplify
    !411 · created Aug 25, 2022 by Michael Sammler
    • MERGED
    • 2
    updated Nov 23, 2022
  • Prepare changelog for release 1.8
    !410 · created Aug 12, 2022 by Lennard Gäher
    • MERGED
    • 3
    updated Aug 17, 2022
  • add some very basic f_equiv tests
    !409 · created Aug 11, 2022 by Ralf Jung
    • MERGED
    • 2
    updated Aug 12, 2022
  • Add bitvector library with automation
    !408 · created Aug 11, 2022 by Michael Sammler
    • MERGED
    • 18
    updated Aug 24, 2022
  • Generalize Propers for lists / Add some missing Params
    !407 · created Aug 10, 2022 by Robbert Krebbers
    • MERGED
    • 4
    updated Aug 11, 2022
  • Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting
    !406 · created Aug 09, 2022 by Paolo G. Giarrusso
    • MERGED
    • 6
    updated Aug 09, 2022
  • Add _1, _2 lemmas for not_elem_of_dom and lookup_union_None
    !405 · created Aug 08, 2022 by Michael Sammler
    • MERGED
    • 1
    updated Aug 08, 2022
  • Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib
    !404 · created Aug 08, 2022 by Robbert Krebbers
    • MERGED
    • 33
    updated Aug 12, 2022
  • Refactor and improve documentation of feed and efeed tactics
    !403 · created Aug 02, 2022 by Michael Sammler
    • MERGED
    • 40
    updated Aug 16, 2022
  • Create stdpp-unstable package and add bitblast library
    !402 · created Aug 01, 2022 by Michael Sammler
    • MERGED
    • 38
    updated Nov 23, 2022
  • Add join_length
    !401 · created Jul 27, 2022 by Michael Sammler
    • MERGED
    • 1
    updated Jul 31, 2022
  • Add list_subseteq_dec
    !400 · created Jul 27, 2022 by Michael Sammler
    • MERGED
    • 3
    updated Aug 01, 2022
  • Add lookup lemmas for partial alter and commuting lemmas for alter
    !399 · created Jul 27, 2022 by Michael Sammler
    • MERGED
    • 1
    updated Jul 31, 2022
  • Flip direction of `map_disjoint_fmap`.
    !398 · created Jul 26, 2022 by Robbert Krebbers
    • MERGED
    • 1
    updated Aug 01, 2022
  • Add list_fmap_delete, omap_app, and omap_option_list
    !397 · created Jul 26, 2022 by Michael Sammler
    • MERGED
    • 5
    updated Jul 26, 2022
  • Add list_lookup_imap_Some
    !396 · created Jul 26, 2022 by Michael Sammler
    • MERGED
    • 5
    updated Jul 26, 2022
  • Add lookup_union_l'
    !395 · created Jul 26, 2022 by Michael Sammler
    • MERGED
    • 6
    updated Aug 03, 2022
  • Fix the naming of kmap_subseteq and kmap_subset
    !393 · created Jul 26, 2022 by Michael Sammler
    • MERGED
    • Approved
    • 5
    updated Jul 26, 2022
  • Add map_agree
    !392 · created Jul 26, 2022 by Michael Sammler
    • MERGED
    • 14
    updated Aug 01, 2022
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • …
  • 20
  • Next