Code

Add missing features#473

Code

Merged

marcoeilers merged 14 commits intomasterviperproject/carbon:masterfrom meilers_general_perm_forpermviperproject/carbon:meilers_general_perm_forpermCopy head branch name to clipboardFeb 2, 2024

+199-152

Commits

Commits on Oct 28, 2023

• More general forperm

  marcoeilers

  committed
  586fb26

  Copy full SHA for 586fb26

• More general perm and forperm

  marcoeilers

  committed
  dc5428a

  Copy full SHA for dc5428a

• Quantified wands

  marcoeilers

  committed
  0c23f37

  Copy full SHA for 0c23f37

• Wands as triggers

  marcoeilers

  committed
  0c56369

  Copy full SHA for 0c56369

Commits on Nov 1, 2023

• Cleanup

  marcoeilers

  committed
  ebaf311

  Copy full SHA for ebaf311

Commits on Nov 2, 2023

• Silver version with un-ignored tests

  marcoeilers

  committed
  cd1ebff

  Copy full SHA for cd1ebff

• Merge branch 'master' into meilers_general_perm_forperm

  marcoeilers

  committed
  2ff388c

  Copy full SHA for 2ff388c

Commits on Nov 28, 2023

• Merge

  marcoeilers

  committed
  09060ce

  Copy full SHA for 09060ce

Commits on Jan 21, 2024

• Merge

  marcoeilers

  committed
  ecd920d

  Copy full SHA for ecd920d

• More liberal triggering for forperm quantifiers

  marcoeilers

  committed
  d0baf1b

  Copy full SHA for d0baf1b

• Update silver branch

  marcoeilers

  committed
  e0f181b

  Copy full SHA for e0f181b

Commits on Feb 2, 2024

• Addressed review comments

  marcoeilers

  committed
  ce9709b

  Copy full SHA for ce9709b

• Updated silver reference

  marcoeilers

  committed
  646b5c4

  Copy full SHA for 646b5c4

• Merge branch 'master' into meilers_general_perm_forperm

  marcoeilers

  committed
  9cae901

  Copy full SHA for 9cae901