9 Pull requests merged by 2 people

• feat: enable simp_mem to be used in ITP style [8/?]

  #240 merged Nov 1, 2024

• feat: Add fine grained control over mem_omega rewriting [7/?]

  #238 merged Oct 31, 2024

• refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers

  #242 merged Oct 31, 2024

• feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?]

  #237 merged Oct 31, 2024

• feat: Track whether simp_mem made progress in the monad state [5/?]

  #234 merged Oct 31, 2024

• feat: Switch out all of mem_omega with MetaM [4/?]

  #233 merged Oct 31, 2024

• feat: Switch bvOmegaBench to use MetaM [3/?]

  #232 merged Oct 30, 2024

• chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?]

  #231 merged Oct 29, 2024

• chore: split out simp_mem to Arm/Memory/Common [1/?]

  #230 merged Oct 28, 2024

1 Pull request opened by 1 person

• Bump toolchain 2024 11 01

  #244 opened Nov 1, 2024

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• WIP: Experimental method to aggregate state effects

  #239 commented on Oct 30, 2024 • 0 new comments