Code

[Civl] Permissions cleanup#956

Code

Merged

shazqadeer merged 10 commits intomasterboogie-org/boogie:masterfrom lin-cleanupboogie-org/boogie:lin-cleanupCopy head branch name to clipboardOct 7, 2024

+381-545

Commits

Commits on Oct 7, 2024

• One_New -> Loc_New

  shazqadeer

  committed
  3785d51

  Copy full SHA for 3785d51

• removed Cell from Map_Get and Map_Put

  shazqadeer

  committed
  c48a9d4

  Copy full SHA for c48a9d4

• removed Fraction

  shazqadeer

  committed
  ab6ff88

  Copy full SHA for ab6ff88

• KeyedLocs_New -> KeyedLocSet_New

  shazqadeer

  committed
  8ea487a

  Copy full SHA for 8ea487a

• remove Cell_Pack and Cell_Unpack

  shazqadeer

  committed
  2e39c89

  Copy full SHA for 2e39c89

• small fix

  shazqadeer

  committed
  7d23bc0

  Copy full SHA for 7d23bc0

• added support for no_collect_keys

  shazqadeer

  committed
  7f54dea

  Copy full SHA for 7f54dea

• do not collect keys fix

  shazqadeer

  committed
  b0e3702

  Copy full SHA for b0e3702

• rolled back no_collect_keys

  shazqadeer

  committed
  4b609cd

  Copy full SHA for 4b609cd

• added a test

  shazqadeer

  committed
  129af19

  Copy full SHA for 129af19