| route-pattern | /:user_id/:repository/commits(/*name) |
| route-controller | commits |
| route-action | show |
| fetch-nonce | v2:2f21296d-76d0-1429-7b27-1be21d84b2d9 |
| current-catalog-service-hash | f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb |
| request-id | 9776:F8982:2D36BA:3C3DA7:6A52EB04 |
| html-safe-nonce | fa3710c9156e7e6ec07e2c247ece59853905a61e578cc2984178debe8ff620f1 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5Nzc2OkY4OTgyOjJEMzZCQTozQzNEQTc6NkE1MkVCMDQiLCJ2aXNpdG9yX2lkIjoiNzk1NjkwNDg0ODY5OTYxNjAwNCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 7db1291056ca9be60905bc401b57e2842d597f7b4f411e51df20c42592027ad3 |
| hovercard-subject-tag | repository:31969073 |
| 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/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k |
| twitter:image | https://opengraph.githubassets.com/739a66b75862a033e3770bfe61c7bc43537376df52b583aee0247c23b83b7645/parasgithub/java-semantics |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/739a66b75862a033e3770bfe61c7bc43537376df52b583aee0247c23b83b7645/parasgithub/java-semantics |
| og:image:alt | The semantics of Java in K. Contribute to parasgithub/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/parasgithub/java-semantics git https://github.com/parasgithub/java-semantics.git |
| octolytics-dimension-user_id | 8584719 |
| octolytics-dimension-user_login | parasgithub |
| octolytics-dimension-repository_id | 31969073 |
| octolytics-dimension-repository_nwo | parasgithub/java-semantics |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | true |
| octolytics-dimension-repository_parent_id | 11711471 |
| octolytics-dimension-repository_parent_nwo | kframework/java-semantics |
| 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/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k#start-of-content |
|
| https://github.com/ |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fparasgithub%2Fjava-semantics%2Fcommits%2FJavaBackend%2Fsrc%2Fexec%2Fsyntax-conversions.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%2Fparasgithub%2Fjava-semantics%2Fcommits%2FJavaBackend%2Fsrc%2Fexec%2Fsyntax-conversions.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=parasgithub%2Fjava-semantics |
| Reload | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k |
| Reload | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k |
| Reload | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k |
|
parasgithub
| https://github.com/parasgithub |
| java-semantics | https://github.com/parasgithub/java-semantics |
| kframework/java-semantics | https://github.com/kframework/java-semantics |
|
Notifications
| https://github.com/login?return_to=%2Fparasgithub%2Fjava-semantics |
|
Fork
0
| https://github.com/login?return_to=%2Fparasgithub%2Fjava-semantics |
|
Star
0
| https://github.com/login?return_to=%2Fparasgithub%2Fjava-semantics |
|
Code
| https://github.com/parasgithub/java-semantics/tree/JavaBackend |
|
Pull requests
0
| https://github.com/parasgithub/java-semantics/pulls |
|
Actions
| https://github.com/parasgithub/java-semantics/actions |
|
Projects
| https://github.com/parasgithub/java-semantics/projects |
|
Wiki
| https://github.com/parasgithub/java-semantics/wiki |
|
Security and quality
0
| https://github.com/parasgithub/java-semantics/security |
|
Insights
| https://github.com/parasgithub/java-semantics/pulse |
|
Code
| https://github.com/parasgithub/java-semantics/tree/JavaBackend |
|
Pull requests
| https://github.com/parasgithub/java-semantics/pulls |
|
Actions
| https://github.com/parasgithub/java-semantics/actions |
|
Projects
| https://github.com/parasgithub/java-semantics/projects |
|
Wiki
| https://github.com/parasgithub/java-semantics/wiki |
|
Security and quality
| https://github.com/parasgithub/java-semantics/security |
|
Insights
| https://github.com/parasgithub/java-semantics/pulse |
| java-semantics | https://github.com/parasgithub/java-semantics/commits |
| src | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src |
| exec | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec |
| syntax-conversions.k | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec/syntax-conversions.k |
| JavaBackend | https://github.com/parasgithub/java-semantics/tree/JavaBackend |
| change dot to specific empties and other changes | https://github.com/parasgithub/java-semantics/commit/c4118307bf9d747e54b5e74e20bf86a6404322d3 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| c411830 | https://github.com/parasgithub/java-semantics/commit/c4118307bf9d747e54b5e74e20bf86a6404322d3 |
| https://github.com/parasgithub/java-semantics/blob/c4118307bf9d747e54b5e74e20bf86a6404322d3/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/c4118307bf9d747e54b5e74e20bf86a6404322d3 |
| Map syntax and other changes | https://github.com/parasgithub/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| eff614c | https://github.com/parasgithub/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c |
| https://github.com/parasgithub/java-semantics/blob/eff614c13d3734dc47453894587459dae339350c/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/eff614c13d3734dc47453894587459dae339350c |
| break circulate imports (trial) | https://github.com/parasgithub/java-semantics/commit/e717a35100aa24a2d0197f7e5282b4c200ee471a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| e717a35 | https://github.com/parasgithub/java-semantics/commit/e717a35100aa24a2d0197f7e5282b4c200ee471a |
| https://github.com/parasgithub/java-semantics/blob/e717a35100aa24a2d0197f7e5282b4c200ee471a/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/e717a35100aa24a2d0197f7e5282b4c200ee471a |
| change Block ::= { K } to { BlockStmList } | https://github.com/parasgithub/java-semantics/commit/d62aa6322ff97e90669084fc946aded1f0dbc0e6 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| d62aa63 | https://github.com/parasgithub/java-semantics/commit/d62aa6322ff97e90669084fc946aded1f0dbc0e6 |
| https://github.com/parasgithub/java-semantics/blob/d62aa6322ff97e90669084fc946aded1f0dbc0e6/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/d62aa6322ff97e90669084fc946aded1f0dbc0e6 |
| delete syntax KLabel definitions since they are already included as klabel attribute | https://github.com/parasgithub/java-semantics/commit/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| b8a666d | https://github.com/parasgithub/java-semantics/commit/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd |
| https://github.com/parasgithub/java-semantics/blob/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd |
| update class-syntax.sdf | https://github.com/parasgithub/java-semantics/commit/bfbe79912c9ee40f749f37080627d6a4c13ef421 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| bfbe799 | https://github.com/parasgithub/java-semantics/commit/bfbe79912c9ee40f749f37080627d6a4c13ef421 |
| https://github.com/parasgithub/java-semantics/blob/bfbe79912c9ee40f749f37080627d6a4c13ef421/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/bfbe79912c9ee40f749f37080627d6a4c13ef421 |
| some movements of code, especially moved 6 lists to list-syntax.k | https://github.com/parasgithub/java-semantics/commit/c52fbd9c2133411e59de384092ab2a2e2b2a84b6 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| c52fbd9 | https://github.com/parasgithub/java-semantics/commit/c52fbd9c2133411e59de384092ab2a2e2b2a84b6 |
| https://github.com/parasgithub/java-semantics/blob/c52fbd9c2133411e59de384092ab2a2e2b2a84b6/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/c52fbd9c2133411e59de384092ab2a2e2b2a84b6 |
| MORE MACROS, polish LocalVarDec syntax | https://github.com/parasgithub/java-semantics/commit/a95a9c7112846d3b804469072b44a07719ea59ad |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| a95a9c7 | https://github.com/parasgithub/java-semantics/commit/a95a9c7112846d3b804469072b44a07719ea59ad |
| https://github.com/parasgithub/java-semantics/blob/a95a9c7112846d3b804469072b44a07719ea59ad/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/a95a9c7112846d3b804469072b44a07719ea59ad |
| semantic changes for review | https://github.com/parasgithub/java-semantics/commit/dc5d649cb846b6c66d0c4daea945118209951e3a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| dc5d649 | https://github.com/parasgithub/java-semantics/commit/dc5d649cb846b6c66d0c4daea945118209951e3a |
| https://github.com/parasgithub/java-semantics/blob/dc5d649cb846b6c66d0c4daea945118209951e3a/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/dc5d649cb846b6c66d0c4daea945118209951e3a |
| trying out jenkins | https://github.com/parasgithub/java-semantics/commit/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 934f277 | https://github.com/parasgithub/java-semantics/commit/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| https://github.com/parasgithub/java-semantics/blob/934f277978955d78f4d0cca9f7f91b0d7ca797aa/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/934f277978955d78f4d0cca9f7f91b0d7ca797aa |
| Revert "debug and synchronised stmt" | https://github.com/parasgithub/java-semantics/commit/ffe09716469f45c15151a9a920b6e8b109072325 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| ffe0971 | https://github.com/parasgithub/java-semantics/commit/ffe09716469f45c15151a9a920b6e8b109072325 |
| https://github.com/parasgithub/java-semantics/blob/ffe09716469f45c15151a9a920b6e8b109072325/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/ffe09716469f45c15151a9a920b6e8b109072325 |
| debug and synchronised stmt | https://github.com/parasgithub/java-semantics/commit/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 0b432e8 | https://github.com/parasgithub/java-semantics/commit/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| https://github.com/parasgithub/java-semantics/blob/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/0b432e89d2ee95692b8e00ca4ef81a97d41ae40f |
| revert wrong merge | https://github.com/parasgithub/java-semantics/commit/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| b24bb6c | https://github.com/parasgithub/java-semantics/commit/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| https://github.com/parasgithub/java-semantics/blob/b24bb6cd83d0cd2c2821597ff3978e3e326910c0/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/b24bb6cd83d0cd2c2821597ff3978e3e326910c0 |
| debug purpose | https://github.com/parasgithub/java-semantics/commit/4f8398b741c683c425795d86d6b5a6c018089eef |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 4f8398b | https://github.com/parasgithub/java-semantics/commit/4f8398b741c683c425795d86d6b5a6c018089eef |
| https://github.com/parasgithub/java-semantics/blob/4f8398b741c683c425795d86d6b5a6c018089eef/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/4f8398b741c683c425795d86d6b5a6c018089eef |
| switch completed, have 'Block back, to be refined in the future | https://github.com/parasgithub/java-semantics/commit/7194db33b16067354f02578318d716b8b0a0c614 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 7194db3 | https://github.com/parasgithub/java-semantics/commit/7194db33b16067354f02578318d716b8b0a0c614 |
| https://github.com/parasgithub/java-semantics/blob/7194db33b16067354f02578318d716b8b0a0c614/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/7194db33b16067354f02578318d716b8b0a0c614 |
| trial : lab workstation | https://github.com/parasgithub/java-semantics/commit/5477dce3a30ca995da235af6bb6d1650be4f528e |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 5477dce | https://github.com/parasgithub/java-semantics/commit/5477dce3a30ca995da235af6bb6d1650be4f528e |
| https://github.com/parasgithub/java-semantics/blob/5477dce3a30ca995da235af6bb6d1650be4f528e/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/5477dce3a30ca995da235af6bb6d1650be4f528e |
| Migrating to unified-builtin2: | https://github.com/parasgithub/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 8b91c50 | https://github.com/parasgithub/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a |
| https://github.com/parasgithub/java-semantics/blob/8b91c506e477472a183da1baf7f3c4da6124025a/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/8b91c506e477472a183da1baf7f3c4da6124025a |
| concrete syntax of if stmt updated | https://github.com/parasgithub/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| 8f904cc | https://github.com/parasgithub/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| https://github.com/parasgithub/java-semantics/blob/8f904cc02fa5d0044cb056c140c0f7081658e0bd/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/8f904cc02fa5d0044cb056c140c0f7081658e0bd |
| update expressions, except compoundAssign | https://github.com/parasgithub/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763 |
| e82c2d2 | https://github.com/parasgithub/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763 |
| https://github.com/parasgithub/java-semantics/blob/e82c2d283156e067d7241c9ed12875d2e3352763/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/e82c2d283156e067d7241c9ed12875d2e3352763 |
| #KJ-133 Convert module NEW-INSTANCE to syntactic form. Bugfix. | https://github.com/parasgithub/java-semantics/commit/7c08a2de8168ff9d80032c2b15e3f6fd97d5c473 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 7c08a2d | https://github.com/parasgithub/java-semantics/commit/7c08a2de8168ff9d80032c2b15e3f6fd97d5c473 |
| https://github.com/parasgithub/java-semantics/blob/7c08a2de8168ff9d80032c2b15e3f6fd97d5c473/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/7c08a2de8168ff9d80032c2b15e3f6fd97d5c473 |
| #KJ-133 Convert module NEW-INSTANCE to syntactic form. Implemented. Also eliminated rule variable sorts as much as possible. | https://github.com/parasgithub/java-semantics/commit/116b804ea6733d36fc33b9357dcfd1fd6af7db61 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 116b804 | https://github.com/parasgithub/java-semantics/commit/116b804ea6733d36fc33b9357dcfd1fd6af7db61 |
| https://github.com/parasgithub/java-semantics/blob/116b804ea6733d36fc33b9357dcfd1fd6af7db61/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/116b804ea6733d36fc33b9357dcfd1fd6af7db61 |
| #KJ-120 Rename the sort Classes to ClassTypes | https://github.com/parasgithub/java-semantics/commit/1230f5ec18c126dfb54fff59171c4166fc58f884 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 1230f5e | https://github.com/parasgithub/java-semantics/commit/1230f5ec18c126dfb54fff59171c4166fc58f884 |
| https://github.com/parasgithub/java-semantics/blob/1230f5ec18c126dfb54fff59171c4166fc58f884/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/1230f5ec18c126dfb54fff59171c4166fc58f884 |
| KJ-117 Document the usage of new terms - Exps, TypedVals, etc. | https://github.com/parasgithub/java-semantics/commit/ac4fac112d1a57799ee109a15dca9304d8779192 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| ac4fac1 | https://github.com/parasgithub/java-semantics/commit/ac4fac112d1a57799ee109a15dca9304d8779192 |
| https://github.com/parasgithub/java-semantics/blob/ac4fac112d1a57799ee109a15dca9304d8779192/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/ac4fac112d1a57799ee109a15dca9304d8779192 |
| #KJ-116 Use syntactic terms defined so far in the rest of semantics. Implemented. | https://github.com/parasgithub/java-semantics/commit/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| c812e4f | https://github.com/parasgithub/java-semantics/commit/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| https://github.com/parasgithub/java-semantics/blob/c812e4f5413045e9100cbb9be6573cd15a271c30/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/c812e4f5413045e9100cbb9be6573cd15a271c30 |
| #KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Implemented sort Params and statement return; Completed. | https://github.com/parasgithub/java-semantics/commit/e6b4f7ba11597b7be0ae947c3eb032e6fe488c4a |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| e6b4f7b | https://github.com/parasgithub/java-semantics/commit/e6b4f7ba11597b7be0ae947c3eb032e6fe488c4a |
| https://github.com/parasgithub/java-semantics/blob/e6b4f7ba11597b7be0ae947c3eb032e6fe488c4a/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/e6b4f7ba11597b7be0ae947c3eb032e6fe488c4a |
| #KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Implemented sort Classes. Replaced context rules for method call with strictness. | https://github.com/parasgithub/java-semantics/commit/bf8e5ca1147c62a1ec53925fe8c304e81fb6ec7e |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| bf8e5ca | https://github.com/parasgithub/java-semantics/commit/bf8e5ca1147c62a1ec53925fe8c304e81fb6ec7e |
| https://github.com/parasgithub/java-semantics/blob/bf8e5ca1147c62a1ec53925fe8c304e81fb6ec7e/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/bf8e5ca1147c62a1ec53925fe8c304e81fb6ec7e |
| #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/parasgithub/java-semantics/commit/ea516f67f2818b4beef82ae8768b4b6713e1bfe0 |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| ea516f6 | https://github.com/parasgithub/java-semantics/commit/ea516f67f2818b4beef82ae8768b4b6713e1bfe0 |
| https://github.com/parasgithub/java-semantics/blob/ea516f67f2818b4beef82ae8768b4b6713e1bfe0/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/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/parasgithub/java-semantics/commit/241624407c87858cf1730428737b262d44ca307c |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 2416244 | https://github.com/parasgithub/java-semantics/commit/241624407c87858cf1730428737b262d44ca307c |
| https://github.com/parasgithub/java-semantics/blob/241624407c87858cf1730428737b262d44ca307c/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/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/parasgithub/java-semantics/commit/0c540c0985a505fa6df9b50de822ef006e77f30e |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 0c540c0 | https://github.com/parasgithub/java-semantics/commit/0c540c0985a505fa6df9b50de822ef006e77f30e |
| https://github.com/parasgithub/java-semantics/blob/0c540c0985a505fa6df9b50de822ef006e77f30e/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/0c540c0985a505fa6df9b50de822ef006e77f30e |
| #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/parasgithub/java-semantics/commit/3a66724542bcde0d88c694ea538137774a9b99bb |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 3a66724 | https://github.com/parasgithub/java-semantics/commit/3a66724542bcde0d88c694ea538137774a9b99bb |
| https://github.com/parasgithub/java-semantics/blob/3a66724542bcde0d88c694ea538137774a9b99bb/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/3a66724542bcde0d88c694ea538137774a9b99bb |
| #KJ-99 Rewrite the rules to syntactic form (method invocation). | https://github.com/parasgithub/java-semantics/commit/6e54e54df9249b672be1ba959db4fa132ef2672c |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 6e54e54 | https://github.com/parasgithub/java-semantics/commit/6e54e54df9249b672be1ba959db4fa132ef2672c |
| https://github.com/parasgithub/java-semantics/blob/6e54e54df9249b672be1ba959db4fa132ef2672c/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/6e54e54df9249b672be1ba959db4fa132ef2672c |
| #KJ-99 Rewrite the rules to syntactic form (method invocation). Rewritten method invocation from AST to syntactic form, as well as method parameter. Only touched execution phase, because at elabora… | https://github.com/parasgithub/java-semantics/commit/10e7994327cb1194da2b0f1053ce9e7b3e42b66d |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| 10e7994 | https://github.com/parasgithub/java-semantics/commit/10e7994327cb1194da2b0f1053ce9e7b3e42b66d |
| https://github.com/parasgithub/java-semantics/blob/10e7994327cb1194da2b0f1053ce9e7b3e42b66d/src/exec/syntax-conversions.k |
| https://github.com/parasgithub/java-semantics/tree/10e7994327cb1194da2b0f1053ce9e7b3e42b66d |
|
| 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 |