| route-pattern | /:user_id/:repository/commits(/*name) |
| route-controller | commits |
| route-action | show |
| fetch-nonce | v2:4817626b-72bd-54a3-c4f7-cef52dee43ee |
| current-catalog-service-hash | f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb |
| request-id | 89DC:28B0A3:2D62EC:3D699F:6A526F36 |
| html-safe-nonce | 77afb5d5ca35a245f443caa8b1fd8b5ceac56ccd8838060839c2667623e4a917 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4OURDOjI4QjBBMzoyRDYyRUM6M0Q2OTlGOjZBNTI2RjM2IiwidmlzaXRvcl9pZCI6IjI3MjExNDk3NTcwNjIwMTY4MjIiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | e9f8b489f88614913c7d1fde6b0829d18b15e5a364ffbb76737cc0477c473395 |
| 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 |
| 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#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 |
| 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 |
|
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 |
| Reload | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec |
| Reload | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec |
|
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 |
| JavaBackend | https://github.com/parasgithub/java-semantics/tree/JavaBackend |
| delete unused aux-function mapDiff, implement SetUnion aux function. | https://github.com/parasgithub/java-semantics/commit/ea4d2440c60da4bb6c10fe31c283d8b47eb32f20 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| ea4d244 | https://github.com/parasgithub/java-semantics/commit/ea4d2440c60da4bb6c10fe31c283d8b47eb32f20 |
| https://github.com/parasgithub/java-semantics/blob/ea4d2440c60da4bb6c10fe31c283d8b47eb32f20/src/exec |
| https://github.com/parasgithub/java-semantics/tree/ea4d2440c60da4bb6c10fe31c283d8b47eb32f20 |
| add a function removeMapItemsByValue and solve four rules about map pattern matching in api-threads.k | https://github.com/parasgithub/java-semantics/commit/33c5b13394594ad19a561dbb690f20eaa45cd5cd |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 33c5b13 | https://github.com/parasgithub/java-semantics/commit/33c5b13394594ad19a561dbb690f20eaa45cd5cd |
| https://github.com/parasgithub/java-semantics/blob/33c5b13394594ad19a561dbb690f20eaa45cd5cd/src/exec |
| https://github.com/parasgithub/java-semantics/tree/33c5b13394594ad19a561dbb690f20eaa45cd5cd |
| java-exec.k kompiles | https://github.com/parasgithub/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| e863d40 | https://github.com/parasgithub/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| https://github.com/parasgithub/java-semantics/blob/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8/src/exec |
| https://github.com/parasgithub/java-semantics/tree/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8 |
| 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 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/eff614c13d3734dc47453894587459dae339350c |
| Int2Float syntax change | https://github.com/parasgithub/java-semantics/commit/47a182e8538bfa66f432cddade984d0efd01fed0 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 47a182e | https://github.com/parasgithub/java-semantics/commit/47a182e8538bfa66f432cddade984d0efd01fed0 |
| https://github.com/parasgithub/java-semantics/blob/47a182e8538bfa66f432cddade984d0efd01fed0/src/exec |
| https://github.com/parasgithub/java-semantics/tree/47a182e8538bfa66f432cddade984d0efd01fed0 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/e717a35100aa24a2d0197f7e5282b4c200ee471a |
| K => KItem. | https://github.com/parasgithub/java-semantics/commit/d2526455ef544419d31ee301d9437215937ae54e |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| d252645 | https://github.com/parasgithub/java-semantics/commit/d2526455ef544419d31ee301d9437215937ae54e |
| https://github.com/parasgithub/java-semantics/blob/d2526455ef544419d31ee301d9437215937ae54e/src/exec |
| https://github.com/parasgithub/java-semantics/tree/d2526455ef544419d31ee301d9437215937ae54e |
| fix parsing ambiguity for stmt and exp | https://github.com/parasgithub/java-semantics/commit/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 3d11b70 | https://github.com/parasgithub/java-semantics/commit/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| https://github.com/parasgithub/java-semantics/blob/3d11b703621446954bc9378ecd3d6b012a9b7a3c/src/exec |
| https://github.com/parasgithub/java-semantics/tree/3d11b703621446954bc9378ecd3d6b012a9b7a3c |
| delete labels-prep.k and labels-exec.k since all labels are defined | https://github.com/parasgithub/java-semantics/commit/3a5405297e065ca3d1eef739de2f042b03f17262 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 3a54052 | https://github.com/parasgithub/java-semantics/commit/3a5405297e065ca3d1eef739de2f042b03f17262 |
| https://github.com/parasgithub/java-semantics/blob/3a5405297e065ca3d1eef739de2f042b03f17262/src/exec |
| https://github.com/parasgithub/java-semantics/tree/3a5405297e065ca3d1eef739de2f042b03f17262 |
| fix a bug due to {} in static-init.k | https://github.com/parasgithub/java-semantics/commit/b426decc29458ba2865d5f3fa4d072704722a911 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| b426dec | https://github.com/parasgithub/java-semantics/commit/b426decc29458ba2865d5f3fa4d072704722a911 |
| https://github.com/parasgithub/java-semantics/blob/b426decc29458ba2865d5f3fa4d072704722a911/src/exec |
| https://github.com/parasgithub/java-semantics/tree/b426decc29458ba2865d5f3fa4d072704722a911 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/d62aa6322ff97e90669084fc946aded1f0dbc0e6 |
| add rule isStmt('Switch(_)) => true | https://github.com/parasgithub/java-semantics/commit/ec8bc08c0bc031010aa8d2571d8cc4915b63b98a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| ec8bc08 | https://github.com/parasgithub/java-semantics/commit/ec8bc08c0bc031010aa8d2571d8cc4915b63b98a |
| https://github.com/parasgithub/java-semantics/blob/ec8bc08c0bc031010aa8d2571d8cc4915b63b98a/src/exec |
| https://github.com/parasgithub/java-semantics/tree/ec8bc08c0bc031010aa8d2571d8cc4915b63b98a |
| change switch syntax (remove klistwrap), but have to go back for labelled form of semantic rules for switch, many errors happened when I tried to modify rules in concrete syntax, can't finish today | https://github.com/parasgithub/java-semantics/commit/81d9414c19f85fc49bcd433b15a01e5b99a8126b |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 81d9414 | https://github.com/parasgithub/java-semantics/commit/81d9414c19f85fc49bcd433b15a01e5b99a8126b |
| https://github.com/parasgithub/java-semantics/blob/81d9414c19f85fc49bcd433b15a01e5b99a8126b/src/exec |
| https://github.com/parasgithub/java-semantics/tree/81d9414c19f85fc49bcd433b15a01e5b99a8126b |
| change K in labeled stmt | https://github.com/parasgithub/java-semantics/commit/98867d7e2cdb98183ff9038d9b73919705d42fea |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 98867d7 | https://github.com/parasgithub/java-semantics/commit/98867d7e2cdb98183ff9038d9b73919705d42fea |
| https://github.com/parasgithub/java-semantics/blob/98867d7e2cdb98183ff9038d9b73919705d42fea/src/exec |
| https://github.com/parasgithub/java-semantics/tree/98867d7e2cdb98183ff9038d9b73919705d42fea |
| change K in if and while stmt | https://github.com/parasgithub/java-semantics/commit/049bd8501a11ffb31faa64fa35125123b52c20fe |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 049bd85 | https://github.com/parasgithub/java-semantics/commit/049bd8501a11ffb31faa64fa35125123b52c20fe |
| https://github.com/parasgithub/java-semantics/blob/049bd8501a11ffb31faa64fa35125123b52c20fe/src/exec |
| https://github.com/parasgithub/java-semantics/tree/049bd8501a11ffb31faa64fa35125123b52c20fe |
| change if to ifAux in rules.(Those usages are inconsistent with java syntax of if, the internal ifAux can be used more freely) | https://github.com/parasgithub/java-semantics/commit/27265a4b4237b3d8342d3486f27d71e47bca217f |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 27265a4 | https://github.com/parasgithub/java-semantics/commit/27265a4b4237b3d8342d3486f27d71e47bca217f |
| https://github.com/parasgithub/java-semantics/blob/27265a4b4237b3d8342d3486f27d71e47bca217f/src/exec |
| https://github.com/parasgithub/java-semantics/tree/27265a4b4237b3d8342d3486f27d71e47bca217f |
| change K in ForStmt syntax to sdf standard, and some minor looking changes | https://github.com/parasgithub/java-semantics/commit/efc41efae496607f48db463326bad8c29ea05bbc |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| efc41ef | https://github.com/parasgithub/java-semantics/commit/efc41efae496607f48db463326bad8c29ea05bbc |
| https://github.com/parasgithub/java-semantics/blob/efc41efae496607f48db463326bad8c29ea05bbc/src/exec |
| https://github.com/parasgithub/java-semantics/tree/efc41efae496607f48db463326bad8c29ea05bbc |
| 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 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/bfbe79912c9ee40f749f37080627d6a4c13ef421 |
| +MethodInvocation.sdf | https://github.com/parasgithub/java-semantics/commit/1d82501ca03d63f89160dfc9d112f273dcbc5900 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 1d82501 | https://github.com/parasgithub/java-semantics/commit/1d82501ca03d63f89160dfc9d112f273dcbc5900 |
| https://github.com/parasgithub/java-semantics/blob/1d82501ca03d63f89160dfc9d112f273dcbc5900/src/exec |
| https://github.com/parasgithub/java-semantics/tree/1d82501ca03d63f89160dfc9d112f273dcbc5900 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/c52fbd9c2133411e59de384092ab2a2e2b2a84b6 |
| change the left hand side of assignment expressions to LHS | https://github.com/parasgithub/java-semantics/commit/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 2131149 | https://github.com/parasgithub/java-semantics/commit/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| https://github.com/parasgithub/java-semantics/blob/2131149c8ec3581466bd1f5b49d4b39055d7057a/src/exec |
| https://github.com/parasgithub/java-semantics/tree/2131149c8ec3581466bd1f5b49d4b39055d7057a |
| +Primary.sdf | https://github.com/parasgithub/java-semantics/commit/b158bec855b69e50923347ae6b071b542889d814 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| b158bec | https://github.com/parasgithub/java-semantics/commit/b158bec855b69e50923347ae6b071b542889d814 |
| https://github.com/parasgithub/java-semantics/blob/b158bec855b69e50923347ae6b071b542889d814/src/exec |
| https://github.com/parasgithub/java-semantics/tree/b158bec855b69e50923347ae6b071b542889d814 |
| restructure exp-syntax.k | https://github.com/parasgithub/java-semantics/commit/3bde4acd565902f0a6d025bb0b86256f601bc26d |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 3bde4ac | https://github.com/parasgithub/java-semantics/commit/3bde4acd565902f0a6d025bb0b86256f601bc26d |
| https://github.com/parasgithub/java-semantics/blob/3bde4acd565902f0a6d025bb0b86256f601bc26d/src/exec |
| https://github.com/parasgithub/java-semantics/tree/3bde4acd565902f0a6d025bb0b86256f601bc26d |
| put array syntax in files they supposed to be | https://github.com/parasgithub/java-semantics/commit/511c0deb3423fa19f2214e44f97aee986830b1cd |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 511c0de | https://github.com/parasgithub/java-semantics/commit/511c0deb3423fa19f2214e44f97aee986830b1cd |
| https://github.com/parasgithub/java-semantics/blob/511c0deb3423fa19f2214e44f97aee986830b1cd/src/exec |
| https://github.com/parasgithub/java-semantics/tree/511c0deb3423fa19f2214e44f97aee986830b1cd |
| +ReferenceTypes.sdf | https://github.com/parasgithub/java-semantics/commit/a6522feda671c4964f37dc78b51d47774e0d93c0 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| a6522fe | https://github.com/parasgithub/java-semantics/commit/a6522feda671c4964f37dc78b51d47774e0d93c0 |
| https://github.com/parasgithub/java-semantics/blob/a6522feda671c4964f37dc78b51d47774e0d93c0/src/exec |
| https://github.com/parasgithub/java-semantics/tree/a6522feda671c4964f37dc78b51d47774e0d93c0 |
| subsectioning type-syntax.k | https://github.com/parasgithub/java-semantics/commit/f97a1ee87805c1a2d3ef749b94394d4fe1aca282 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| f97a1ee | https://github.com/parasgithub/java-semantics/commit/f97a1ee87805c1a2d3ef749b94394d4fe1aca282 |
| https://github.com/parasgithub/java-semantics/blob/f97a1ee87805c1a2d3ef749b94394d4fe1aca282/src/exec |
| https://github.com/parasgithub/java-semantics/tree/f97a1ee87805c1a2d3ef749b94394d4fe1aca282 |
| 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 | https://github.com/parasgithub/java-semantics/commit/96e8002c810536d0bfca1427d5a14c6cbf65711d |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 96e8002 | https://github.com/parasgithub/java-semantics/commit/96e8002c810536d0bfca1427d5a14c6cbf65711d |
| https://github.com/parasgithub/java-semantics/blob/96e8002c810536d0bfca1427d5a14c6cbf65711d/src/exec |
| https://github.com/parasgithub/java-semantics/tree/96e8002c810536d0bfca1427d5a14c6cbf65711d |
| create literal-syntax.k | https://github.com/parasgithub/java-semantics/commit/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 1bd1310 | https://github.com/parasgithub/java-semantics/commit/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976 |
| https://github.com/parasgithub/java-semantics/blob/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976/src/exec |
| https://github.com/parasgithub/java-semantics/tree/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976 |
| 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 |
| https://github.com/parasgithub/java-semantics/tree/a95a9c7112846d3b804469072b44a07719ea59ad |
| 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 | https://github.com/parasgithub/java-semantics/commit/f2bf1163604cb339be5d3cacdb1ce9392474dc10 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| f2bf116 | https://github.com/parasgithub/java-semantics/commit/f2bf1163604cb339be5d3cacdb1ce9392474dc10 |
| https://github.com/parasgithub/java-semantics/blob/f2bf1163604cb339be5d3cacdb1ce9392474dc10/src/exec |
| https://github.com/parasgithub/java-semantics/tree/f2bf1163604cb339be5d3cacdb1ce9392474dc10 |
| enough macros added so that helloworld test is now passed using the new parser! | https://github.com/parasgithub/java-semantics/commit/c84940c48ce99c21e3acabd27d79b4ff963fd2fc |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| c84940c | https://github.com/parasgithub/java-semantics/commit/c84940c48ce99c21e3acabd27d79b4ff963fd2fc |
| https://github.com/parasgithub/java-semantics/blob/c84940c48ce99c21e3acabd27d79b4ff963fd2fc/src/exec |
| https://github.com/parasgithub/java-semantics/tree/c84940c48ce99c21e3acabd27d79b4ff963fd2fc |
| testing switchlabellist | https://github.com/parasgithub/java-semantics/commit/26a0ba723d9f25b67f26a035a8c307cdf62a5107 |
| https://github.com/laurayuwen |
| laurayuwen | https://github.com/parasgithub/java-semantics/commits?author=laurayuwen |
| 26a0ba7 | https://github.com/parasgithub/java-semantics/commit/26a0ba723d9f25b67f26a035a8c307cdf62a5107 |
| https://github.com/parasgithub/java-semantics/blob/26a0ba723d9f25b67f26a035a8c307cdf62a5107/src/exec |
| https://github.com/parasgithub/java-semantics/tree/26a0ba723d9f25b67f26a035a8c307cdf62a5107 |
| Merge remote-tracking branch 'origin/master' into latex-line-break | https://github.com/parasgithub/java-semantics/commit/b9198f75e2ed3cb42c50753b425d0a482715a1db |
| https://github.com/denis-bogdanas |
| denis-bogdanas | https://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas |
| b9198f7 | https://github.com/parasgithub/java-semantics/commit/b9198f75e2ed3cb42c50753b425d0a482715a1db |
| https://github.com/parasgithub/java-semantics/blob/b9198f75e2ed3cb42c50753b425d0a482715a1db/src/exec |
| https://github.com/parasgithub/java-semantics/tree/b9198f75e2ed3cb42c50753b425d0a482715a1db |
| Next | https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/exec?after=ec2bb262a92c1d857ef07e5b7907f1c9f353a938+34 |
|
| 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 |