Jesse user interface thesis project

[Jesseable]

No description provided.

[github-actions]

scalafmt changes needed.

options to apply scalafmt changes:

run this command:

echo 'From aa73a3728e250d6f2975daf3681fdcaad64ae62a Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 13 Nov 2025 10:49:15 +0000
Subject: [PATCH] automated scalafmt

---
 src/main/scala/API/ApiServer.scala            | 28 ++++++++-----------
 .../ir/transforms/SimplifyPipeline.scala      |  6 ++--
 2 files changed, 14 insertions(+), 20 deletions(-)

diff --git a/src/main/scala/API/ApiServer.scala b/src/main/scala/API/ApiServer.scala
index 01db207..65910b4 100644
--- a/src/main/scala/API/ApiServer.scala
+++ b/src/main/scala/API/ApiServer.scala
@@ -2,20 +2,15 @@ package API
 
-import ir.Program
-import util.RunUtils
-import util.BASILConfig
-import util.ILLoadingConfig
-
-import org.typelevel.log4cats.slf4j.Slf4jFactory
-import org.typelevel.log4cats.Logger
-import org.typelevel.log4cats.LoggerName
-import org.typelevel.log4cats.LoggerFactory
-import org.http4s._
-import org.http4s.implicits._
-import org.http4s.server.Router
+import cats.effect.*
+import cats.effect.std.Semaphore
+import cats.implicits.*
+import com.comcast.ip4s.*
+import ir.{Procedure, Program}
+import org.http4s.*
 import org.http4s.ember.server.EmberServerBuilder
-import com.comcast.ip4s._
+import org.http4s.implicits.*
+import org.http4s.server.Router
+import org.typelevel.log4cats.slf4j.Slf4jFactory
+import org.typelevel.log4cats.{Logger, LoggerFactory, LoggerName}
+import util.{BASILConfig, ILLoadingConfig, RunUtils}
 
-import cats.implicits._
-import cats.effect._
-import cats.effect.std.Semaphore
 import scala.collection.mutable
@@ -23,3 +18,2 @@ import scala.collection.mutable.ArrayBuffer
 import scala.reflect.Selectable.reflectiveSelectable
-import ir.Procedure
 
diff --git a/src/main/scala/ir/transforms/SimplifyPipeline.scala b/src/main/scala/ir/transforms/SimplifyPipeline.scala
index 1ca2374..c8aa76d 100644
--- a/src/main/scala/ir/transforms/SimplifyPipeline.scala
+++ b/src/main/scala/ir/transforms/SimplifyPipeline.scala
@@ -7,4 +7,4 @@ import ir.dsl.IRToDSL
 import translating.PrettyPrinter.*
-import util.{AnalysisResultDotLogger, DebugDumpIRLogger, Logger, PerformanceTimer, StaticAnalysisConfig}
 import util.RunUtils.addEpochSnapshot
+import util.{AnalysisResultDotLogger, DebugDumpIRLogger, Logger, PerformanceTimer, StaticAnalysisConfig}
 
@@ -51,3 +51,3 @@ def doSimplify(
   // example of printing a simple analysis
-  
+
   val beforeSimplify = IRToDSL.convertProgram(ctx.program).resolve
@@ -171,3 +171,3 @@ def doSimplify(
   )
-  
+
   // assert(program.procedures.forall(transforms.rdDSAProperty))
-- 
2.51.2' | git am -3

or, trigger a workflow run on Jesse-interface-thesis-proj with autoformat=true, either by using the website or by using the gh tool:

gh workflow run format.yml --field "autoformat=true" --ref 'Jesse-interface-thesis-proj'

or, run the formatter locally:

./mill -i fmt

last updated at be74b19 (logs).