add -c2chc: translate C to CHC

westtide · Jun 8, 2024 · c62c1f4 · c62c1f4
1 parent cd38db2
commit c62c1f4
Show file tree

Hide file tree

Showing 36 changed files with 1,031 additions and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/.bsp/mill-bsp-0.11.5.resources b/.bsp/mill-bsp-0.11.5.resources
@@ -0,0 +1,24 @@
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/mill-bsp-worker_2.13/0.11.5/mill-bsp-worker_2.13-0.11.5.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/ch/epfl/scala/bsp4j/2.1.0-M7/bsp4j-2.1.0-M7.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-sbt/test-interface/1.0/test-interface-1.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
+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/eclipse/lsp4j/org.eclipse.lsp4j.generator/0.20.1/org.eclipse.lsp4j.generator-0.20.1.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/eclipse/lsp4j/org.eclipse.lsp4j.jsonrpc/0.20.1/org.eclipse.lsp4j.jsonrpc-0.20.1.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-compiler/2.13.10/scala-compiler-2.13.10.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/org/eclipse/xtend/org.eclipse.xtend.lib/2.28.0/org.eclipse.xtend.lib-2.28.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/code/gson/gson/2.10.1/gson-2.10.1.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-reflect/2.13.10/scala-reflect-2.13.10.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.21.0/jline-3.21.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/net/java/dev/jna/jna/5.9.0/jna-5.9.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/eclipse/xtext/org.eclipse.xtext.xbase.lib/2.28.0/org.eclipse.xtext.xbase.lib-2.28.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/eclipse/xtend/org.eclipse.xtend.lib.macro/2.28.0/org.eclipse.xtend.lib.macro-2.28.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/guava/guava/30.1-jre/guava-30.1-jre.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/guava/failureaccess/1.0.1/failureaccess-1.0.1.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/guava/listenablefuture/9999.0-empty-to-avoid-conflict-with-guava/listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/org/checkerframework/checker-qual/3.5.0/checker-qual-3.5.0.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/errorprone/error_prone_annotations/2.3.4/error_prone_annotations-2.3.4.jar
+file:/Users/westtide/Library/Caches/Coursier/v1/https/repo1.maven.org/maven2/com/google/j2objc/j2objc-annotations/1.3/j2objc-annotations-1.3.jar
diff --git a/.bsp/mill-bsp.json b/.bsp/mill-bsp.json
@@ -0,0 +1 @@
+{"name":"mill-bsp","argv":["/Users/westtide/Developer/korn/mill","--bsp","--disable-ticker","--color","false","--jobs","1"],"millVersion":"0.11.5","bspVersion":"2.1.0-M7","languages":["scala","java"]}
diff --git a/.bsp/mill-bsp.stderr b/.bsp/mill-bsp.stderr
diff --git a/.idea/.DS_Store b/.idea/.DS_Store
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/bsp.xml b/.idea/bsp.xml
diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
diff --git a/.idea/libraries/BSP__0_11_5.xml b/.idea/libraries/BSP__0_11_5.xml
diff --git a/.idea/libraries/BSP__beaver_cc_0_9_11.xml b/.idea/libraries/BSP__beaver_cc_0_9_11.xml
diff --git a/.idea/libraries/BSP__beaver_rt_0_9_11.xml b/.idea/libraries/BSP__beaver_rt_0_9_11.xml
diff --git a/.idea/libraries/BSP__java_diff_utils_4_12.xml b/.idea/libraries/BSP__java_diff_utils_4_12.xml
diff --git a/.idea/libraries/BSP__jflex_1_7_0.xml b/.idea/libraries/BSP__jflex_1_7_0.xml
diff --git a/.idea/libraries/BSP__jline_3_22_0.xml b/.idea/libraries/BSP__jline_3_22_0.xml
diff --git a/.idea/libraries/BSP__jna_5_13_0.xml b/.idea/libraries/BSP__jna_5_13_0.xml
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
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
diff --git a/.idea/libraries/BSP__scala_compiler_2_13_12.xml b/.idea/libraries/BSP__scala_compiler_2_13_12.xml
diff --git a/.idea/libraries/BSP__scala_library_2_13_12.xml b/.idea/libraries/BSP__scala_library_2_13_12.xml
diff --git a/.idea/libraries/BSP__scala_reflect_2_13_12.xml b/.idea/libraries/BSP__scala_reflect_2_13_12.xml
diff --git a/.idea/libraries/BSP__sourcecode_2_13_0_3_0.xml b/.idea/libraries/BSP__sourcecode_2_13_0_3_0.xml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/modules/korn-root.iml b/.idea/modules/korn-root.iml
diff --git a/.idea/modules/korn.iml b/.idea/modules/korn.iml
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"name":"mill-bsp","argv":["/Users/westtide/Developer/korn/mill","--bsp","--disable-ticker","--color","false","--jobs","1"],"millVersion":"0.11.5","bspVersion":"2.1.0-M7","languages":["scala","java"]}