could not find sorts

[20harshita]

kjkompile.sh

Preprocessing semantics: [Error] Compiler: Could not find sorts: [SwitchLabel] Source(/home/harshita/java-semantics/src/./prep/../common/list-syntax.k) Location(36,38,36,95)

Execution semantics: [Error] Critical: Could not find file: builtins/model-checker.k Lookup directories:[./exec, /home/harshita/new/k/lib/java/../../include/builtin] Source(/home/harshita/java-semantics/src/./exec/ltl-support.k) Location(1,1,1,34) still producing error

[daejunpark]

@20harshita which K version are you using? @laurayuwen could you let him know which version is working for java semantics?

[laurayuwen]

Could you try this? https://github.com/kframework/k/tree/javaCompatible

[20harshita]

I M trying..will rply u the result. On 19 Jan 2016 04:27, "laurayuwen" [email protected] wrote:

Could you try this? https://github.com/kframework/k/tree/javaCompatible

— Reply to this email directly or view it on GitHub.

[20harshita]

in this screenshot i downloaded TAR.GZ file.

On Tue, Jan 19, 2016 at 1:20 AM, Daejun Park [email protected] wrote:

@20harshita https://github.com/20harshita which K version are you using? @laurayuwen https://github.com/laurayuwen could you let him know which version is working for java semantics?

— Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/2079#issuecomment-172633579.

[20harshita]

after runing command kjkompile.sh..will processing semantics take more time to process?? due to this my system get hanged..shall i have to run it on server??

On Tue, Jan 19, 2016 at 6:49 PM, HARSHITA GOSWAMI <[email protected]

wrote:

I M trying..will rply u the result. On 19 Jan 2016 04:27, "laurayuwen" [email protected] wrote:

Could you try this? https://github.com/kframework/k/tree/javaCompatible

— Reply to this email directly or view it on GitHub.

[laurayuwen]

Yes, it can take half an hour or more. If your system get hanged, I am afraid so.

On 19 January 2016 at 08:41, 20harshita [email protected] wrote:

after runing command kjkompile.sh..will processing semantics take more time to process?? due to this my system get hanged..shall i have to run it on server??

On Tue, Jan 19, 2016 at 6:49 PM, HARSHITA GOSWAMI < [email protected]

wrote:

I M trying..will rply u the result. On 19 Jan 2016 04:27, "laurayuwen" [email protected] wrote:

Could you try this? https://github.com/kframework/k/tree/javaCompatible

— Reply to this email directly or view it on GitHub.

— Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/2079#issuecomment-172872892.

[20harshita]

Can you provide me how to get input from user in K in imp language?