| route-pattern | /:user_id/:repository/commits(/*name) |
| route-controller | commits |
| route-action | show |
| fetch-nonce | v2:76f60e41-5729-7d53-cbd7-00c50b9b91eb |
| current-catalog-service-hash | f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb |
| request-id | D774:28893D:19AAA5:235D26:6A533012 |
| html-safe-nonce | b4eba5c84be19bb9b57e0a0911f87f47c3f21970695050e1d552222e456ba2be |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJENzc0OjI4ODkzRDoxOUFBQTU6MjM1RDI2OjZBNTMzMDEyIiwidmlzaXRvcl9pZCI6IjQ1NDQyMjAyMjcyNDkwNTc4MTAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | 2e04b0796f6818117598d457da2167879c059c8335025cd14e8a72cccb1f2e2d |
| hovercard-subject-tag | repository:11711471 |
| github-keyboard-shortcuts | repository,commit-list,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///commits/show |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
| twitter:image | https://opengraph.githubassets.com/e6cd5457d7d83725b82ae3f6bb9be29cdfebad73ea9e15ea02d786f9e97e11a1/kframework/java-semantics |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/e6cd5457d7d83725b82ae3f6bb9be29cdfebad73ea9e15ea02d786f9e97e11a1/kframework/java-semantics |
| og:image:alt | The semantics of Java in K. Contribute to kframework/java-semantics development by creating an account on GitHub. |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | b9a586c06a05a7a86fc7e3f4dbd03e42f6869085879aa184aa6369456dbd50fb |
| turbo-cache-control | no-cache |
| go-import | github.com/kframework/java-semantics git https://github.com/kframework/java-semantics.git |
| octolytics-dimension-user_id | 5104335 |
| octolytics-dimension-user_login | kframework |
| octolytics-dimension-repository_id | 11711471 |
| octolytics-dimension-repository_nwo | kframework/java-semantics |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 11711471 |
| octolytics-dimension-repository_network_root_nwo | kframework/java-semantics |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 07a982c1d40157c619b364352b704c3ce66bb332 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k#start-of-content |
|
| https://github.com/ |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fkframework%2Fjava-semantics%2Fcommits%2FJavaBackend%2Fsrc%2Fcommon%2Fcore-classes.k |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub Copilot appDirect agents from issue to merge | https://github.com/features/ai/github-app |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| View all resources | https://github.com/resources |
| GitHub SponsorsFund open source developers | https://github.com/open-source/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/open-source/accelerator |
| GitHub Stars | https://stars.github.com |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/enterprise/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fkframework%2Fjava-semantics%2Fcommits%2FJavaBackend%2Fsrc%2Fcommon%2Fcore-classes.k |
|
Sign up
| https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fcommits%2Fshow&source=header-repo&source_repo=kframework%2Fjava-semantics |
| Reload | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
| Reload | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
| Reload | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
| Please reload this page | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
|
kframework
| https://github.com/kframework |
| java-semantics | https://github.com/kframework/java-semantics |
|
Notifications
| https://github.com/login?return_to=%2Fkframework%2Fjava-semantics |
|
Fork
9
| https://github.com/login?return_to=%2Fkframework%2Fjava-semantics |
|
Star
20
| https://github.com/login?return_to=%2Fkframework%2Fjava-semantics |
|
Code
| https://github.com/kframework/java-semantics/tree/JavaBackend |
|
Issues
11
| https://github.com/kframework/java-semantics/issues |
|
Pull requests
0
| https://github.com/kframework/java-semantics/pulls |
|
Projects
| https://github.com/kframework/java-semantics/projects |
|
Wiki
| https://github.com/kframework/java-semantics/wiki |
|
Security and quality
0
| https://github.com/kframework/java-semantics/security |
|
Insights
| https://github.com/kframework/java-semantics/pulse |
|
Code
| https://github.com/kframework/java-semantics/tree/JavaBackend |
|
Issues
| https://github.com/kframework/java-semantics/issues |
|
Pull requests
| https://github.com/kframework/java-semantics/pulls |
|
Projects
| https://github.com/kframework/java-semantics/projects |
|
Wiki
| https://github.com/kframework/java-semantics/wiki |
|
Security and quality
| https://github.com/kframework/java-semantics/security |
|
Insights
| https://github.com/kframework/java-semantics/pulse |
| java-semantics | https://github.com/kframework/java-semantics/commits |
| src | https://github.com/kframework/java-semantics/commits/JavaBackend/src |
| common | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common |
| core-classes.k | https://github.com/kframework/java-semantics/commits/JavaBackend/src/common/core-classes.k |
| JavaBackend | https://github.com/kframework/java-semantics/tree/JavaBackend |
| java-exec.k kompiles | https://github.com/kframework/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| e863d40 | https://github.com/kframework/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| https://github.com/kframework/java-semantics/blob/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| Map syntax and other changes | https://github.com/kframework/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| eff614c | https://github.com/kframework/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c |
| https://github.com/kframework/java-semantics/blob/eff614c13d3734dc47453894587459dae339350c/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/eff614c13d3734dc47453894587459dae339350c |
| fix parsing ambiguity for stmt and exp | https://github.com/kframework/java-semantics/commit/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| 3d11b70 | https://github.com/kframework/java-semantics/commit/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| https://github.com/kframework/java-semantics/blob/3d11b703621446954bc9378ecd3d6b012a9b7a3c/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| change K in ForStmt syntax to sdf standard, and some minor looking changes | https://github.com/kframework/java-semantics/commit/efc41efae496607f48db463326bad8c29ea05bbc |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| efc41ef | https://github.com/kframework/java-semantics/commit/efc41efae496607f48db463326bad8c29ea05bbc |
| https://github.com/kframework/java-semantics/blob/efc41efae496607f48db463326bad8c29ea05bbc/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/efc41efae496607f48db463326bad8c29ea05bbc |
| change the left hand side of assignment expressions to LHS | https://github.com/kframework/java-semantics/commit/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| 2131149 | https://github.com/kframework/java-semantics/commit/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| https://github.com/kframework/java-semantics/blob/2131149c8ec3581466bd1f5b49d4b39055d7057a/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| semantic changes for review | https://github.com/kframework/java-semantics/commit/dc5d649cb846b6c66d0c4daea945118209951e3a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| dc5d649 | https://github.com/kframework/java-semantics/commit/dc5d649cb846b6c66d0c4daea945118209951e3a |
| https://github.com/kframework/java-semantics/blob/dc5d649cb846b6c66d0c4daea945118209951e3a/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/dc5d649cb846b6c66d0c4daea945118209951e3a |
| trying out jenkins | https://github.com/kframework/java-semantics/commit/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| 934f277 | https://github.com/kframework/java-semantics/commit/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| https://github.com/kframework/java-semantics/blob/934f277978955d78f4d0cca9f7f91b0d7ca797aa/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| Revert "debug and synchronised stmt" | https://github.com/kframework/java-semantics/commit/ffe09716469f45c15151a9a920b6e8b109072325 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| ffe0971 | https://github.com/kframework/java-semantics/commit/ffe09716469f45c15151a9a920b6e8b109072325 |
| https://github.com/kframework/java-semantics/blob/ffe09716469f45c15151a9a920b6e8b109072325/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/ffe09716469f45c15151a9a920b6e8b109072325 |
| debug and synchronised stmt | https://github.com/kframework/java-semantics/commit/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| 0b432e8 | https://github.com/kframework/java-semantics/commit/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| https://github.com/kframework/java-semantics/blob/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| revert wrong merge | https://github.com/kframework/java-semantics/commit/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| b24bb6c | https://github.com/kframework/java-semantics/commit/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| https://github.com/kframework/java-semantics/blob/b24bb6cd83d0cd2c2821597ff3978e3e326910c0/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| debug purpose | https://github.com/kframework/java-semantics/commit/4f8398b741c683c425795d86d6b5a6c018089eef |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/kframework/java-semantics/commits?author=laurayuwen |
| 4f8398b | https://github.com/kframework/java-semantics/commit/4f8398b741c683c425795d86d6b5a6c018089eef |
| https://github.com/kframework/java-semantics/blob/4f8398b741c683c425795d86d6b5a6c018089eef/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/4f8398b741c683c425795d86d6b5a6c018089eef |
| Migrating to unified-builtin2: | https://github.com/kframework/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 8b91c50 | https://github.com/kframework/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a |
| https://github.com/kframework/java-semantics/blob/8b91c506e477472a183da1baf7f3c4da6124025a/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/8b91c506e477472a183da1baf7f3c4da6124025a |
| concrete syntax of if stmt updated | https://github.com/kframework/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| 8f904cc | https://github.com/kframework/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| https://github.com/kframework/java-semantics/blob/8f904cc02fa5d0044cb056c140c0f7081658e0bd/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| expressions updated | https://github.com/kframework/java-semantics/commit/df97c5f5bc51f89c1064c072af65988d77986c3c |
| df97c5f | https://github.com/kframework/java-semantics/commit/df97c5f5bc51f89c1064c072af65988d77986c3c |
| https://github.com/kframework/java-semantics/blob/df97c5f5bc51f89c1064c072af65988d77986c3c/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/df97c5f5bc51f89c1064c072af65988d77986c3c |
| unknown try and throw error solved | https://github.com/kframework/java-semantics/commit/5fe1a45ae7cf399671ad7a39570ba1ce1a297d6b |
| 5fe1a45 | https://github.com/kframework/java-semantics/commit/5fe1a45ae7cf399671ad7a39570ba1ce1a297d6b |
| https://github.com/kframework/java-semantics/blob/5fe1a45ae7cf399671ad7a39570ba1ce1a297d6b/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/5fe1a45ae7cf399671ad7a39570ba1ce1a297d6b |
| unknown try and throw error | https://github.com/kframework/java-semantics/commit/33fd3761ab2e7c1d0453d33998a0ff8296266484 |
| 33fd376 | https://github.com/kframework/java-semantics/commit/33fd3761ab2e7c1d0453d33998a0ff8296266484 |
| https://github.com/kframework/java-semantics/blob/33fd3761ab2e7c1d0453d33998a0ff8296266484/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/33fd3761ab2e7c1d0453d33998a0ff8296266484 |
| update expressions, except compoundAssign | https://github.com/kframework/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763 |
| e82c2d2 | https://github.com/kframework/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763 |
| https://github.com/kframework/java-semantics/blob/e82c2d283156e067d7241c9ed12875d2e3352763/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/e82c2d283156e067d7241c9ed12875d2e3352763 |
| #KJ-220 Define the syntax for some construct, see if it works. Defined the syntax for 'Plus. | https://github.com/kframework/java-semantics/commit/a262eac1fe6c2d5825523c3e52bab725fa370cf9 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| a262eac | https://github.com/kframework/java-semantics/commit/a262eac1fe6c2d5825523c3e52bab725fa370cf9 |
| https://github.com/kframework/java-semantics/blob/a262eac1fe6c2d5825523c3e52bab725fa370cf9/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/a262eac1fe6c2d5825523c3e52bab725fa370cf9 |
| #KJ-116 Use syntactic terms defined so far in the rest of semantics. Implemented. | https://github.com/kframework/java-semantics/commit/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| c812e4f | https://github.com/kframework/java-semantics/commit/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| https://github.com/kframework/java-semantics/blob/c812e4f5413045e9100cbb9be6573cd15a271c30/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| #KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Implemented sorts Exp, Exps, TypedVals. Integrated them into semantics of method call. | https://github.com/kframework/java-semantics/commit/ea516f67f2818b4beef82ae8768b4b6713e1bfe0 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| ea516f6 | https://github.com/kframework/java-semantics/commit/ea516f67f2818b4beef82ae8768b4b6713e1bfe0 |
| https://github.com/kframework/java-semantics/blob/ea516f67f2818b4beef82ae8768b4b6713e1bfe0/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/ea516f67f2818b4beef82ae8768b4b6713e1bfe0 |
| #KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Created the sort Exp and associated subsorts. | https://github.com/kframework/java-semantics/commit/241624407c87858cf1730428737b262d44ca307c |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 2416244 | https://github.com/kframework/java-semantics/commit/241624407c87858cf1730428737b262d44ca307c |
| https://github.com/kframework/java-semantics/blob/241624407c87858cf1730428737b262d44ca307c/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/241624407c87858cf1730428737b262d44ca307c |
| #KJ-112 Move editing changes from the report back into K code. Implemented everything except the last point. | https://github.com/kframework/java-semantics/commit/0c540c0985a505fa6df9b50de822ef006e77f30e |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 0c540c0 | https://github.com/kframework/java-semantics/commit/0c540c0985a505fa6df9b50de822ef006e77f30e |
| https://github.com/kframework/java-semantics/blob/0c540c0985a505fa6df9b50de822ef006e77f30e/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/0c540c0985a505fa6df9b50de822ef006e77f30e |
| #KJ-102 Write an introduction explaining required cells and conventions. Finished defining the conventions. Changes in K are mostly for consistency with the latex document. | https://github.com/kframework/java-semantics/commit/486ae9978b32684a3e2f1aecac18cf473b586a21 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 486ae99 | https://github.com/kframework/java-semantics/commit/486ae9978b32684a3e2f1aecac18cf473b586a21 |
| https://github.com/kframework/java-semantics/blob/486ae9978b32684a3e2f1aecac18cf473b586a21/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/486ae9978b32684a3e2f1aecac18cf473b586a21 |
| #KJ-99 Rewrite the rules to syntactic form (method invocation). Corrected an older problem that was exposed two commits ago. Side-effect of the fact that Id is no longer KResult. | https://github.com/kframework/java-semantics/commit/358a768582fbcb2f411e54f34944088db8d765f6 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 358a768 | https://github.com/kframework/java-semantics/commit/358a768582fbcb2f411e54f34944088db8d765f6 |
| https://github.com/kframework/java-semantics/blob/358a768582fbcb2f411e54f34944088db8d765f6/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/358a768582fbcb2f411e54f34944088db8d765f6 |
| #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. | https://github.com/kframework/java-semantics/commit/3a66724542bcde0d88c694ea538137774a9b99bb |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 3a66724 | https://github.com/kframework/java-semantics/commit/3a66724542bcde0d88c694ea538137774a9b99bb |
| https://github.com/kframework/java-semantics/blob/3a66724542bcde0d88c694ea538137774a9b99bb/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/3a66724542bcde0d88c694ea538137774a9b99bb |
| #KJ-92 Document java method invocation logic in the semantics. Updated rule variable names in isOverridden() | https://github.com/kframework/java-semantics/commit/7f8f33699df9bdd18b68cbdb92aa0f0928643c8e |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 7f8f336 | https://github.com/kframework/java-semantics/commit/7f8f33699df9bdd18b68cbdb92aa0f0928643c8e |
| https://github.com/kframework/java-semantics/blob/7f8f33699df9bdd18b68cbdb92aa0f0928643c8e/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/7f8f33699df9bdd18b68cbdb92aa0f0928643c8e |
| #KJ-92 Document java method invocation logic in the semantics. | https://github.com/kframework/java-semantics/commit/61abe14353be0cfb9f4f7df39df3e5750478e4ee |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 61abe14 | https://github.com/kframework/java-semantics/commit/61abe14353be0cfb9f4f7df39df3e5750478e4ee |
| https://github.com/kframework/java-semantics/blob/61abe14353be0cfb9f4f7df39df3e5750478e4ee/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/61abe14353be0cfb9f4f7df39df3e5750478e4ee |
| #KJ-88 Cleanup the execution logic of method invocation. Partially reverted to an older implementation, instead of lookupMethodRuntime we have lookupPackageMethod that is just for package mode. Thi… | https://github.com/kframework/java-semantics/commit/757c3ecfab12ec77a591ab0a5bde30a6a31354a8 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 757c3ec | https://github.com/kframework/java-semantics/commit/757c3ecfab12ec77a591ab0a5bde30a6a31354a8 |
| https://github.com/kframework/java-semantics/blob/757c3ecfab12ec77a591ab0a5bde30a6a31354a8/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/757c3ecfab12ec77a591ab0a5bde30a6a31354a8 |
| #KJ-88 Cleanup the execution logic of method invocation. Massive overhaul of method invocation logic, aimed to bring the semantics more in sync with JDK, and to simplify documentation. | https://github.com/kframework/java-semantics/commit/010eed0d39e96d6f12d44d2a093e176217e2cae7 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 010eed0 | https://github.com/kframework/java-semantics/commit/010eed0d39e96d6f12d44d2a093e176217e2cae7 |
| https://github.com/kframework/java-semantics/blob/010eed0d39e96d6f12d44d2a093e176217e2cae7/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/010eed0d39e96d6f12d44d2a093e176217e2cae7 |
| #KJ-88 Cleanup the execution logic of method invocation. Reduced the number of rules for lookupOverloadedMethods() by one. A lot of todo-s added. | https://github.com/kframework/java-semantics/commit/5843dcb5b3b88c56b2c75bd029de3c26b2e4020e |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 5843dcb | https://github.com/kframework/java-semantics/commit/5843dcb5b3b88c56b2c75bd029de3c26b2e4020e |
| https://github.com/kframework/java-semantics/blob/5843dcb5b3b88c56b2c75bd029de3c26b2e4020e/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/5843dcb5b3b88c56b2c75bd029de3c26b2e4020e |
| #KJ-80 6. Cleanup the dependencies between the two semantics. Cleaned up the configuration of the preprocessing semantics. | https://github.com/kframework/java-semantics/commit/c59cafa58728c489977bbaf87adb8e715023f11a |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| c59cafa | https://github.com/kframework/java-semantics/commit/c59cafa58728c489977bbaf87adb8e715023f11a |
| https://github.com/kframework/java-semantics/blob/c59cafa58728c489977bbaf87adb8e715023f11a/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/c59cafa58728c489977bbaf87adb8e715023f11a |
| #KJ-80 6. Cleanup the dependencies between the two semantics. Changed the elaborated form of 'QSuperMethod from an auxiliary construct to vanilla 'QSuperMethod. | https://github.com/kframework/java-semantics/commit/34dd5a38d0ab7872dc84faf9206e659a904a6d82 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 34dd5a3 | https://github.com/kframework/java-semantics/commit/34dd5a38d0ab7872dc84faf9206e659a904a6d82 |
| https://github.com/kframework/java-semantics/blob/34dd5a38d0ab7872dc84faf9206e659a904a6d82/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/34dd5a38d0ab7872dc84faf9206e659a904a6d82 |
| #KJ-80 6. Cleanup the dependencies between the two semantics. Improved elaboration of arrays. An elaborated array allocation is now 'NewArray instead of an auxiliary construct. | https://github.com/kframework/java-semantics/commit/cf02c26aafc8b23d968d6b04b9ec065861054e82 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| cf02c26 | https://github.com/kframework/java-semantics/commit/cf02c26aafc8b23d968d6b04b9ec065861054e82 |
| https://github.com/kframework/java-semantics/blob/cf02c26aafc8b23d968d6b04b9ec065861054e82/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/cf02c26aafc8b23d968d6b04b9ec065861054e82 |
| #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. | https://github.com/kframework/java-semantics/commit/8615f7aca294d8fff66bbb0c478aa7be803ecf96 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/kframework/java-semantics/commits?author=denis-bogdanas |
| 8615f7a | https://github.com/kframework/java-semantics/commit/8615f7aca294d8fff66bbb0c478aa7be803ecf96 |
| https://github.com/kframework/java-semantics/blob/8615f7aca294d8fff66bbb0c478aa7be803ecf96/src/common/core-classes.k |
| https://github.com/kframework/java-semantics/tree/8615f7aca294d8fff66bbb0c478aa7be803ecf96 |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |