Code

Check the tree like invariant#498

Code

Merged

ranjitjhala merged 4 commits intoucsd-progsys:developucsd-progsys/liquid-fixpoint:developfrom facundominguez:fd/tree-like-invariantfacundominguez/liquid-fixpoint:fd/tree-like-invariantCopy head branch name to clipboardOct 27, 2021

+18-15

Commits

Commits on Oct 23, 2021

• Check the tree-like invariant in PLE.

  facundominguez

  committed
  a0f2dc9

• Have sendConcreteBindingsToSMT pass the state from the continuation

  facundominguez

  committed
  07e45cf

• Remove redundant constraint from sinfoToFInfo

  facundominguez

  committed
  6ea3c59

Commits on Oct 27, 2021

• Use a VM in CI instead of docker images

  facundominguez

  committed
  1902323