Code

some trigger updates#25

Code

Open

yizhou7 wants to merge 8 commits intodafny-lang:masterdafny-lang/libraries:masterfrom secure-foundations:collection-trigger-fixsecure-foundations/libraries:collection-trigger-fixCopy head branch name to clipboard

+98-61

Commits

Commits on Oct 10, 2021

• removed some tiggers that repeats dafny, added some comments for dafny selected trigger

  yizhou7

  committed
  7fe04f3

  Copy full SHA for 7fe04f3

Commits on Oct 14, 2021

• address some comments from @parno

  yizhou7

  committed
  85e585f

  Copy full SHA for 85e585f

• refomat some code, add some explainations on triggers

  yizhou7

  committed
  16c9e3d

  Copy full SHA for 16c9e3d

• Update STYLE.md

  yizhou7

  authored
  b7ae16c

  Copy full SHA for b7ae16c

Commits on Nov 6, 2021

• remove trigger from pre-condition

  yizhou7

  committed
  6937071

  Copy full SHA for 6937071

• update Reverse post condition trigger

  yizhou7

  committed
  064984b

  Copy full SHA for 064984b

• rename Union operations

  yizhou7

  committed
  381bc75

  Copy full SHA for 381bc75

Commits on Nov 8, 2021

• remove manual trigger for Injective/Monotonic/MonotonicFrom

  yizhou7

  committed
  9198630

  Copy full SHA for 9198630