History for src/exec/java-exec.k - kframework/java-semantics

Commits on May 1, 2014

Commits on Apr 23, 2014

#KJ-80 6. Cleanup the dependencies between the two semantics. Grouped k files into 4 directories: common, prep, exec and full. Better cleanup of module dependencies.
denis-bogdanas
committed
8615f7a

Commits on Apr 22, 2014

Commits on Apr 19, 2014

#KJ-83 Create the skeleton for 3 semantic definitions: prep, exec and full. Implemented. kjkompile.sh compiles in parallel the three semantics.
denis-bogdanas
committed
be9d467

Loading

Navigation Menu

Uh oh!

Commits

Commits on Jan 29, 2015

delete labels-prep.k and labels-exec.k since all labels are defined

Commits on Jan 9, 2015

create separate file java-syntax.k and let it used by both java-exec.k and java-prep.k so that we don't have a JAVA-SYNTAX module in each

Commits on Jan 6, 2015

create literal-syntax.k

Commits on Dec 30, 2014

import list-macro to be only used by preprocessing (don't need these macros during exec, also, their [anywhere] attribute could bring damage to exec rules), and add macros to pass array test

Commits on Nov 16, 2014

semantic changes for review

Commits on Jul 29, 2014

concrete syntax of if stmt updated

Commits on Jul 15, 2014

#KJ-220 Define the syntax for some construct, see if it works. Defined the syntax for 'Plus.

Commits on May 29, 2014

#KJ-133 Convert module NEW-INSTANCE to syntactic form. Implemented. Also eliminated rule variable sorts as much as possible.

Commits on May 24, 2014

#KJ-128 Add support for LTL model checking. Completely overhauled LTL support module. Used a design pattern similar to heating/cooling but with pure functions that have configuration as an argument…

Commits on May 23, 2014

#KJ-128 Add support for LTL model checking. Basic support implemented. Also added option --ltlmc to kjrun.sh

Commits on May 3, 2014

#KJ-100 Automate the code filtering for latex document. The majority of the changes are due to elimination of require clause in all files except main definition files. Implemented.

Commits on May 1, 2014

#KJ-96 Separate module CLASSES into NEW-INSTANCE and some other. Implemented.

#KJ-96 Separate module CLASSES into NEW-INSTANCE and some other. Renamed classes.k into new-instance.k

#KJ-95 Produce a latex/pdf document from method invoke. Produced the first version of the pdf document (although some errors are reported).

Commits on Apr 23, 2014

#KJ-80 6. Cleanup the dependencies between the two semantics. Grouped k files into 4 directories: common, prep, exec and full. Better cleanup of module dependencies.

Commits on Apr 22, 2014

#KJ-79 6. Split configuration into two parts - one for each semantics. Eliminated a great deal of cells from execution configuration. Processed up to <classes> inclusively.

#KJ-80 7. Cleanup the dependencies between the two semantics. Eliminated the dependencies on preprocessing and elaboration modules from execution semantics. For this we had to create 3 labels modul…

Commits on Apr 19, 2014

#KJ-83 Create the skeleton for 3 semantic definitions: prep, exec and full. Implemented. kjkompile.sh compiles in parallel the three semantics.

Uh oh!

Breadcrumbs

User selector

Commit history

Commits on Jan 29, 2015

Commits on Jan 9, 2015

Commits on Jan 6, 2015

Commits on Dec 30, 2014

Commits on Nov 16, 2014

Commits on Jul 29, 2014

Commits on Jul 15, 2014

Commits on May 29, 2014

Commits on May 24, 2014

Commits on May 23, 2014

Commits on May 3, 2014

Commits on May 1, 2014

Commits on Apr 23, 2014

Commits on Apr 22, 2014

Commits on Apr 19, 2014