Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion org.alloytools.alloy.application/bnd.bnd
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
-includeresource: \
src/main/resources
src/main/resources, \
src/main/java, \

-buildpath: \
lib/apple-osx-ui.jar;version=file,\
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ public static void main(String args[]) throws Exception {
A4Reporter rep = new A4Reporter();

boolean parse = true;
boolean toFile = false;
boolean toFile = true;

if (parse) {

Expand Down

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@

//----------------------------------------------------
// The following code was generated by CUP v0.11a czt01 beta
// Mon Feb 06 11:36:26 EST 2023
// Sun Mar 26 19:23:30 EDT 2023
//----------------------------------------------------

package ca.uwaterloo.watform.parser;
Expand Down Expand Up @@ -67,7 +67,7 @@
import ca.uwaterloo.watform.parser.DashValidation;

/** CUP v0.11a czt01 beta generated parser.
* @version Mon Feb 06 11:36:26 EST 2023
* @version Sun Mar 26 19:23:30 EDT 2023
*/
public class DashParser extends java_cup.runtime.lr_parser {

Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@

//----------------------------------------------------
// The following code was generated by CUP v0.11a czt01 beta
// Mon Feb 06 11:36:26 EST 2023
// Sun Mar 26 19:23:30 EDT 2023
//----------------------------------------------------

package ca.uwaterloo.watform.parser;
Expand Down
7 changes: 6 additions & 1 deletion org.alloytools.alloy.dashbuild/bnd.bnd
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Main-Class: ca.uwaterloo.watform.dash4whole.Dash
Main-Class: ca.uwaterloo.watform.dash4whole.RapidDash

-buildpath: \
org.alloytools.alloy.application,\
Expand All @@ -23,4 +23,9 @@ Main-Class: ca.uwaterloo.watform.dash4whole.Dash
@${repo;org.sat4j.core}, \
@${repo;org.sat4j.maxsat}, \
@${repo;org.sat4j.pb}, \
@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/velocity-engine-core-2.3.jar, \
@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/gson-2.8.2.jar, \
@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/commons-lang3-3.12.0.jar, \
@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/slf4j-api-1.7.32.jar, \
@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/slf4j-simple-1.7.32.jar, \
LICENSES