aboutsummaryrefslogtreecommitdiff
path: root/build.sc
AgeCommit message (Collapse)Author
2021-11-11Update json4s-native to 3.6.12 (#2406)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-11-11Update antlr4, antlr4-runtime to 4.9.3 (#2407)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-09-13Bump Scala to 2.12.14 and 2.13.6 (#2356)Jack Koenig
This required also bumping sbt-scalafix to bring in a newer version of semanticdb. The new version of semanticdb had an issue with a regex in SMTLib, fixed by fixing the way '$' is escaped in the regex.
2021-08-17prefer to using using system protoc and antlr4 in mill (#2276)Jiuyang Liu
* If exist protoc in the $PATH, prefer to using it. * add checkSystemAntlr4Version and checkSystemProtocVersion * Update build.sc Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-06-04Update os-lib to 0.7.8Scala Steward
2021-06-01Update scalatest to 3.2.9 (#2226)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-05-28remove testOnly, since upstream implemented it. (#2250)Jiuyang Liu
2021-05-17Update os-lib to 0.7.7 (#2231)Scala Steward
2021-05-17Use os-lib to rewrite Z3ModelChecker (#2223)Jiuyang Liu
* add os-lib to dependency. * use os-lib in Z3ModelChecker * fix for review by Kevin.
2021-05-14Update scala-parallel-collections to 1.0.3 (#2225)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-04-28Update json4s-native to 3.6.11 (#2138)Scala Steward
Co-authored-by: Jiuyang Liu <liu@jiuyang.me> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-04-28Update antlr4, antlr4-runtime to 4.9.2 (#2137)Scala Steward
Co-authored-by: Jiuyang Liu <liu@jiuyang.me> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-04-28Update scala-parallel-collections to 1.0.2 (#2163)Scala Steward
Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
2021-04-28Update scalatest to 3.2.8 (#2194)Scala Steward
Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
2021-04-04Fix mill cache download (#2171)Jiuyang Liu
2021-03-30Fix Mill support for non-M1 Macs (#2165)Jack Koenig
* Fix Mill support for non-M1 Macs * Update build.sc Co-authored-by: edwardcwang <edwardcwang@users.noreply.github.com> Co-authored-by: edwardcwang <edwardcwang@users.noreply.github.com>
2021-03-30don't use protoc-jar anymore, mill can handle it better. (#2162)Jiuyang Liu
2021-03-29Update protobuf-java to 3.15.6 (#2136)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-03-25add scalafmt to mill (#2151)Jiuyang Liu
2021-03-22Fix mill compile and add to CI (#2147)Jiuyang Liu
* fix for #2071 * add mill compile to CI
2021-03-02Remove Scala 2.11 (#2062)Jack Koenig
2020-11-16bump antlr4 (#1936)Jiuyang Liu
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-11-10Bump SNAPSHOT version (#1947)Jack Koenig
2020-10-12Update junit to 4.13.1 (#1925)Scala Steward
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-09-01reuse CrossSbtModule, make mill compatiable to 2.13.Jiuyang liu
2020-08-28no re-download jar each time. (#1871)Jiuyang Liu
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-08-13Bump to Scala 2.12.12 (#1847)Jack Koenig
Also fix mill build to include new BuildInfo Leave Scala 2.13.2 alone, there are problems when bumping
2020-08-13Update antlr4-runtime to 4.7.2 (#1720)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-08-12Update json4s-native to 3.6.9 (#1692)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-08-12Update scalacheck-1-14, ... to 3.1.3.0 (#1837)Scala Steward
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-08-10scalatest: upgrade to 3.2.1 (#1831)Kevin Laeufer
* scalatest: replace deprecated FlatSpec and add new Matchers import * scalatest: 3.1.2 -> 3.2.1
2020-06-02Bump SNAPSHOT version. (#1652)Jim Lawson
2020-05-14Update json4s-native to 3.6.8 (#1607)Jim Lawson
Co-authored-by: Scala Steward <me@scala-steward.org> Co-authored-by: Scala Steward <43047562+scala-steward@users.noreply.github.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-05-13Update scalacheck-1-14 to 3.1.1.1 (#1606)Jim Lawson
Co-authored-by: Scala Steward <me@scala-steward.org> Co-authored-by: Scala Steward <43047562+scala-steward@users.noreply.github.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-05-13Update scalatest to 3.1.2 (#1584)Scala Steward
Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu>
2020-05-06Update moultingyaml to 0.4.2 (#1480)Scala Steward
Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2020-05-06Update scalatest to 3.1.1 (#1405)Scala Steward
* Update scalatest to 3.1.1 * Update scalatest to 3.1.1 * Update scalatest to 3.1.1 Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu> Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
2020-03-26Bump to Scala 2.12.11 (#1473)Jack Koenig
Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu>
2020-03-25Update scalatest 3.1.0 (#1383)Jim Lawson
* Removed unused imports in src/test/ * Update ScalaTest deprecations. * Update scalatest from 3.0.8 to 3.1.0; apply auto fix for deprecations Co-authored-by: Jack Koenig <koenig@sifive.com>
2020-02-21mill: add testOnly (#1408)Sequencer
2020-02-21mill: sbt-compatible publishing (#1407)Sequencer
2020-02-13Mill support (#1368)Sequencer
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 06:13:56 +0000