Merge remote-tracking branch 'origin' into simplification-pass

build.sbt

@@ -1,6 +1,6 @@
 import scala.io.Source
 
-ThisBuild / scalaVersion := "3.3.1"
+ThisBuild / scalaVersion := "3.3.4"
 ThisBuild / version := "0.0.1"
 ThisBuild / organization := "uq.pac"
 
@@ -132,4 +132,4 @@ def filesContentEqual(path1: File, path2: File): Boolean = {
   source1.close
   source2.close
   true
-}
+}

build.sc

@@ -9,7 +9,7 @@ import contrib.scalapblib._
 
 
 object basil extends RootModule with ScalaModule with antlr.AntlrModule with ScalaPBModule{
-  def scalaVersion = "3.3.1"
+  def scalaVersion = "3.3.4"
 
   val javaTests = ivy"com.novocode:junit-interface:0.11"
   val scalaTests = ivy"org.scalatest::scalatest:3.2.10"

examples/cntlm-noduk/checksum.md5

@@ -0,0 +1,13 @@
+26a84d7eedd5692e81c0a5f76f5333a4  cntlm-duk
+b9bc4337f5f4648135b6b91673f50ea9  cntlm-duk.adt
+321f365137b499017a416852c9c0788d  cntlm-duk.bir
+8133e54c62c8b4b857b145d48bb22adc  cntlm-duk.gtirb
+96c789d959320f74ae403cee94c45834  cntlm-duk.gts
+0c9b0a79954bdb062a8c7102559f2bf5  cntlm-duk.relf
+4f08bf643395b6a4048244f0a69f7037  cntlm-noduk
+3e8547a8badd372d213842a056dcc35e  cntlm-noduk.adt
+0c8bd76eac8e193d612c4a416e931bb0  cntlm-noduk.bir
+adc30d87163d10272fefd4a5b57fc932  cntlm-noduk.gtirb
+272862facd7245105ff5bc981c5a5a01  cntlm-noduk.gts
+613e94fba2c2e29cc2ddc627e0d6b1d9  cntlm-noduk.relf
+51c09a1871b981ad55d44ad24017e95b  readme.txt