rename omnilink, build changes

Author: fhackett

.devcontainer/Dockerfile

@@ -1,4 +1,4 @@
-FROM ubuntu:latest
+FROM mcr.microsoft.com/devcontainers/base:ubuntu
 
 RUN apt-get update \
     && apt-get install -y openjdk-21-jdk openjdk-21-source \
@@ -8,7 +8,7 @@ RUN apt-get update \
 
 RUN wget https://go.dev/dl/go1.24.0.linux-amd64.tar.gz
 RUN tar -C /usr/local -xzf go1.24.0.linux-amd64.tar.gz
-ENV PATH="$PATH:/usr/local/go/bin:/home/${USERNAME}/go/bin"
+ENV PATH="$PATH:/usr/local/go/bin:/home/vscode/go/bin"
 RUN go version
 
 ENV EDITOR="code --wait"

.devcontainer/devcontainer.json

@@ -3,7 +3,7 @@
 	"build": {
 		"dockerfile": "Dockerfile"
 	},
-	"remoteUser": "ubuntu",
+	"remoteUser": "vscode",
 	"customizations": {
 		"vscode": {
 			"extensions": [
@@ -18,10 +18,10 @@
 		}
 	},
 	"postCreateCommand": {
-		// "setup_sc": "rm -rf out/ .bloop/ .bsp/ .metals/ && ./mill mill.bsp/install"
+		"autocomplete": "rm -rf out/ .scala-build/ .bloop/ .bsp/ .metals/ && ./mill mill.tabcomplete/install && echo source ~/.cache/mill/download/mill-completion.sh >>~/.bashrc"
 	},
 	"postStartCommand": {
-		"autocomplete": "rm -rf out/ .bloop/ .bsp/ .metals/ && ./mill mill.bsp/install && ./mill mill.tabcomplete/install"
+		"bspinstall": "rm -rf out/ .scala-build/ .bloop/ .bsp/ .metals/ && ./mill mill.bsp/install"
 	},
 	"features": {
 		"ghcr.io/devcontainers/features/docker-outside-of-docker:1": {}

.gitignore

@@ -32,4 +32,5 @@ test/files/**/*.txt
 
 /.tools/
 _apalache-out/
-states/
+states/
+/.cache/

build.mill

@@ -42,8 +42,8 @@ object pgo extends ScalaConfigs with SonatypeCentralPublishModule:
       ++ Seq(build.tlc.jar())
 
   def mvnDeps = Seq(
-    mvn"com.lihaoyi::os-lib:0.11.4",
-    mvn"com.lihaoyi::upickle:4.2.1",
+    mvn"com.lihaoyi::os-lib:0.11.5",
+    mvn"com.lihaoyi::upickle:4.3.2",
     mvn"io.github.java-diff-utils:java-diff-utils:4.15",
     mvn"org.rogach::scallop:5.2.0",
     mvn"org.scala-lang.modules::scala-parser-combinators:2.4.0",

tracelink-workload/.gitignore omnilink/.gitignoretracelink-workload/.gitignore renamed to omnilink/.gitignore

@@ -0,0 +1,19 @@
+package build.omnilink
+
+import mill.*
+
+trait GitRepo extends Module:
+  repo =>
+  def origin: T[String]
+
+  trait CommitHash extends Module:
+    def origin: T[String] = repo.origin()
+    def commitHash: T[String]
+    def dir: T[PathRef] = Task:
+      os.call(List("git", "clone", origin()), cwd = Task.dest, stdout = os.Inherit, stderr = os.Inherit)
+      val cloneDir = os.list(Task.dest).filter(os.isDir).head
+      os.call(List("git", "-c", "advice.detachedHead=false", "checkout", commitHash()), cwd = cloneDir, stdout = os.Inherit, stderr = os.Inherit)
+      PathRef(cloneDir)
+    end dir
+  end CommitHash
+end GitRepo