Code

Mill build system#154

Code

Closed

ailrst wants to merge 15 commits intomainUQ-PAC/BASIL:mainfrom millUQ-PAC/BASIL:millCopy head branch name to clipboard

+817-111

Commits

Commits on Jan 9, 2024

• initial mill setup

  ailrst

  committed
  a7a47ea

• add updateexpected command

  ailrst

  committed
  f77558c

Commits on Jan 16, 2024

• fix antlr mill config

  ailrst

  committed
  f6199f5

• Rename mill version to standard file name

  utting

  committed
  bd6480b

Commits on Jan 23, 2024

• add bsp file

  ailrst

  committed
  906d3eb

Commits on Jan 30, 2024

• update readme

  ailrst

  committed
  40e1749

• Merge branch 'main' of github.com:UQ-PAC/bil-to-boogie-translator into mill

  ailrst

  committed
  23aaad0

• update workflow

  ailrst

  committed
  a4c0ae6

• fix deprecation warning

  ailrst

  committed
  53e8f2e

• add millw script

  ailrst

  committed
  f375c30

• new container

  ailrst

  committed
  c31cac6

Commits on Feb 1, 2024

• update workflow

  ailrst

  committed
  d1564ba

• update workflow

  ailrst

  committed
  c7bd789

• comment

  ailrst

  committed
  43cfbda

• readme

  ailrst

  committed
  f8a3691