aboutsummaryrefslogtreecommitdiff
path: root/build.sbt
AgeCommit message (Expand)Author
2021-06-04Update os-lib to 0.7.8Scala Steward
2021-06-01Update scalatest to 3.2.9 (#2226)Scala Steward
2021-05-17Update os-lib to 0.7.7 (#2231)Scala Steward
2021-05-17Use os-lib to rewrite Z3ModelChecker (#2223)Jiuyang Liu
2021-05-14Update scala-parallel-collections to 1.0.3 (#2225)Scala Steward
2021-05-04Fix SBT deprecation warnings (#2214)Jack Koenig
2021-04-28Update json4s-native to 3.6.11 (#2138)Scala Steward
2021-04-28Update antlr4, antlr4-runtime to 4.9.2 (#2137)Scala Steward
2021-04-28Update scala-parallel-collections to 1.0.2 (#2163)Scala Steward
2021-04-28Update scalatest to 3.2.8 (#2194)Scala Steward
2021-03-02Remove Scala 2.11 (#2062)Jack Koenig
2021-02-05Add file line to source link from scaladoc (#2072)John's Brew
2021-02-03IR: turn some IR nodes into data classes (#2071)Kevin Laeufer
2021-01-26Fix post-merge publishing (#2055)Jack Koenig
2021-01-22Bump to Scala 2.12.13 and 2.13.4 (#2053)Jack Koenig
2021-01-19Switch from Travis to Github Actions CI (#2041)Jack Koenig
2020-12-04Remove explicit pom scm from build.sbt (#2004)Jack Koenig
2020-12-03Restore publish settings to before sbt-ci-release (#1999)Jack Koenig
2020-11-16bump antlr4 (#1936)Jiuyang Liu
2020-11-12Automatically publish SNAPSHOTs on pushes to master (#1955)Jack Koenig
2020-11-10Bump SNAPSHOT version (#1947)Jack Koenig
2020-09-28License reference in maven publishing info (#1907)Chick Markley
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-08-13Bump to Scala 2.12.12 (#1847)Jack Koenig
2020-08-13Deprecate support for Scala 2.11 (#1842)Jack Koenig
2020-08-13Rollback scalatest to avoid printing bug (#1845)Schuyler Eldridge
2020-08-12Update json4s-native to 3.6.9 (#1692)Scala Steward
2020-08-12Update scalacheck-1-14, ... to 3.1.3.0 (#1837)Scala Steward
2020-08-10scalatest: upgrade to 3.2.1 (#1831)Kevin Laeufer
2020-07-29[2.13] update scalafix and reenable scalafixSemanticdbKevin Laeufer
2020-07-29build.sbt: remove -Xsource optionKevin Laeufer
2020-07-29[2.13] explicitly use a parallel vectorKevin Laeufer
2020-07-29[2.13] build.sbt: add scala 2.13 and remove semanticdb for nowKevin Laeufer
2020-07-16Add Expression Fuzzer (#1741)Albert Chen
2020-07-13Change ProtoBuf generated directory (#1762)Jack Koenig
2020-06-02Bump SNAPSHOT version. (#1652)Jim Lawson
2020-05-14Add benchmark for ResolveKinds with hot JITJack Koenig
2020-05-14Update json4s-native to 3.6.8 (#1607)Jim Lawson
2020-05-13Update scalacheck-1-14 to 3.1.1.1 (#1606)Jim Lawson
2020-05-13Update scalatest to 3.1.2 (#1584)Scala Steward
2020-05-06Update moultingyaml to 0.4.2 (#1480)Scala Steward
2020-05-06Update scalatest to 3.1.1 (#1405)Scala Steward
2020-04-02Disable unidoc -Xfatal-warning for Scala 2.11 (#1493)Jim Lawson
2020-03-30Nuclear option for documentation buildingSchuyler Eldridge
2020-03-30Switch to 3.0.0 sbt-apimappingsSchuyler Eldridge
2020-03-26Bump to Scala 2.12.11 (#1473)Jack Koenig
2020-03-25Update scalatest 3.1.0 (#1383)Jim Lawson
2020-03-23Support Java API doc Scaladoc/Unidoc References (#1420)Schuyler Eldridge
2020-03-21Refactor build.sbt into more normal style (#1465)Jack Koenig
2020-03-17[RFC] Factor out common test classes; package them (#1412)David Biancolin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 06:33:38 +0000