Skip to content

Commit 2a8f9b7

Browse files
GUIpspGUIpsp
authored
Merge pull request #154 from liquid-java/cleanup
Cleanup
2 parents 8e84dc2 + 45f3074 commit 2a8f9b7

File tree

14 files changed

+510
-179
lines changed

14 files changed

+510
-179
lines changed

‎.mvn/wrapper/maven-wrapper.properties‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
wrapperVersion=3.3.4
2+
distributionType=only-script
3+
distributionUrl=https://repo.maven.apache.org/maven2/org/apache/maven/apache-maven/3.9.11/apache-maven-3.9.11-bin.zip
4+
distributionSha256Sum=0d7125e8c91097b36edb990ea5934e6c68b4440eef4ea96510a0f6815e7eeadb

‎liquidjava-api/src/main/java/example/NumericExample.java‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎liquidjava-api/src/main/java/example/Simple.java‎

Lines changed: 0 additions & 19 deletions
This file was deleted.

‎liquidjava-api/src/main/java/example/ToSimple.java‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎liquidjava-api/src/main/java/liquidjava/Main.java‎

Lines changed: 0 additions & 30 deletions
This file was deleted.

‎liquidjava-api/src/main/java/liquidjava/infer/InducedRefinementsParser.java‎

Lines changed: 0 additions & 54 deletions
This file was deleted.

‎liquidjava-api/src/main/java/liquidjava/utils/Prettify.java‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎liquidjava-api/src/main/java/liquidjava/utils/Processor.java‎

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎liquidjava-verifier/lib/ModelCC.r2015.jar‎

-211 KB
Binary file not shown.

‎liquidjava-verifier/lib/antlr-4.7.1-complete.jar‎

-2.14 MB
Binary file not shown.

0 commit comments

Comments
 (0)