Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cannot compile and build. Pre-built Jar file should be available. #4

Open
PowerUser1234 opened this issue Apr 16, 2018 · 3 comments
Open

Comments

@PowerUser1234
Copy link

There should be an active link to a pre-built .jar file for SymJava available.

@yuemingl
Copy link
Owner

Thanks. I uploaded a jar in the release.

@yuemingl
Copy link
Owner

You can fine the jar file in this page https://github.com/yuemingl/SymJava/releases

@xinxilwl
Copy link

xinxilwl commented Nov 26, 2021

Hi, the repo contains the jar file only supported by Java7, could you offer a Java8 supported Version?
Actually, when I use the jar, I get the Exception below:

Exception in thread "main" java.lang.NoClassDefFoundError: com/sun/org/apache/bcel/internal/generic/InstructionConstants
	at symjava.symbolic.utils.BytecodeUtils.genClassBytecodeFunc(BytecodeUtils.java:274)
	at symjava.symbolic.Func.toBytecodeFunc(Func.java:75)
	at symjava.symbolic.Func.toBytecodeFunc(Func.java:60)

My Java code is below:

public static void main(String[] args) {

        System.out.println(x & y);
        System.out.println(x | y);
        System.out.println(x ^ y);
        System.out.println(~x);

        System.out.println(Gt.apply(x, y) | Gt.apply(x, z));
        System.out.println(Ge.apply(x, y) | Ge.apply(x, z));
        System.out.println(Le.apply(x, y) | Le.apply(x, z));
        System.out.println(Lt.apply(x, y) | Lt.apply(x, z));
        System.out.println(Neq.apply(x, y) | Neq.apply(x, z));

	Func f1 = new Func("fun1", Gt.apply(x, y) ^ Gt.apply(x, z));

        BytecodeFunc ff1 = f1.toBytecodeFunc(); // The line raises an exception mentioned above.
        System.out.println(ff1.apply(5,3));
    }

While I find out the Exception from BytecodeUtils.class file, I get a notice, decompiled .class file bytecode version:51.0(java 7), my Java compiler is Java8. So the jar maybe compiled by Java7. And it doesn't work in my project.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants