Code

Support Apalache v0.17.5#135

Code

Merged

rnbguy merged 8 commits intomaininformalsystems/modelator:mainfrom rnbguy/rust/support-latest-apalacheinformalsystems/modelator:rnbguy/rust/support-latest-apalacheCopy head branch name to clipboardNov 30, 2021

+48-21

Commits

Commits on Nov 29, 2021

• added apalache v0.17.5 jar

  rnbguy

  committed
  862d07c

  Copy full SHA for 862d07c

• use apalache 0.17.5

  rnbguy

  committed
  b8ce160

  Copy full SHA for b8ce160

• support refactored apalache output

  rnbguy

  committed
  31b2be1

  Copy full SHA for 31b2be1

• update test for apalache output

  rnbguy

  committed
  9ff67a3

  Copy full SHA for 9ff67a3

• unclog entry

  rnbguy

  committed
  40982b6

  Copy full SHA for 40982b6

• user specific unique directory

  rnbguy

  committed
  6203181

  Copy full SHA for 6203181

• remove old or unnecessary jar files

  rnbguy

  committed
  2a4ddc4

  Copy full SHA for 2a4ddc4

Commits on Nov 30, 2021

• revert modelator jar directory

  rnbguy

  committed
  aa9c4b5

  Copy full SHA for aa9c4b5