From c62c1f4d3506e818cc5f98b6dff7ff1563c6903a Mon Sep 17 00:00:00 2001 From: westtide Date: Sat, 8 Jun 2024 17:00:36 +0800 Subject: [PATCH] add -c2chc: translate C to CHC --- .DS_Store | Bin 0 -> 8196 bytes .bsp/mill-bsp-0.11.5.resources | 24 + .bsp/mill-bsp.json | 1 + .bsp/mill-bsp.stderr | 570 ++++++++++++++++++ .idea/.DS_Store | Bin 0 -> 6148 bytes .idea/.gitignore | 8 + .idea/bsp.xml | 15 + .idea/codeStyles/Project.xml | 8 + .idea/codeStyles/codeStyleConfig.xml | 5 + .idea/libraries/BSP__0_11_5.xml | 9 + .idea/libraries/BSP__beaver_cc_0_9_11.xml | 9 + .idea/libraries/BSP__beaver_rt_0_9_11.xml | 9 + .idea/libraries/BSP__java_diff_utils_4_12.xml | 11 + .idea/libraries/BSP__jflex_1_7_0.xml | 9 + .idea/libraries/BSP__jline_3_22_0.xml | 11 + .idea/libraries/BSP__jna_5_13_0.xml | 11 + .../BSP__mill_moduledefs_2_13_0_10_9.xml | 11 + ...P__mill_runner_linenumbers_2_13_0_11_5.xml | 11 + .../libraries/BSP__scala_compiler_2_13_12.xml | 11 + .../libraries/BSP__scala_library_2_13_12.xml | 11 + .../libraries/BSP__scala_reflect_2_13_12.xml | 11 + .../libraries/BSP__sourcecode_2_13_0_3_0.xml | 11 + .idea/misc.xml | 4 + .idea/modules.xml | 10 + .idea/modules/korn-root.iml | 12 + .idea/modules/korn.iml | 50 ++ .idea/modules/mill-build_.iml | 133 ++++ .idea/scala_compiler.xml | 16 + .idea/vcs.xml | 6 + 1.c | 18 + doc/.DS_Store | Bin 0 -> 6148 bytes evaluation/.DS_Store | Bin 0 -> 6148 bytes korn/.DS_Store | Bin 0 -> 6148 bytes korn/src/.DS_Store | Bin 0 -> 6148 bytes korn/src/korn/.DS_Store | Bin 0 -> 6148 bytes korn/src/korn/Main.scala | 16 + 36 files changed, 1031 insertions(+) create mode 100644 .DS_Store create mode 100644 .bsp/mill-bsp-0.11.5.resources create mode 100644 .bsp/mill-bsp.json create mode 100644 .bsp/mill-bsp.stderr create mode 100644 .idea/.DS_Store create mode 100644 .idea/.gitignore create mode 100644 .idea/bsp.xml create mode 100644 .idea/codeStyles/Project.xml create mode 100644 .idea/codeStyles/codeStyleConfig.xml create mode 100644 .idea/libraries/BSP__0_11_5.xml create mode 100644 .idea/libraries/BSP__beaver_cc_0_9_11.xml create mode 100644 .idea/libraries/BSP__beaver_rt_0_9_11.xml create mode 100644 .idea/libraries/BSP__java_diff_utils_4_12.xml create mode 100644 .idea/libraries/BSP__jflex_1_7_0.xml create mode 100644 .idea/libraries/BSP__jline_3_22_0.xml create mode 100644 .idea/libraries/BSP__jna_5_13_0.xml create mode 100644 .idea/libraries/BSP__mill_moduledefs_2_13_0_10_9.xml create mode 100644 .idea/libraries/BSP__mill_runner_linenumbers_2_13_0_11_5.xml create mode 100644 .idea/libraries/BSP__scala_compiler_2_13_12.xml create mode 100644 .idea/libraries/BSP__scala_library_2_13_12.xml create mode 100644 .idea/libraries/BSP__scala_reflect_2_13_12.xml create mode 100644 .idea/libraries/BSP__sourcecode_2_13_0_3_0.xml create mode 100644 .idea/misc.xml create mode 100644 .idea/modules.xml create mode 100644 .idea/modules/korn-root.iml create mode 100644 .idea/modules/korn.iml create mode 100644 .idea/modules/mill-build_.iml create mode 100644 .idea/scala_compiler.xml create mode 100644 .idea/vcs.xml create mode 100644 1.c create mode 100644 doc/.DS_Store create mode 100644 evaluation/.DS_Store create mode 100644 korn/.DS_Store create mode 100644 korn/src/.DS_Store create mode 100644 korn/src/korn/.DS_Store diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..5c0377e312a6b5aa31814c5ef98654c3244961bd GIT binary patch literal 8196 zcmeHMJ%|%Q6n>LzaJ?T5f^cZFAXtj$bz%{ZXki;H?Cz4BF}k@8mz;Nvm`*_vthEsQ z0gD4c3md^g)XuB)8d0#fvJh3Our*(6M4fKN(hax_xD2=qxD2=qxD5O&8Niv%%^z{@ z8?EbI23!XI%M9@T5a422v2tLf-a63f5&+V}ux_|7^9^KRWyQ*YkIac4jB;F0E0InLhMQ!R!TyLYbDRmO}+P4pT1g`e& zLd{pZ5&s? 1, CONDA_PYTHON_EXE -> /Users/westtide/opt/anaconda3/bin/python, XPC_SERVICE_NAME -> application.com.jetbrains.intellij.131114165.131115053, COPT_LICENSE_DIR -> /Applications/copt60, COMMAND_MODE -> unix2003, SQLITE_EXEMPT_PATH_FROM_VNODE_GUARDS -> /Users/westtide/Library/WebKit/Databases, __CF_USER_TEXT_ENCODING -> 0x1F5:0x19:0x34, ZSH -> /Users/westtide/.oh-my-zsh, OCAML_TOPLEVEL_PATH -> /Users/westtide/.opam/4.14.1/lib/toplevel, CAML_LD_LIBRARY_PATH -> /Users/westtide/.opam/4.14.1/lib/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml, CONDA_PREFIX -> /Users/westtide/opt/anaconda3, LESS -> -R, CONDA_PROMPT_MODIFIER -> (base) , SSH_AUTH_SOCK -> /private/tmp/com.apple.launchd.T9WQqvpXzu/Listeners, SHELL -> /bin/zsh, LOGNAME -> westtide, PATH -> /opt/homebrew/opt/llvm/bin:/opt/homebrew/Cellar/llvm/17.0.6/bin/:/opt/homebrew/opt/sqlite/bin:/Users/westtide/.opam/4.14.1/bin:/opt/homebrew/opt/ruby/bin:/usr/local/opt/curl/bin:/usr/local/opt/curl/bin:/Applications/copt60/bin:/usr/local/opt/ruby/bin:/Users/westtide/opt/anaconda3/bin:/Users/westtide/opt/anaconda3/condabin:/opt/homebrew/bin:/opt/homebrew/sbin:/usr/local/bin:/System/Cryptexes/App/usr/bin:/usr/bin:/bin:/usr/sbin:/sbin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/local/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/appleinternal/bin:/Library/Apple/usr/bin:/Library/TeX/texbin:/Applications/VMware Fusion.app/Contents/Public:/usr/local/share/dotnet:~/.dotnet/tools:/usr/local/go/bin:/Users/westtide/.cargo/bin:/Users/westtide/Library/Application Support/JetBrains/Toolbox/scripts:/usr/local/bin:/Users/westtide/Library/Application Support/Coursier/bin, _CE_M -> , LSCOLORS -> Gxfxcxdxbxegedabagacad, HOMEBREW_REPOSITORY -> /opt/homebrew, HOMEBREW_CELLAR -> /opt/homebrew/Cellar, DYLD_LIBRARY_PATH -> /Applications/copt60/lib:, CONDA_EXE -> /Users/westtide/opt/anaconda3/bin/conda, CONDA_DEFAULT_ENV -> base, HOME -> /Users/westtide, HOMEBREW_PREFIX -> /opt/homebrew, INFOPATH -> /opt/homebrew/share/info:, USER -> westtide, MANPATH -> /opt/homebrew/share/man::, XPC_FLAGS -> 0x0, GPG_TTY -> not a tty, TMPDIR -> /var/folders/l0/035kjkgd0fj2x0brjx0bs7dh0000gn/T/, OPAM_SWITCH_PREFIX -> /Users/westtide/.opam/4.14.1, SHLVL -> 0, PWD -> /Users/westtide/Developer/korn, IDEA_INITIAL_DIRECTORY -> /, LC_CTYPE -> zh_CN.UTF-8, PAGER -> less, COPT_HOME -> /Applications/copt60, _CE_CONDA -> , __CFBundleIdentifier -> com.jetbrains.intellij),true,Some(1),Map(/Users/westtide/Developer/korn/build.sc -> (1347861379,List())),TreeMap(millbuild.MiscInfo_build$#()void -> 1431413600, millbuild.MiscInfo_build$#millBaseModuleInfo$lzycompute()mill.main.RootModule$Info -> -2003350528, millbuild.MiscInfo_build$#millBaseModuleInfo()mill.main.RootModule$Info -> 794709195, millbuild.MiscInfo_build$#millBuildRootModuleInfo$lzycompute()mill.runner.MillBuildRootModule$Info -> -431147830, millbuild.MiscInfo_build$#millBuildRootModuleInfo()mill.runner.MillBuildRootModule$Info -> -1022306541, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$1()scala.Tuple2 -> -30363144, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$10(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1007924386, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$11(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -2092860432, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$12$adapted(mill.scalalib.ScalaModule$ScalaTests)java.lang.Object -> -1662161361, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$12(mill.scalalib.ScalaModule$ScalaTests)boolean -> -1375155712, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$13(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 1606931587, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$14(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1799478711, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$15(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1595240996, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$16(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 4471635, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$17(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 523076494, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$18(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1182190029, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$19(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 1792974061, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$2(mill.scalalib.ScalaModule$ScalaTests)mill.scalalib.IvyDepsTreeArgs -> -821183925, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$20()scala.Tuple2 -> 2050914769, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$21(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> -1855849864, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$22(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 1031624428, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$23(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 1459214696, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$24(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 224149620, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$25(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> -1127153357, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$26(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 1725893236, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$27(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 324159236, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$28(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> -460614501, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$29(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> -1041341629, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$3(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 1436361084, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$30(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> -512615016, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$31(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 1387794265, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$32(millbuild.build,scala.collection.immutable.Seq)mill.define.Command -> 333126295, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$33()scala.Tuple2 -> -331000000, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$34(millbuild.build$korn$)mill.scalalib.IvyDepsTreeArgs -> -1362587392, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$35(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> 1897621199, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$36(millbuild.build$korn$)mill.define.Task -> 2062451069, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$37(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> 148780290, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$38(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -303172596, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$39(millbuild.build$korn$)mill.define.Task -> -1501751839, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$4(mill.scalalib.ScalaModule$ScalaTests)mill.define.Task -> -486179136, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$40(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -1205088936, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$41(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> 2048123028, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$42(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -1334024899, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$43(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -913204033, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$44$adapted(millbuild.build$korn$)java.lang.Object -> -264931851, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$44(millbuild.build$korn$)boolean -> -3635730, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$45(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -190109022, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$46(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> -557996638, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$47(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> 168256838, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$48(millbuild.build$korn$,scala.collection.immutable.Seq)mill.define.Command -> 1080294188, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$5(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> 1735278497, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$6(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1525655144, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$7(mill.scalalib.ScalaModule$ScalaTests)mill.define.Task -> -2114698820, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$8(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -412939071, millbuild.MiscInfo_build$.$anonfun$millBaseModuleInfo$9(mill.scalalib.ScalaModule$ScalaTests,scala.collection.immutable.Seq)mill.define.Command -> -1755958614, millbuild.MiscInfo_build$.$anonfun$millBuildRootModuleInfo$1(java.lang.String)os.Path -> 1538429025, millbuild.MiscInfo_build$.$deserializeLambda$(java.lang.invoke.SerializedLambda)java.lang.Object -> -701645390, millbuild.MiscInfo_build$.()void -> -56567324, millbuild.MiscInfo_build.millBaseModuleInfo()mill.main.RootModule$Info -> -610966294, millbuild.MiscInfo_build.millBuildRootModuleInfo()mill.runner.MillBuildRootModule$Info -> -486108892, millbuild.build#()void -> -976132057, millbuild.build#korn$lzycompute$1()void -> 905886878, millbuild.build#korn()millbuild.build$korn$ -> -713106282, millbuild.build$#()void -> -1612597931, millbuild.build$.()void -> 1015614061, millbuild.build$korn$#(millbuild.build)void -> -2038380948, millbuild.build$korn$#allIvyDeps()mill.define.Target -> 751674791, millbuild.build$korn$#allScalacOptions()mill.define.Target -> 563936060, millbuild.build$korn$#allSourceFiles()mill.define.Target -> 844162361, millbuild.build$korn$#allSources()mill.define.Target -> -1184348557, millbuild.build$korn$#ammoniteMainClass()mill.define.Task -> -1189801634, millbuild.build$korn$#ammoniteReplClasspath()mill.define.Target -> 715274420, millbuild.build$korn$#ammoniteVersion()mill.define.Target -> 491675301, millbuild.build$korn$#artifactId()mill.define.Target -> -309611903, millbuild.build$korn$#artifactName()mill.define.Target -> -637314148, millbuild.build$korn$#artifactNameParts()mill.define.Target -> -1652830387, millbuild.build$korn$#artifactScalaVersion()mill.define.Target -> 889262168, millbuild.build$korn$#artifactSuffix()mill.define.Target -> -1695289073, millbuild.build$korn$#assembly()mill.define.Target -> -1802412837, millbuild.build$korn$#assemblyRules()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#bindDependency()mill.define.Task -> -1189801634, millbuild.build$korn$#bspBuildTarget()mill.scalalib.bsp.BspBuildTarget -> -1189801634, millbuild.build$korn$#bspBuildTargetData()mill.define.Task -> -1189801634, millbuild.build$korn$#bspCompileClassesPath()mill.define.Target -> 1378124837, millbuild.build$korn$#bspCompileClasspath()mill.define.Target -> -1466769224, millbuild.build$korn$#bspCompiledClassesAndSemanticDbFiles()mill.define.Target -> -1552723751, millbuild.build$korn$#bspDisplayName()java.lang.String -> -1189801634, millbuild.build$korn$#bspDisplayName0()java.lang.String -> -1189801634, millbuild.build$korn$#bspLocalClasspath()mill.define.Target -> 417370426, millbuild.build$korn$#bspTransitiveCompileClasspath()mill.define.Target -> -1086811289, millbuild.build$korn$#bspTransitiveLocalClasspath()mill.define.Target -> 1409223746, millbuild.build$korn$#compile()mill.define.Target -> -1536074968, millbuild.build$korn$#compileClasspath()mill.define.Target -> -1711736693, millbuild.build$korn$#compileIvyDeps()mill.define.Target -> 2094890595, millbuild.build$korn$#compileModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#compileModuleDepsChecked()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#compileResources()mill.define.Target -> 1841663042, millbuild.build$korn$#compiledClassesAndSemanticDbFiles()mill.define.Target -> -1406561718, millbuild.build$korn$#console()mill.define.Command -> -1407031973, millbuild.build$korn$#coursierCacheCustomizer()mill.define.Task -> -1189801634, millbuild.build$korn$#crossFullScalaVersion()mill.define.Target -> -1924644806, millbuild.build$korn$#defaultCommandName()java.lang.String -> -79444598, millbuild.build$korn$#doRunBackground(os.Path,scala.collection.immutable.Seq,mill.api.AggWrapper$Agg,scala.collection.immutable.Seq,scala.collection.immutable.Map,java.lang.String,os.Path,boolean,scala.Option,scala.collection.immutable.Seq)scala.Function1 -> -1189801634, millbuild.build$korn$#docJar()mill.define.Target -> -60067842, millbuild.build$korn$#docJarUseArgsFile()mill.define.Target -> 744042545, millbuild.build$korn$#docResources()mill.define.Target -> 874781634, millbuild.build$korn$#docSources()mill.define.Target -> 115283256, millbuild.build$korn$#finalMainClass()mill.define.Target -> 662711201, millbuild.build$korn$#finalMainClassOpt()mill.define.Target -> -1428876062, millbuild.build$korn$#forkArgs()mill.define.Target -> 311155389, millbuild.build$korn$#forkEnv()mill.define.Target -> -437606842, millbuild.build$korn$#forkWorkingDir()mill.define.Target -> -1785314975, millbuild.build$korn$#generatedSources()mill.define.Target -> 79669257, millbuild.build$korn$#ideaCompileOutput()mill.define.Target -> 1543755379, millbuild.build$korn$#ideaConfigFiles(int)mill.define.Task -> 1028264280, millbuild.build$korn$#ideaJavaModuleFacets(int)mill.define.Task -> 1028264280, millbuild.build$korn$#intellijModulePath()os.Path -> 1028264280, millbuild.build$korn$#ivyDeps()mill.define.Target -> -1247541582, millbuild.build$korn$#ivyDepsTree$default$1()mill.scalalib.IvyDepsTreeArgs -> -1189801634, millbuild.build$korn$#ivyDepsTree(mill.scalalib.IvyDepsTreeArgs)mill.define.Command -> -1745758511, millbuild.build$korn$#jar()mill.define.Target -> -1431777765, millbuild.build$korn$#javacOptions()mill.define.Target -> 562215677, millbuild.build$korn$#javadocOptions()mill.define.Target -> 1967755458, millbuild.build$korn$#launcher()mill.define.Target -> 1589407009, millbuild.build$korn$#localClasspath()mill.define.Target -> 2065804332, millbuild.build$korn$#localCompileClasspath()mill.define.Target -> -1132940693, millbuild.build$korn$#mainClass()mill.define.Target -> -835090331, millbuild.build$korn$#mandatoryIvyDeps()mill.define.Target -> 677851909, millbuild.build$korn$#mandatoryScalacOptions()mill.define.Target -> -840490512, millbuild.build$korn$#manifest()mill.define.Target -> 1390448809, millbuild.build$korn$#mapDependencies()mill.define.Task -> -1189801634, millbuild.build$korn$#mill$define$Module$$millModuleDirectChildrenImpl$lzycompute()scala.collection.immutable.Seq -> 2068102634, millbuild.build$korn$#mill$define$Module$$millModuleDirectChildrenImpl()scala.collection.immutable.Seq -> 2068102634, millbuild.build$korn$#mill$scalalib$JavaModule$$recCompileModuleDeps$lzycompute()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#mill$scalalib$JavaModule$$recCompileModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#mill$scalalib$JavaModule$$recModuleDeps$lzycompute()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#mill$scalalib$JavaModule$$recModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#mill$scalalib$JavaModule$$super$bspBuildTarget()mill.scalalib.bsp.BspBuildTarget -> -1189801634, millbuild.build$korn$#mill$scalalib$JavaModule$$super$prepareOffline(mainargs.Flag)mill.define.Command -> -745341261, millbuild.build$korn$#mill$scalalib$ScalaModule$$super$bspBuildTarget()mill.scalalib.bsp.BspBuildTarget -> -1189801634, millbuild.build$korn$#mill$scalalib$ScalaModule$$super$mandatoryIvyDeps()mill.define.Target -> -849235301, millbuild.build$korn$#mill$scalalib$ScalaModule$$super$manifest()mill.define.Target -> 1549273673, millbuild.build$korn$#mill$scalalib$ScalaModule$$super$mapDependencies()mill.define.Task -> -1189801634, millbuild.build$korn$#mill$scalalib$ScalaModule$$super$prepareOffline(mainargs.Flag)mill.define.Command -> 788874045, millbuild.build$korn$#millInternal$lzycompute$1()void -> 2068102634, millbuild.build$korn$#millInternal()mill.define.Module$millInternal$ -> 2068102634, millbuild.build$korn$#millModuleBasePath()mill.define.Ctx$BasePath -> 2068102634, millbuild.build$korn$#millModuleDirectChildren()scala.collection.immutable.Seq -> 2068102634, millbuild.build$korn$#millModuleExternal()mill.define.Ctx$External -> 2068102634, millbuild.build$korn$#millModuleSegments()mill.define.Segments -> 2068102634, millbuild.build$korn$#millModuleShared()mill.define.Ctx$Foreign -> 2068102634, millbuild.build$korn$#millSourcePath()os.Path -> 2068102634, millbuild.build$korn$#moduleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#moduleDepsChecked()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#platformSuffix()mill.define.Target -> -685041274, millbuild.build$korn$#prepareOffline(mainargs.Flag)mill.define.Command -> -553952393, millbuild.build$korn$#prependShellScript()mill.define.Target -> 1606507060, millbuild.build$korn$#printDepsTree(boolean,mill.define.Task,scala.collection.immutable.List)mill.define.Task -> -1189801634, millbuild.build$korn$#recursiveModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#repl(scala.collection.immutable.Seq)mill.define.Command -> -1438442837, millbuild.build$korn$#repositoriesTask()mill.define.Task -> -1189801634, millbuild.build$korn$#resolutionCustomizer()mill.define.Task -> -1189801634, millbuild.build$korn$#resolveCoursierDependency()mill.define.Task -> -1189801634, millbuild.build$korn$#resolveDeps$default$2()boolean -> -1189801634, millbuild.build$korn$#resolveDeps(mill.define.Task,boolean)mill.define.Task -> -1189801634, millbuild.build$korn$#resolvePublishDependency()mill.define.Task -> -1189801634, millbuild.build$korn$#resolvedAmmoniteReplIvyDeps()mill.define.Target -> 1017380774, millbuild.build$korn$#resolvedIvyDeps()mill.define.Target -> -1805753691, millbuild.build$korn$#resolvedRunIvyDeps()mill.define.Target -> -226943046, millbuild.build$korn$#resolvedSemanticDbJavaPluginIvyDeps()mill.define.Target -> -1144099708, millbuild.build$korn$#resources()mill.define.Target -> 1701020761, millbuild.build$korn$#run$default$1()mill.define.Task -> -1189801634, millbuild.build$korn$#run(mill.define.Task)mill.define.Command -> 1672783137, millbuild.build$korn$#runBackground(scala.collection.immutable.Seq)mill.define.Command -> 878156296, millbuild.build$korn$#runBackgroundLogToConsole()boolean -> -1189801634, millbuild.build$korn$#runClasspath()mill.define.Target -> -375978363, millbuild.build$korn$#runIvyDeps()mill.define.Target -> 465289062, millbuild.build$korn$#runLocal$default$1()mill.define.Task -> -1189801634, millbuild.build$korn$#runLocal(mill.define.Task)mill.define.Command -> -321769051, millbuild.build$korn$#runMain(java.lang.String,scala.collection.immutable.Seq)mill.define.Command -> -620085134, millbuild.build$korn$#runMainBackground(java.lang.String,scala.collection.immutable.Seq)mill.define.Command -> 1338991587, millbuild.build$korn$#runMainLocal(java.lang.String,scala.collection.immutable.Seq)mill.define.Command -> -1439987951, millbuild.build$korn$#runUseArgsFile()mill.define.Target -> -48685416, millbuild.build$korn$#scalaCompilerClasspath()mill.define.Target -> -113157056, millbuild.build$korn$#scalaDocClasspath()mill.define.Target -> 2047150866, millbuild.build$korn$#scalaDocOptions()mill.define.Target -> 176621598, millbuild.build$korn$#scalaDocPluginClasspath()mill.define.Target -> -295520503, millbuild.build$korn$#scalaDocPluginIvyDeps()mill.define.Target -> -1215903412, millbuild.build$korn$#scalaLibraryIvyDeps()mill.define.Target -> 1926516677, millbuild.build$korn$#scalaOrganization()mill.define.Target -> -1808910766, millbuild.build$korn$#scalaVersion()mill.define.Target -> -2118924819, millbuild.build$korn$#scalacOptions()mill.define.Target -> -1831316931, millbuild.build$korn$#scalacPluginClasspath()mill.define.Target -> 931287923, millbuild.build$korn$#scalacPluginIvyDeps()mill.define.Target -> 1957013857, millbuild.build$korn$#semanticDbData()mill.define.Target -> -346931105, millbuild.build$korn$#semanticDbEnablePluginScalacOptions()mill.define.Target -> -1489125743, millbuild.build$korn$#semanticDbJavaVersion()mill.define.Target -> -529284211, millbuild.build$korn$#semanticDbPluginClasspath()mill.define.Target -> -478690156, millbuild.build$korn$#semanticDbPluginIvyDeps()mill.define.Target -> -1910509330, millbuild.build$korn$#semanticDbScalaVersion()mill.define.Target -> 729910006, millbuild.build$korn$#semanticDbVersion()mill.define.Target -> -1664107860, millbuild.build$korn$#showModuleDeps$default$1()boolean -> -1189801634, millbuild.build$korn$#showModuleDeps(boolean)mill.define.Command -> -1988833591, millbuild.build$korn$#skipIdea()boolean -> 1028264280, millbuild.build$korn$#sourceJar()mill.define.Target -> -925821800, millbuild.build$korn$#sources()mill.define.Target -> -915362042, millbuild.build$korn$#toString()java.lang.String -> 2068102634, millbuild.build$korn$#transitiveCompileClasspath()mill.define.Target -> 783930869, millbuild.build$korn$#transitiveCompileIvyDeps()mill.define.Target -> -444207358, millbuild.build$korn$#transitiveIvyDeps()mill.define.Target -> 1634092515, millbuild.build$korn$#transitiveLocalClasspath()mill.define.Target -> -1932941468, millbuild.build$korn$#transitiveModuleCompileModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#transitiveModuleDeps()scala.collection.immutable.Seq -> -1189801634, millbuild.build$korn$#unmanagedClasspath()mill.define.Target -> 1303869867, millbuild.build$korn$#upstreamAssembly()mill.define.Target -> 1922504391, millbuild.build$korn$#upstreamAssemblyClasspath()mill.define.Target -> -770660046, millbuild.build$korn$#upstreamCompileOutput()mill.define.Target -> 713977934, millbuild.build$korn$#zincReportCachedProblems()mill.define.Target -> -1872094045, millbuild.build$korn$#zincWorker()mill.define.ModuleRef -> -1189801634, millbuild.build$korn$.$anonfun$mainClass$1(millbuild.build$korn$)mill.define.TargetImpl -> -479513172, millbuild.build$korn$.$anonfun$mainClass$2(scala.collection.immutable.Seq,mill.api.Ctx)mill.api.Result -> 37461303, millbuild.build$korn$.$anonfun$mainClass$3()scala.Some -> -1121460533, millbuild.build$korn$.$anonfun$scalaVersion$1(millbuild.build$korn$)mill.define.TargetImpl -> -2146949528, millbuild.build$korn$.$anonfun$scalaVersion$2(scala.collection.immutable.Seq,mill.api.Ctx)mill.api.Result -> -1968729982, millbuild.build$korn$.$anonfun$scalaVersion$3()java.lang.String -> 1167315478, millbuild.build$korn$.$anonfun$unmanagedClasspath$1(millbuild.build$korn$)mill.define.TargetImpl -> -1458827362, millbuild.build$korn$.$anonfun$unmanagedClasspath$2(millbuild.build$korn$,scala.collection.immutable.Seq,mill.api.Ctx)mill.api.Result -> -1203103263, millbuild.build$korn$.$anonfun$unmanagedClasspath$3(millbuild.build$korn$)mill.api.AggWrapper$Agg -> -774589667, millbuild.build$korn$.$anonfun$unmanagedClasspath$4(os.Path)mill.api.PathRef -> -390335145, millbuild.build$korn$.$deserializeLambda$(java.lang.invoke.SerializedLambda)java.lang.Object -> -1822347360),false), EvaluatorImpl(/Users/westtide/.mill/ammonite,/Users/westtide/Developer/korn,/Users/westtide/Developer/korn/out/mill-build,/Users/westtide/Developer/korn/out/mill-build,,mill.util.PrefixLogger@368d5c00,481963126,0,HashMap(Segments(ArraySeq(Label(mill), Label(scalalib), Label(ZincWorkerModule), Label(worker))) -> (-1447494266,Val(mill.scalalib.worker.ZincWorkerImpl@aed0151))),HashMap(CONDA_SHLVL -> 1, CONDA_PYTHON_EXE -> /Users/westtide/opt/anaconda3/bin/python, XPC_SERVICE_NAME -> application.com.jetbrains.intellij.131114165.131115053, COPT_LICENSE_DIR -> /Applications/copt60, COMMAND_MODE -> unix2003, SQLITE_EXEMPT_PATH_FROM_VNODE_GUARDS -> /Users/westtide/Library/WebKit/Databases, __CF_USER_TEXT_ENCODING -> 0x1F5:0x19:0x34, ZSH -> /Users/westtide/.oh-my-zsh, OCAML_TOPLEVEL_PATH -> /Users/westtide/.opam/4.14.1/lib/toplevel, CAML_LD_LIBRARY_PATH -> /Users/westtide/.opam/4.14.1/lib/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml, CONDA_PREFIX -> /Users/westtide/opt/anaconda3, LESS -> -R, CONDA_PROMPT_MODIFIER -> (base) , SSH_AUTH_SOCK -> /private/tmp/com.apple.launchd.T9WQqvpXzu/Listeners, SHELL -> /bin/zsh, LOGNAME -> westtide, PATH -> /opt/homebrew/opt/llvm/bin:/opt/homebrew/Cellar/llvm/17.0.6/bin/:/opt/homebrew/opt/sqlite/bin:/Users/westtide/.opam/4.14.1/bin:/opt/homebrew/opt/ruby/bin:/usr/local/opt/curl/bin:/usr/local/opt/curl/bin:/Applications/copt60/bin:/usr/local/opt/ruby/bin:/Users/westtide/opt/anaconda3/bin:/Users/westtide/opt/anaconda3/condabin:/opt/homebrew/bin:/opt/homebrew/sbin:/usr/local/bin:/System/Cryptexes/App/usr/bin:/usr/bin:/bin:/usr/sbin:/sbin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/local/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/appleinternal/bin:/Library/Apple/usr/bin:/Library/TeX/texbin:/Applications/VMware Fusion.app/Contents/Public:/usr/local/share/dotnet:~/.dotnet/tools:/usr/local/go/bin:/Users/westtide/.cargo/bin:/Users/westtide/Library/Application Support/JetBrains/Toolbox/scripts:/usr/local/bin:/Users/westtide/Library/Application Support/Coursier/bin, _CE_M -> , LSCOLORS -> Gxfxcxdxbxegedabagacad, HOMEBREW_REPOSITORY -> /opt/homebrew, HOMEBREW_CELLAR -> /opt/homebrew/Cellar, DYLD_LIBRARY_PATH -> /Applications/copt60/lib:, CONDA_EXE -> /Users/westtide/opt/anaconda3/bin/conda, CONDA_DEFAULT_ENV -> base, HOME -> /Users/westtide, HOMEBREW_PREFIX -> /opt/homebrew, INFOPATH -> /opt/homebrew/share/info:, USER -> westtide, MANPATH -> /opt/homebrew/share/man::, XPC_FLAGS -> 0x0, GPG_TTY -> not a tty, TMPDIR -> /var/folders/l0/035kjkgd0fj2x0brjx0bs7dh0000gn/T/, OPAM_SWITCH_PREFIX -> /Users/westtide/.opam/4.14.1, SHLVL -> 0, PWD -> /Users/westtide/Developer/korn, IDEA_INITIAL_DIRECTORY -> /, LC_CTYPE -> zh_CN.UTF-8, PAGER -> less, COPT_HOME -> /Applications/copt60, _CE_CONDA -> , __CFBundleIdentifier -> com.jetbrains.intellij),true,Some(1),Map(),Map(),false))) +BspModules: Map(BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" +] -> korn, BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" +] -> mill-build/) +workspaceBuildTargets took 592 msec +workspaceBuildTargets result: WorkspaceBuildTargetsResult [ + targets = SeqWrapper ( + BuildTarget [ + id = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + displayName = "korn" + baseDirectory = "file:///Users/westtide/Developer/korn/korn" + tags = SeqWrapper ( + "library", + "application" + ) + languageIds = SeqWrapper ( + "java", + "scala" + ) + dependencies = SeqWrapper () + capabilities = BuildTargetCapabilities [ + canCompile = true + canTest = false + canRun = true + canDebug = false + ] + dataKind = "scala" + data = ScalaBuildTarget [ + scalaOrganization = "org.scala-lang" + scalaVersion = "2.13.12" + scalaBinaryVersion = "2.13" + platform = JVM + jars = SeqWrapper ( + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0.jar" + ) + jvmBuildTarget = null + ] + ], + BuildTarget [ + id = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + displayName = "mill-build/" + baseDirectory = "file:///Users/westtide/Developer/korn/mill-build" + tags = SeqWrapper ( + "library", + "application" + ) + languageIds = SeqWrapper ( + "java", + "scala" + ) + dependencies = SeqWrapper () + capabilities = BuildTargetCapabilities [ + canCompile = true + canTest = false + canRun = true + canDebug = false + ] + dataKind = "scala" + data = ScalaBuildTarget [ + scalaOrganization = "org.scala-lang" + scalaVersion = "2.13.12" + scalaBinaryVersion = "2.13" + platform = JVM + jars = SeqWrapper ( + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0.jar" + ) + jvmBuildTarget = null + ] + ] + ) +] +Entered buildTargetSources SourcesParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ], + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + ) +] +Entered buildTargetDependencySources DependencySourcesParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ], + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + ) +] +Entered buildTargetResources ResourcesParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ], + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + ) +] +Entered buildTargetOutputPaths OutputPathsParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ], + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + ) +] +Entered buildTargetScalacOptions ScalacOptionsParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ], + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + ) +] +buildTargetOutputPaths took 28 msec +buildTargetOutputPaths result: OutputPathsResult [ + items = MutableBufferWrapper ( + OutputPathsItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + outputPaths = SeqWrapper ( + OutputPathItem [ + uri = "file:///Users/westtide/Developer/korn/out/" + kind = DIRECTORY + ] + ) + ], + OutputPathsItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + outputPaths = SeqWrapper ( + OutputPathItem [ + uri = "file:///Users/westtide/Developer/korn/out/mill-build/" + kind = DIRECTORY + ] + ) + ] + ) +] +buildTargetResources took 46 msec +buildTargetResources result: ResourcesResult [ + items = SeqWrapper ( + ResourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + resources = SeqWrapper () + ], + ResourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + resources = SeqWrapper () + ] + ) +] +buildTargetSources took 84 msec +buildTargetSources result: SourcesResult [ + items = SeqWrapper ( + SourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + sources = SeqWrapper ( + SourceItem [ + uri = "file:///Users/westtide/Developer/korn/korn/src" + kind = DIRECTORY + generated = false + ] + ) + roots = null + ], + SourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + sources = SeqWrapper ( + SourceItem [ + uri = "file:///Users/westtide/Developer/korn/build.sc" + kind = FILE + generated = false + ], + SourceItem [ + uri = "file:///Users/westtide/Developer/korn/build.sc" + kind = FILE + generated = false + ], + SourceItem [ + uri = "file:///Users/westtide/Developer/korn/out/mill-build/generateScriptSources.dest" + kind = DIRECTORY + generated = true + ] + ) + roots = null + ] + ) +] +buildTargetScalacOptions took 128 msec +buildTargetScalacOptions result: ScalacOptionsResult [ + items = SeqWrapper ( + ScalacOptionsItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + options = SeqWrapper () + classpath = SeqWrapper ( + "file:///Users/westtide/Developer/korn/korn/compile-resources", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-cc-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-rt-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/jflex-1.7.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar" + ) + classDirectory = "file:///Users/westtide/Developer/korn/out/korn/compile.dest/classes" + ], + ScalacOptionsItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + options = SeqWrapper ( + "-Xplugin:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/scalac-mill-moduledefs-plugin_2.13.12/0.10.9/scalac-mill-moduledefs-plugin_2.13.12-0.10.9.jar", + "-Xplugin:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-runner-linenumbers_2.13/0.11.5/mill-runner-linenumbers_2.13-0.11.5.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0.jar,/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.13/0.3.0/sourcecode_2.13-0.3.0.jar", + "-deprecation", + "-Xplugin-require:mill-linenumber-plugin" + ) + classpath = SeqWrapper ( + "file:///Users/westtide/Developer/korn/mill-build/compile-resources", + "file:///Users/westtide/Developer/korn/out/mill-launcher/0.11.5.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-runner-linenumbers_2.13/0.11.5/mill-runner-linenumbers_2.13-0.11.5.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.13/0.3.0/sourcecode_2.13-0.3.0.jar" + ) + classDirectory = "file:///Users/westtide/Developer/korn/out/mill-build/compile.dest/classes" + ] + ) +] +buildTargetDependencySources took 12051 msec +buildTargetDependencySources result: DependencySourcesResult [ + items = SeqWrapper ( + DependencySourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + sources = SeqWrapper ( + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12-sources.jar", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-cc-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-rt-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/jflex-1.7.0.jar" + ) + ], + DependencySourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/mill-build" + ] + sources = SeqWrapper ( + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.13/0.3.0/sourcecode_2.13-0.3.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0-sources.jar", + "file:///Users/westtide/Developer/korn/out/mill-launcher/0.11.5.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-runner-linenumbers_2.13/0.11.5/mill-runner-linenumbers_2.13-0.11.5.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.22.0/jline-3.22.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.13/0.3.0/sourcecode_2.13-0.3.0.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-runner_2.13/0.11.5/mill-runner_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-idea_2.13/0.11.5/mill-idea_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-moduledefs_2.13/0.10.9/mill-moduledefs_2.13-0.10.9-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalalib_2.13/0.11.5/mill-scalalib_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalajslib_2.13/0.11.5/mill-scalajslib_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalanativelib_2.13/0.11.5/mill-scalanativelib_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-bsp_2.13/0.11.5/mill-bsp_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-runner-linenumbers_2.13/0.11.5/mill-runner-linenumbers_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-codesig_2.13/0.11.5/mill-main-codesig_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.12/scala-compiler-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/sourcecode_2.13/0.3.0/sourcecode_2.13-0.3.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scalameta/scalafmt-dynamic_2.13/3.7.14/scalafmt-dynamic_2.13-3.7.14-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main_2.13/0.11.5/mill-main_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalalib-api_2.13/0.11.5/mill-scalalib-api_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-testrunner_2.13/0.11.5/mill-testrunner_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalajslib-worker-api_2.13/0.11.5/mill-scalajslib-worker-api_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-scalanativelib-worker-api_2.13/0.11.5/mill-scalanativelib-worker-api_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm-tree/9.5/asm-tree-9.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/os-lib_2.13/0.9.1/os-lib_2.13-0.9.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/pprint_2.13/0.8.1/pprint_2.13-0.8.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-util_2.13/0.11.5/mill-main-util_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.12/scala-reflect-2.13.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/java-diff-utils/java-diff-utils/4.12/java-diff-utils-4.12-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/jline/jline/3.23.0/jline-3.23.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.13.0/jna-5.13.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scalameta/scalafmt-interfaces/3.7.14/scalafmt-interfaces-3.7.14-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/interface/1.0.19/interface-1.0.19-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/typesafe/config/1.4.2/config-1.4.2-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/windows-ansi/windows-ansi/0.0.5/windows-ansi-0.0.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mainargs_2.13/0.5.4/mainargs_2.13-0.5.4-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/requests_2.13/0.8.0/requests_2.13-0.8.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-eval_2.13/0.11.5/mill-main-eval_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-resolve_2.13/0.11.5/mill-main-resolve_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-client/0.11.5/mill-main-client-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-api_2.13/0.11.5/mill-main-api_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-testrunner-entrypoint/0.11.5/mill-testrunner-entrypoint-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-sbt/test-interface/1.0/test-interface-1.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm/9.5/asm-9.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/geny_2.13/1.0.0/geny_2.13-1.0.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/fansi_2.13/0.4.0/fansi_2.13-0.4.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier_2.13/2.1.7/coursier_2.13-2.1.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/slf4j/slf4j-api/1.7.36/slf4j-api-1.7.36-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/fusesource/jansi/jansi/1.18/jansi-1.18-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/modules/scala-collection-compat_2.13/2.11.0/scala-collection-compat_2.13-2.11.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-main-define_2.13/0.11.5/mill-main-define_2.13-0.11.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle_2.13/3.1.3/upickle_2.13-3.1.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/github/plokhotnyuk/jsoniter-scala/jsoniter-scala-core_2.13/2.13.5.2/jsoniter-scala-core_2.13-2.13.5.2-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-core_2.13/2.1.7/coursier-core_2.13-2.1.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-cache_2.13/2.1.7/coursier-cache_2.13-2.1.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-proxy-setup/2.1.7/coursier-proxy-setup-2.1.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna-platform/5.13.0/jna-platform-5.13.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/eed3si9n/jarjarabrams/jarjar-abrams-core_2.13/1.9.0/jarjar-abrams-core_2.13-1.9.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/scalaparse_2.13/3.0.2/scalaparse_2.13-3.0.2-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/kohlschutter/junixsocket/junixsocket-native-common/2.8.1/junixsocket-native-common-2.8.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/kohlschutter/junixsocket/junixsocket-common/2.8.1/junixsocket-common-2.8.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/ujson_2.13/3.1.3/ujson_2.13-3.1.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upack_2.13/3.1.3/upack_2.13-3.1.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle-implicits_2.13/3.1.3/upickle-implicits_2.13-3.1.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/github/alexarchambault/concurrent-reference-hash-map/1.1.0/concurrent-reference-hash-map-1.1.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_2.13/2.2.0/scala-xml_2.13-2.2.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/coursier-util_2.13/2.1.7/coursier-util_2.13-2.1.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/io/get-coursier/jniutils/windows-jni-utils/0.3.3/windows-jni-utils-0.3.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-archiver/4.8.0/plexus-archiver-4.8.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-container-default/2.1.1/plexus-container-default-2.1.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/virtuslab/scala-cli/config_2.13/0.2.1/config_2.13-0.2.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/eed3si9n/jarjar/jarjar/1.9.0/jarjar-1.9.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/fastparse_2.13/3.0.2/fastparse_2.13-3.0.2-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/upickle-core_2.13/3.1.3/upickle-core_2.13-3.1.3-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/javax/inject/javax.inject/1/javax.inject-1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-utils/4.0.0/plexus-utils-4.0.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-io/3.4.1/plexus-io-3.4.1-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/commons-io/commons-io/2.13.0/commons-io-2.13.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/apache/commons/commons-compress/1.23.0/commons-compress-1.23.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/iq80/snappy/snappy/0.4/snappy-0.4-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/tukaani/xz/1.9/xz-1.9-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/github/luben/zstd-jni/1.5.5-5/zstd-jni-1.5.5-5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-classworlds/2.6.0/plexus-classworlds-2.6.0-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/apache/xbean/xbean-reflect/3.7/xbean-reflect-3.7-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm-commons/9.5/asm-commons-9.5-sources.jar", + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/apache/commons/commons-lang3/3.8.1/commons-lang3-3.8.1-sources.jar" + ) + ] + ) +] +Entered buildTargetCompile CompileParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + ) + originId = "88580e27-4b3c-4f34-9b6e-06d673926717" + arguments = null +] +Compiling compiler interface... +[info] compiling 25 Scala sources and 4 Java sources to /Users/westtide/Developer/korn/out/korn/compile.dest/classes ... +[warn] /Users/westtide/Developer/korn/korn/src/korn/Witness.scala:21:5: Exhaustivity analysis reached max recursion depth, not all missing cases are reported. +[warn] (Please try with scalac -Ypatmat-exhaust-depth 40 or -Ypatmat-exhaust-depth off.) +[warn] param match { +[warn] ^ +[warn] /Users/westtide/Developer/korn/korn/src/korn/horn/Eval.scala:102:7: Exhaustivity analysis reached max recursion depth, not all missing cases are reported. +[warn] (Please try with scalac -Ypatmat-exhaust-depth 40 or -Ypatmat-exhaust-depth off.) +[warn] lhs match { +[warn] ^ +[warn] 43 deprecations (since 2.13.0) +[warn] 3 deprecations (since 2.13.3) +[warn] 1 deprecation (since 2.13.7) +[warn] 47 deprecations in total; re-run with -deprecation for details +[warn] 6 warnings found +[info] /Users/westtide/Developer/korn/korn/src/korn/c/Parser.java: 某些输入文件使用了未经检查或不安全的操作。 +[info] /Users/westtide/Developer/korn/korn/src/korn/c/Parser.java: 有关详细信息, 请使用 -Xlint:unchecked 重新编译。 +[info] done compiling +buildTargetCompile took 13345 msec +buildTargetCompile result: CompileResult [ + originId = "88580e27-4b3c-4f34-9b6e-06d673926717" + statusCode = OK + dataKind = null + data = null +] +Entered buildTargetSources SourcesParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + ) +] +buildTargetSources took 20 msec +buildTargetSources result: SourcesResult [ + items = SeqWrapper ( + SourcesItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + sources = SeqWrapper ( + SourceItem [ + uri = "file:///Users/westtide/Developer/korn/korn/src" + kind = DIRECTORY + generated = false + ] + ) + roots = null + ] + ) +] +Entered jvmRunEnvironment JvmRunEnvironmentParams [ + targets = ArrayList ( + BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + ) + originId = null +] +jvmRunEnvironment took 155 msec +jvmRunEnvironment result: JvmRunEnvironmentResult [ + items = SeqWrapper ( + JvmEnvironmentItem [ + target = BuildTargetIdentifier [ + uri = "file:///Users/westtide/Developer/korn/korn" + ] + classpath = SeqWrapper ( + "file:///Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.13.12/scala-library-2.13.12.jar", + "file:///Users/westtide/Developer/korn/korn/compile-resources", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-cc-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/beaver-rt-0.9.11.jar", + "file:///Users/westtide/Developer/korn/korn/lib/jflex-1.7.0.jar", + "file:///Users/westtide/Developer/korn/korn/resources", + "file:///Users/westtide/Developer/korn/out/korn/compile.dest/classes" + ) + jvmOptions = SeqWrapper () + workingDirectory = "/Users/westtide/Developer/korn" + environmentVariables = {CONDA_SHLVL=1, CONDA_PYTHON_EXE=/Users/westtide/opt/anaconda3/bin/python, XPC_SERVICE_NAME=application.com.jetbrains.intellij.131114165.131115053, COPT_LICENSE_DIR=/Applications/copt60, COMMAND_MODE=unix2003, SQLITE_EXEMPT_PATH_FROM_VNODE_GUARDS=/Users/westtide/Library/WebKit/Databases, __CF_USER_TEXT_ENCODING=0x1F5:0x19:0x34, ZSH=/Users/westtide/.oh-my-zsh, OCAML_TOPLEVEL_PATH=/Users/westtide/.opam/4.14.1/lib/toplevel, CAML_LD_LIBRARY_PATH=/Users/westtide/.opam/4.14.1/lib/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml/stublibs:/Users/westtide/.opam/4.14.1/lib/ocaml, CONDA_PREFIX=/Users/westtide/opt/anaconda3, LESS=-R, CONDA_PROMPT_MODIFIER=(base) , SSH_AUTH_SOCK=/private/tmp/com.apple.launchd.T9WQqvpXzu/Listeners, SHELL=/bin/zsh, LOGNAME=westtide, PATH=/opt/homebrew/opt/llvm/bin:/opt/homebrew/Cellar/llvm/17.0.6/bin/:/opt/homebrew/opt/sqlite/bin:/Users/westtide/.opam/4.14.1/bin:/opt/homebrew/opt/ruby/bin:/usr/local/opt/curl/bin:/usr/local/opt/curl/bin:/Applications/copt60/bin:/usr/local/opt/ruby/bin:/Users/westtide/opt/anaconda3/bin:/Users/westtide/opt/anaconda3/condabin:/opt/homebrew/bin:/opt/homebrew/sbin:/usr/local/bin:/System/Cryptexes/App/usr/bin:/usr/bin:/bin:/usr/sbin:/sbin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/local/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/bin:/var/run/com.apple.security.cryptexd/codex.system/bootstrap/usr/appleinternal/bin:/Library/Apple/usr/bin:/Library/TeX/texbin:/Applications/VMware Fusion.app/Contents/Public:/usr/local/share/dotnet:~/.dotnet/tools:/usr/local/go/bin:/Users/westtide/.cargo/bin:/Users/westtide/Library/Application Support/JetBrains/Toolbox/scripts:/usr/local/bin:/Users/westtide/Library/Application Support/Coursier/bin, _CE_M=, LSCOLORS=Gxfxcxdxbxegedabagacad, HOMEBREW_REPOSITORY=/opt/homebrew, HOMEBREW_CELLAR=/opt/homebrew/Cellar, DYLD_LIBRARY_PATH=/Applications/copt60/lib:, CONDA_EXE=/Users/westtide/opt/anaconda3/bin/conda, CONDA_DEFAULT_ENV=base, HOME=/Users/westtide, HOMEBREW_PREFIX=/opt/homebrew, INFOPATH=/opt/homebrew/share/info:, USER=westtide, MANPATH=/opt/homebrew/share/man::, XPC_FLAGS=0x0, GPG_TTY=not a tty, TMPDIR=/var/folders/l0/035kjkgd0fj2x0brjx0bs7dh0000gn/T/, OPAM_SWITCH_PREFIX=/Users/westtide/.opam/4.14.1, SHLVL=0, PWD=/Users/westtide/Developer/korn, IDEA_INITIAL_DIRECTORY=/, LC_CTYPE=zh_CN.UTF-8, PAGER=less, COPT_HOME=/Applications/copt60, _CE_CONDA=, __CFBundleIdentifier=com.jetbrains.intellij} + mainClasses = SeqWrapper ( + JvmMainClass [ + className = "korn.Main" + arguments = SeqWrapper () + ], + JvmMainClass [ + className = "korn.Main" + arguments = SeqWrapper () + ] + ) + ] + ) +] +6月 08, 2024 9:32:41 上午 org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation +警告: Unmatched cancel notification for request id 1 +Entered buildShutdown +Shutdown build... +Unsetting evaluator on session end +Updating Evaluator: None +Reload finished, result: mill.bsp.BspServerResult$Shutdown$@5bfc257 +BSP/startSession: Finished BSP session, result: mill.bsp.BspServerResult$Shutdown$@5bfc257 +Entered onBuildExit +Exiting build... +Exception in thread "Thread-0" java.util.concurrent.CancellationException + at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:121) + at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:191) + at org.eclipse.lsp4j.jsonrpc.json.ConcurrentMessageProcessor$1.get(ConcurrentMessageProcessor.java:54) + at org.eclipse.lsp4j.jsonrpc.json.ConcurrentMessageProcessor$1.get(ConcurrentMessageProcessor.java:50) + at mill.bsp.worker.BspWorkerImpl.$anonfun$startBspServer$2(BspWorkerImpl.scala:86) + at java.base/java.lang.Thread.run(Thread.java:1583) diff --git a/.idea/.DS_Store b/.idea/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..bbb5775bd16fb5783f00f57ccdd3193133e49d61 GIT binary patch literal 6148 zcmeHKu};G<5IvVlw7}2_A(onvjs8KX!pPJgfVK!KHA)2(#FmAb6^V^MVS$y8fRUA% zcfM;$NYfD^bSIr(V!yL5&uQEvBG;V`J47uaYQPz5O*9LP$Jt9()1D2W3v=}7l5S{B zCv;I_TgP8ifcI{V29(keyO!I(@oA?wNRx>q?VhT5NgBufaoWdta+R0U(FrP zxi5P=w+~CWle7H#9#c{iZ`O$VbWX?c5x-@{EI02Kv+_CKU;Ej*3+7AG?+lkSi}}5B zeyfxO9jEdODCTzfQD)@xdf#o&^7=7PKBsC{F(2JF&dSUbFa=D3vI01>*&6GD)|vvQ zfGIFnfWHqO&KN0Xg5lGFCX@icI=X}5nrjJ;@rsdRCWsN3lTe_9IxR7rgrnapFH+0| zC7hfVA5K?xTA{eGI_CF*PA(F())X)WiVCdAZHv$UgX;Rf7-V;*fGO~=6ma#p7kBYU zdbXAxj?Y>TKZ3I{FB6=H;36Ew;PO$t1rLUP&lkW*F%v`&%>D=j8LTk{epP`lMICls literal 0 HcmV?d00001 diff --git a/.idea/.gitignore b/.idea/.gitignore new file mode 100644 index 0000000..35410ca --- /dev/null +++ b/.idea/.gitignore @@ -0,0 +1,8 @@ +# 默认忽略的文件 +/shelf/ +/workspace.xml +# 基于编辑器的 HTTP 客户端请求 +/httpRequests/ +# Datasource local storage ignored files +/dataSources/ +/dataSources.local.xml diff --git a/.idea/bsp.xml b/.idea/bsp.xml new file mode 100644 index 0000000..456f374 --- /dev/null +++ b/.idea/bsp.xml @@ -0,0 +1,15 @@ + + + + + + \ No newline at end of file diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml new file mode 100644 index 0000000..a2fa364 --- /dev/null +++ b/.idea/codeStyles/Project.xml @@ -0,0 +1,8 @@ + + + + + + \ No newline at end of file diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml new file mode 100644 index 0000000..79ee123 --- /dev/null +++ b/.idea/codeStyles/codeStyleConfig.xml @@ -0,0 +1,5 @@ + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__0_11_5.xml b/.idea/libraries/BSP__0_11_5.xml new file mode 100644 index 0000000..69638dd --- /dev/null +++ b/.idea/libraries/BSP__0_11_5.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__beaver_cc_0_9_11.xml b/.idea/libraries/BSP__beaver_cc_0_9_11.xml new file mode 100644 index 0000000..4c84d3d --- /dev/null +++ b/.idea/libraries/BSP__beaver_cc_0_9_11.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__beaver_rt_0_9_11.xml b/.idea/libraries/BSP__beaver_rt_0_9_11.xml new file mode 100644 index 0000000..d98e6fa --- /dev/null +++ b/.idea/libraries/BSP__beaver_rt_0_9_11.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__java_diff_utils_4_12.xml b/.idea/libraries/BSP__java_diff_utils_4_12.xml new file mode 100644 index 0000000..d126210 --- /dev/null +++ b/.idea/libraries/BSP__java_diff_utils_4_12.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__jflex_1_7_0.xml b/.idea/libraries/BSP__jflex_1_7_0.xml new file mode 100644 index 0000000..91a16e0 --- /dev/null +++ b/.idea/libraries/BSP__jflex_1_7_0.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__jline_3_22_0.xml b/.idea/libraries/BSP__jline_3_22_0.xml new file mode 100644 index 0000000..045a487 --- /dev/null +++ b/.idea/libraries/BSP__jline_3_22_0.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__jna_5_13_0.xml b/.idea/libraries/BSP__jna_5_13_0.xml new file mode 100644 index 0000000..e22974e --- /dev/null +++ b/.idea/libraries/BSP__jna_5_13_0.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__mill_moduledefs_2_13_0_10_9.xml b/.idea/libraries/BSP__mill_moduledefs_2_13_0_10_9.xml new file mode 100644 index 0000000..70b3ca0 --- /dev/null +++ b/.idea/libraries/BSP__mill_moduledefs_2_13_0_10_9.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__mill_runner_linenumbers_2_13_0_11_5.xml b/.idea/libraries/BSP__mill_runner_linenumbers_2_13_0_11_5.xml new file mode 100644 index 0000000..c2f33de --- /dev/null +++ b/.idea/libraries/BSP__mill_runner_linenumbers_2_13_0_11_5.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__scala_compiler_2_13_12.xml b/.idea/libraries/BSP__scala_compiler_2_13_12.xml new file mode 100644 index 0000000..c6ccffd --- /dev/null +++ b/.idea/libraries/BSP__scala_compiler_2_13_12.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__scala_library_2_13_12.xml b/.idea/libraries/BSP__scala_library_2_13_12.xml new file mode 100644 index 0000000..b313c77 --- /dev/null +++ b/.idea/libraries/BSP__scala_library_2_13_12.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__scala_reflect_2_13_12.xml b/.idea/libraries/BSP__scala_reflect_2_13_12.xml new file mode 100644 index 0000000..77e1152 --- /dev/null +++ b/.idea/libraries/BSP__scala_reflect_2_13_12.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/libraries/BSP__sourcecode_2_13_0_3_0.xml b/.idea/libraries/BSP__sourcecode_2_13_0_3_0.xml new file mode 100644 index 0000000..e3d0f9f --- /dev/null +++ b/.idea/libraries/BSP__sourcecode_2_13_0_3_0.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml new file mode 100644 index 0000000..c5ce641 --- /dev/null +++ b/.idea/misc.xml @@ -0,0 +1,4 @@ + + + + \ No newline at end of file diff --git a/.idea/modules.xml b/.idea/modules.xml new file mode 100644 index 0000000..95b3f78 --- /dev/null +++ b/.idea/modules.xml @@ -0,0 +1,10 @@ + + + + + + + + + + \ No newline at end of file diff --git a/.idea/modules/korn-root.iml b/.idea/modules/korn-root.iml new file mode 100644 index 0000000..65ac8bd --- /dev/null +++ b/.idea/modules/korn-root.iml @@ -0,0 +1,12 @@ + + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/modules/korn.iml b/.idea/modules/korn.iml new file mode 100644 index 0000000..fe94009 --- /dev/null +++ b/.idea/modules/korn.iml @@ -0,0 +1,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + file://$USER_HOME$/.ivy2/cache/org.scala-lang/scala2-sbt-bridge/jars/scala2-sbt-bridge-2.13.12.jar + + + + + + + + \ No newline at end of file diff --git a/.idea/modules/mill-build_.iml b/.idea/modules/mill-build_.iml new file mode 100644 index 0000000..4e15c86 --- /dev/null +++ b/.idea/modules/mill-build_.iml @@ -0,0 +1,133 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + file://$USER_HOME$/.ivy2/cache/org.scala-lang/scala2-sbt-bridge/jars/scala2-sbt-bridge-2.13.12.jar + + + + + + + + + \ No newline at end of file diff --git a/.idea/scala_compiler.xml b/.idea/scala_compiler.xml new file mode 100644 index 0000000..320c812 --- /dev/null +++ b/.idea/scala_compiler.xml @@ -0,0 +1,16 @@ + + + + + + + + \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml new file mode 100644 index 0000000..94a25f7 --- /dev/null +++ b/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/1.c b/1.c new file mode 100644 index 0000000..7c252e1 --- /dev/null +++ b/1.c @@ -0,0 +1,18 @@ +int main() { + // variable declarations + int x; + int y; + // pre-conditions + (x = 1); + (y = 0); + // loop body + while ((y < 100000)) { + { + (x = (x + y)); + (y = (y + 1)); + } + + } + // post-condition +assert( (x >= y) ); +} diff --git a/doc/.DS_Store b/doc/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..97a30dbb7a178044422a20aa53677291fc40d0c5 GIT binary patch literal 6148 zcmeHKF;2r!47Ed%(!$V@@n4}g2vt~FdI2a!fYdZmDSPh04LAr_U_(6u3u0j5`P&K& zZGi~^vL*lb<8S}(yhL$KL_EBi42b$fltKlQE`|*v>!NFtm_-&j?lGTU3`S>VQLXv9 z;de41&u*70I)$E7`}y(msl8g1c|M+&V_4JYHkF)1E z{Te!>1#(%?6_qq=y-mHl$IpCMb9;Gca@)FhQNCyT9sgF|y`|*s;tV(g&cI(~05w}A z-Ba|@8E^)ifrbJ3J_M*>W>_o6PX~tB0suQON5Ncr35f}YnPIJn6$oo6P(#^T4AyYi zgZX8KwW5X-Tl2woGFykj@pSATqC0V>=%X{>473^8(aXNn|D)~we>=#poB?OxUopU) ze3TDyOIBOgZcb`#fSy1_#IIItLNJM?7`{@951>(C4>AE}hP5Ir5dRT~H2B~Q{3ru& D=C@d` literal 0 HcmV?d00001 diff --git a/evaluation/.DS_Store b/evaluation/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..201e80079f550d2137dc64c3135354ea27b47af7 GIT binary patch literal 6148 zcmeHKu};H447EvxQo+y#3AQZ#fc`HQbQ`CGUp!{S=gA6_=HaU2Loc` z2UvJMo93#}6#=p(-@Dl7d%YJa?hz3Wm(u}JkBCyZ;7%9AHzs-UmhD(%AIP#txd@Si zhu79x5ByFA^xaM7v%zRmZM;9GNm&)ecwUY1)6?C4n%s4tk1-FK>6XmmBHHQnNlu;6 zC0)@?%)u{jt0oikbZ19jJXTj$4OcrG^YMF)O~H3fODbc&SDfj zHs(w2SHkD!3b+EUz+Y1UJzFf@Q}odla0Og}wF2^e$l!vxVXYWG9T>tD0N6n|80K=9 zkebXeH>?$rfw7hXwUq6O!CH=ZX6tgpT2af1?ef9K%yvWJz>fX1u$(wo^wAY?1vV8( z^sy)X|7839f3wJ+Tme_$Un#(yVpI%qB@~ literal 0 HcmV?d00001 diff --git a/korn/.DS_Store b/korn/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..2cc97b8dbcd07127caca35685ef028a7aa7aeb56 GIT binary patch literal 6148 zcmeHKOHRWu5FIx`N@3GYC6->XVU-(%Dx9DfKuIJ(O5}*VLItCBzTUy=Pd$-D!IN)Ro|uYFuB!)H^ES;1!FiC2IP5c^#Z%)2{03E1HuB)KLVZx K9h8B+GVlonCrGaV literal 0 HcmV?d00001 diff --git a/korn/src/.DS_Store b/korn/src/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..f92df11e9a17b4f502af77c5dd27840a9a21b89a GIT binary patch literal 6148 zcmeHKy-LJD5T4N-L~X9qatj;Fyg@u-XLk>v=4#o#2D`626Sz?2IA7 zw2H_K?0&QJm+S}G%@7eU9-D$_PDD9|Ad4~~VxDvzSnv$UQlr_g+B(K|qR3x0$-8HC zPmy-?Fns^s*shD^DsHxE2ieo>Fkus`s%~QqTmEr+etmKLemV9xy?=dEJii@{{oA`i z?b!=bU7P`Dz!`7`oPnQa0C%=Xexm5JGvEw313d$BJ_HQG(y&uZM+c_V0su3ZlR%eV zLUMv(Y1k>k17S@CYARcc!I}Ks7$Oqai2{K>`U${7&XKd^ dRDTd1aiw9WC{@Is(t-XXkO=X~8TbVTJ^_x-Et~)V literal 0 HcmV?d00001 diff --git a/korn/src/korn/.DS_Store b/korn/src/korn/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..234d5b38ca8c23ebb4989327fd1757f9b4cc09b1 GIT binary patch literal 6148 zcmeHKu};G<5IwgUidZ@@u;Gn~p#w9a3KL_0ptP0f(2xqsz?R=Yd<+}Rd;#JI_yu_9 zJEgYL4qXtc?xgc`?tFgrOJ&DI=O~vU(m6Y7 zjkUo4R6yR{ba6WvO{?VnIhvMLQA`%q1V6oZ@pRgKIe5E7KV)WGGRt{9Q_ZW+XigQ~ z(_O+suP1RX=K6kaxSHCsS~G6SC%pJK!n*W8C9P7{ubXuy=DdDyIJGWjY-dwG&wLrJ zu+EAWDdYK1oQpX>J{!)aHfG(FPk3p}yk@3=DPRihs(|d0)H~d@(8ikrroi4S!25%T zGvTuk%N1)uDJQ3w52wsd zZzwLXV}2iolgkCIH3dw8RDrHM_WAt3+J65}i|ol1Fa`EX0hbk{Vu&T_+1gqhpS2!7 qhO_awTCgcWCmh8X%SZ7sJQ(7hJHTAA7DNPQ9|A!JYfOPZRp1v6zi!k3 literal 0 HcmV?d00001 diff --git a/korn/src/korn/Main.scala b/korn/src/korn/Main.scala index dec61bd..c6376f3 100644 --- a/korn/src/korn/Main.scala +++ b/korn/src/korn/Main.scala @@ -37,6 +37,7 @@ object Main { var write = false var timeout: Duration = 900.seconds // SV-COMP default var tools = mutable.Buffer[Tool]() + var c2chc = false var files = mutable.Buffer[String]() var out = System.out @@ -179,6 +180,11 @@ object Main { c.bits = 64 configure(rest) + case "--c2chc" :: rest => + println("yes c2chc") + c2chc = true + configure(rest) + case "--" :: rest => add(Tool.generic(timeout, model, write, expect, rest)) @@ -231,6 +237,16 @@ object Main { if (tool.write) info("clauses: " + to) + // If --c2chc option is enabled and the tool is Eldarica, output the SMT2 file + if (c2chc ) { + println("Yes c2chc") + val c2chcFile = new File(to) + val writer = new FileWriter(c2chcFile) + writer.write(unit.toString) // Adjust this line as needed to write the actual SMT2 content + writer.close() + info(s"SMT2 file for Eldarica written to: $c2chcFile") + } + val result = tool.check(unit, to) try {