Code

Use OZ checkpointing library#20

Code

Merged

davidlaprade merged 9 commits intomasterScopeLift/flexible-voting:masterfrom use-oz-checkpointing-lib-fixes-#17ScopeLift/flexible-voting:use-oz-checkpointing-lib-fixes-#17Copy head branch name to clipboardDec 2, 2022

+46-109

Commits

Commits on Dec 1, 2022

• Bump OZ to get newer checkpointing code

  davidlaprade

  committed
  713e120

  Copy full SHA for 713e120

• Take pass at using OZ checkpointing

  davidlaprade

  committed
  3187f5e

  Copy full SHA for 3187f5e

• Fix OZ checkpointing usage

  davidlaprade

  committed
  63853aa

  Copy full SHA for 63853aa

• Fix comments

  davidlaprade

  committed
  ec6d35b

  Copy full SHA for ec6d35b

• scopelint fmt

  davidlaprade

  committed
  8c06fae

  Copy full SHA for 8c06fae

• Fix OZ dep loading + pin to latest official release

  davidlaprade

  committed
  6e5a2b3

  Copy full SHA for 6e5a2b3

Commits on Dec 2, 2022

• Remove underscores from private storage vars

  davidlaprade

  committed
  b04ecf3

  Copy full SHA for b04ecf3

• Use Checkpoints for Checkpoints.History

  davidlaprade

  committed
  3e0537c

  Copy full SHA for 3e0537c

• Fix unrelated failing test

  davidlaprade

  committed
  f1129e9

  Copy full SHA for f1129e9