René's URL Explorer Experiment


Title: History for src/prep - parasgithub/java-semantics · GitHub

Open Graph Title: History for src/prep - parasgithub/java-semantics

X Title: History for src/prep - parasgithub/java-semantics

Description: The semantics of Java in K. Contribute to parasgithub/java-semantics development by creating an account on GitHub.

Open Graph Description: The semantics of Java in K. Contribute to parasgithub/java-semantics development by creating an account on GitHub.

X Description: The semantics of Java in K. Contribute to parasgithub/java-semantics development by creating an account on GitHub.

Opengraph URL: https://github.com/parasgithub/java-semantics

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/commits(/*name)
route-controllercommits
route-actionshow
fetch-noncev2:4dbfcfcd-253c-a170-c5ec-9d5754fd9474
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id9E36:FAECF:15D91A8:1CFAAB6:6A52B5FF
html-safe-nonce74457a379389a6298d34b5c4560735614da660f437f99ef9361ca8a534032a84
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5RTM2OkZBRUNGOjE1RDkxQTg6MUNGQUFCNjo2QTUyQjVGRiIsInZpc2l0b3JfaWQiOiI2MzkyMTY5MjA1MzAzNzg0OTU5IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac9f746114ded402f95e2162198c2e26aad9c9e0cfc4c28bc3b807712c1972ed06
hovercard-subject-tagrepository:31969073
github-keyboard-shortcutsrepository,commit-list,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///commits/show
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep
twitter:imagehttps://opengraph.githubassets.com/739a66b75862a033e3770bfe61c7bc43537376df52b583aee0247c23b83b7645/parasgithub/java-semantics
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/739a66b75862a033e3770bfe61c7bc43537376df52b583aee0247c23b83b7645/parasgithub/java-semantics
og:image:altThe semantics of Java in K. Contribute to parasgithub/java-semantics development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Noneb9a586c06a05a7a86fc7e3f4dbd03e42f6869085879aa184aa6369456dbd50fb
turbo-cache-controlno-cache
go-importgithub.com/parasgithub/java-semantics git https://github.com/parasgithub/java-semantics.git
octolytics-dimension-user_id8584719
octolytics-dimension-user_loginparasgithub
octolytics-dimension-repository_id31969073
octolytics-dimension-repository_nwoparasgithub/java-semantics
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forktrue
octolytics-dimension-repository_parent_id11711471
octolytics-dimension-repository_parent_nwokframework/java-semantics
octolytics-dimension-repository_network_root_id11711471
octolytics-dimension-repository_network_root_nwokframework/java-semantics
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release07a982c1d40157c619b364352b704c3ce66bb332
ui-targetcanary-2
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep#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%2Fprep
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://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%2Fprep
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
Reloadhttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep
Reloadhttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep
Reloadhttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep
parasgithub https://github.com/parasgithub
java-semanticshttps://github.com/parasgithub/java-semantics
kframework/java-semanticshttps://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-semanticshttps://github.com/parasgithub/java-semantics/commits
srchttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src
prephttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep
JavaBackendhttps://github.com/parasgithub/java-semantics/tree/JavaBackend
solve one rule about map pattern matching : TypeImportDechttps://github.com/parasgithub/java-semantics/commit/2f5740657dc8fc81f8484ba1b27a75c227dc3ecb
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
2f57406https://github.com/parasgithub/java-semantics/commit/2f5740657dc8fc81f8484ba1b27a75c227dc3ecb
https://github.com/parasgithub/java-semantics/blob/2f5740657dc8fc81f8484ba1b27a75c227dc3ecb/src/prep
https://github.com/parasgithub/java-semantics/tree/2f5740657dc8fc81f8484ba1b27a75c227dc3ecb
solve one rule about map pattern matching : lookupSignature-SigDiscardhttps://github.com/parasgithub/java-semantics/commit/d2e879a4547b0c858e1c19c7364a622feddaaa04
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
d2e879ahttps://github.com/parasgithub/java-semantics/commit/d2e879a4547b0c858e1c19c7364a622feddaaa04
https://github.com/parasgithub/java-semantics/blob/d2e879a4547b0c858e1c19c7364a622feddaaa04/src/prep
https://github.com/parasgithub/java-semantics/tree/d2e879a4547b0c858e1c19c7364a622feddaaa04
solve one rule about map pattern matching : elabMethods-discard-methodhttps://github.com/parasgithub/java-semantics/commit/f502096c51258119f4232f3bfbcdeec28a45e388
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
f502096https://github.com/parasgithub/java-semantics/commit/f502096c51258119f4232f3bfbcdeec28a45e388
https://github.com/parasgithub/java-semantics/blob/f502096c51258119f4232f3bfbcdeec28a45e388/src/prep
https://github.com/parasgithub/java-semantics/tree/f502096c51258119f4232f3bfbcdeec28a45e388
solve one rule about map pattern matching : folding-class-fold-innerhttps://github.com/parasgithub/java-semantics/commit/dba9ceb21eef605d2bbe148d581989c8386b697a
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
dba9cebhttps://github.com/parasgithub/java-semantics/commit/dba9ceb21eef605d2bbe148d581989c8386b697a
https://github.com/parasgithub/java-semantics/blob/dba9ceb21eef605d2bbe148d581989c8386b697a/src/prep
https://github.com/parasgithub/java-semantics/tree/dba9ceb21eef605d2bbe148d581989c8386b697a
solve one rule about map pattern matching: containsNamehttps://github.com/parasgithub/java-semantics/commit/c99a13b1c5eb01551cb742b322fe6b0fd0f8da3c
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
c99a13bhttps://github.com/parasgithub/java-semantics/commit/c99a13b1c5eb01551cb742b322fe6b0fd0f8da3c
https://github.com/parasgithub/java-semantics/blob/c99a13b1c5eb01551cb742b322fe6b0fd0f8da3c/src/prep
https://github.com/parasgithub/java-semantics/tree/c99a13b1c5eb01551cb742b322fe6b0fd0f8da3c
solve one rule about map pattern matching: folding-class-fold-top-levelhttps://github.com/parasgithub/java-semantics/commit/4521209d7e7c64606e9e4b2914eddd72da64ce48
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
4521209https://github.com/parasgithub/java-semantics/commit/4521209d7e7c64606e9e4b2914eddd72da64ce48
https://github.com/parasgithub/java-semantics/blob/4521209d7e7c64606e9e4b2914eddd72da64ce48/src/prep
https://github.com/parasgithub/java-semantics/tree/4521209d7e7c64606e9e4b2914eddd72da64ce48
solve two rules about map pattern matching: getTopLevelClasses and getInnerClasseshttps://github.com/parasgithub/java-semantics/commit/80a7a4c688cee487ae0d13045f95f8913f1392b6
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
80a7a4chttps://github.com/parasgithub/java-semantics/commit/80a7a4c688cee487ae0d13045f95f8913f1392b6
https://github.com/parasgithub/java-semantics/blob/80a7a4c688cee487ae0d13045f95f8913f1392b6/src/prep
https://github.com/parasgithub/java-semantics/tree/80a7a4c688cee487ae0d13045f95f8913f1392b6
solve one rule about map pattern matching: tryInheritImpl( Map )https://github.com/parasgithub/java-semantics/commit/d10a239cab7cf1d5a75e7fa04aae1b5afe155350
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
d10a239https://github.com/parasgithub/java-semantics/commit/d10a239cab7cf1d5a75e7fa04aae1b5afe155350
https://github.com/parasgithub/java-semantics/blob/d10a239cab7cf1d5a75e7fa04aae1b5afe155350/src/prep
https://github.com/parasgithub/java-semantics/tree/d10a239cab7cf1d5a75e7fa04aae1b5afe155350
solve one rule about map pattern matching: haveUnaugmentedConstructors( Id, ClassType, Map )https://github.com/parasgithub/java-semantics/commit/e55e24e2909b6ef11f921ff0fddf043bf9d429bb
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
e55e24ehttps://github.com/parasgithub/java-semantics/commit/e55e24e2909b6ef11f921ff0fddf043bf9d429bb
https://github.com/parasgithub/java-semantics/blob/e55e24e2909b6ef11f921ff0fddf043bf9d429bb/src/prep
https://github.com/parasgithub/java-semantics/tree/e55e24e2909b6ef11f921ff0fddf043bf9d429bb
solve two rules about map pattern matching: importOnDemandImpl(map)https://github.com/parasgithub/java-semantics/commit/9c25b34270789ae250b304ca08b32ed96476c3bf
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
9c25b34https://github.com/parasgithub/java-semantics/commit/9c25b34270789ae250b304ca08b32ed96476c3bf
https://github.com/parasgithub/java-semantics/blob/9c25b34270789ae250b304ca08b32ed96476c3bf/src/prep
https://github.com/parasgithub/java-semantics/tree/9c25b34270789ae250b304ca08b32ed96476c3bf
java-prep.k kompileshttps://github.com/parasgithub/java-semantics/commit/768bb8a67b7491f314ad8c65599385d46effc6ec
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
768bb8ahttps://github.com/parasgithub/java-semantics/commit/768bb8a67b7491f314ad8c65599385d46effc6ec
https://github.com/parasgithub/java-semantics/blob/768bb8a67b7491f314ad8c65599385d46effc6ec/src/prep
https://github.com/parasgithub/java-semantics/tree/768bb8a67b7491f314ad8c65599385d46effc6ec
java-exec.k kompileshttps://github.com/parasgithub/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
e863d40https://github.com/parasgithub/java-semantics/commit/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8
https://github.com/parasgithub/java-semantics/blob/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8/src/prep
https://github.com/parasgithub/java-semantics/tree/e863d40da9d5d909e2e607b16a3a7dfc1c09a3c8
change dot to specific empties and other changeshttps://github.com/parasgithub/java-semantics/commit/c4118307bf9d747e54b5e74e20bf86a6404322d3
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
c411830https://github.com/parasgithub/java-semantics/commit/c4118307bf9d747e54b5e74e20bf86a6404322d3
https://github.com/parasgithub/java-semantics/blob/c4118307bf9d747e54b5e74e20bf86a6404322d3/src/prep
https://github.com/parasgithub/java-semantics/tree/c4118307bf9d747e54b5e74e20bf86a6404322d3
Map syntax and other changeshttps://github.com/parasgithub/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
eff614chttps://github.com/parasgithub/java-semantics/commit/eff614c13d3734dc47453894587459dae339350c
https://github.com/parasgithub/java-semantics/blob/eff614c13d3734dc47453894587459dae339350c/src/prep
https://github.com/parasgithub/java-semantics/tree/eff614c13d3734dc47453894587459dae339350c
Int2Float syntax changehttps://github.com/parasgithub/java-semantics/commit/47a182e8538bfa66f432cddade984d0efd01fed0
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
47a182ehttps://github.com/parasgithub/java-semantics/commit/47a182e8538bfa66f432cddade984d0efd01fed0
https://github.com/parasgithub/java-semantics/blob/47a182e8538bfa66f432cddade984d0efd01fed0/src/prep
https://github.com/parasgithub/java-semantics/tree/47a182e8538bfa66f432cddade984d0efd01fed0
break circulate imports (trial)https://github.com/parasgithub/java-semantics/commit/e717a35100aa24a2d0197f7e5282b4c200ee471a
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
e717a35https://github.com/parasgithub/java-semantics/commit/e717a35100aa24a2d0197f7e5282b4c200ee471a
https://github.com/parasgithub/java-semantics/blob/e717a35100aa24a2d0197f7e5282b4c200ee471a/src/prep
https://github.com/parasgithub/java-semantics/tree/e717a35100aa24a2d0197f7e5282b4c200ee471a
delete labels-prep.k and labels-exec.k since all labels are definedhttps://github.com/parasgithub/java-semantics/commit/3a5405297e065ca3d1eef739de2f042b03f17262
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
3a54052https://github.com/parasgithub/java-semantics/commit/3a5405297e065ca3d1eef739de2f042b03f17262
https://github.com/parasgithub/java-semantics/blob/3a5405297e065ca3d1eef739de2f042b03f17262/src/prep
https://github.com/parasgithub/java-semantics/tree/3a5405297e065ca3d1eef739de2f042b03f17262
improve name-syntax.k. Only problem now: 'MethodNamehttps://github.com/parasgithub/java-semantics/commit/0d24989bf21a0d4b88f637ace199fd49019a9d72
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
0d24989https://github.com/parasgithub/java-semantics/commit/0d24989bf21a0d4b88f637ace199fd49019a9d72
https://github.com/parasgithub/java-semantics/blob/0d24989bf21a0d4b88f637ace199fd49019a9d72/src/prep
https://github.com/parasgithub/java-semantics/tree/0d24989bf21a0d4b88f637ace199fd49019a9d72
delete two syntax KLabel definitions related to stmt-syntax;https://github.com/parasgithub/java-semantics/commit/4da8f1ebde9f673e99b0fc3f759b8e1690155462
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
4da8f1ehttps://github.com/parasgithub/java-semantics/commit/4da8f1ebde9f673e99b0fc3f759b8e1690155462
https://github.com/parasgithub/java-semantics/blob/4da8f1ebde9f673e99b0fc3f759b8e1690155462/src/prep
https://github.com/parasgithub/java-semantics/tree/4da8f1ebde9f673e99b0fc3f759b8e1690155462
delete syntax KLabel definitions since they are already included as klabel attributehttps://github.com/parasgithub/java-semantics/commit/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
b8a666dhttps://github.com/parasgithub/java-semantics/commit/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd
https://github.com/parasgithub/java-semantics/blob/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd/src/prep
https://github.com/parasgithub/java-semantics/tree/b8a666d7de0a3d90def9ebc4348c2f79be12fdcd
update class-syntax.sdfhttps://github.com/parasgithub/java-semantics/commit/bfbe79912c9ee40f749f37080627d6a4c13ef421
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
bfbe799https://github.com/parasgithub/java-semantics/commit/bfbe79912c9ee40f749f37080627d6a4c13ef421
https://github.com/parasgithub/java-semantics/blob/bfbe79912c9ee40f749f37080627d6a4c13ef421/src/prep
https://github.com/parasgithub/java-semantics/tree/bfbe79912c9ee40f749f37080627d6a4c13ef421
subsectioning class-syntax.sdfhttps://github.com/parasgithub/java-semantics/commit/2a8c91300e09e0b3985d24daca77941b4be06006
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
2a8c913https://github.com/parasgithub/java-semantics/commit/2a8c91300e09e0b3985d24daca77941b4be06006
https://github.com/parasgithub/java-semantics/blob/2a8c91300e09e0b3985d24daca77941b4be06006/src/prep
https://github.com/parasgithub/java-semantics/tree/2a8c91300e09e0b3985d24daca77941b4be06006
+Primary.sdfhttps://github.com/parasgithub/java-semantics/commit/b158bec855b69e50923347ae6b071b542889d814
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
b158bechttps://github.com/parasgithub/java-semantics/commit/b158bec855b69e50923347ae6b071b542889d814
https://github.com/parasgithub/java-semantics/blob/b158bec855b69e50923347ae6b071b542889d814/src/prep
https://github.com/parasgithub/java-semantics/tree/b158bec855b69e50923347ae6b071b542889d814
+TypeVariables.sdfhttps://github.com/parasgithub/java-semantics/commit/59ead18b976682826173891c13cc6185f437ea7c
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
59ead18https://github.com/parasgithub/java-semantics/commit/59ead18b976682826173891c13cc6185f437ea7c
https://github.com/parasgithub/java-semantics/blob/59ead18b976682826173891c13cc6185f437ea7c/src/prep
https://github.com/parasgithub/java-semantics/tree/59ead18b976682826173891c13cc6185f437ea7c
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 eachhttps://github.com/parasgithub/java-semantics/commit/96e8002c810536d0bfca1427d5a14c6cbf65711d
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
96e8002https://github.com/parasgithub/java-semantics/commit/96e8002c810536d0bfca1427d5a14c6cbf65711d
https://github.com/parasgithub/java-semantics/blob/96e8002c810536d0bfca1427d5a14c6cbf65711d/src/prep
https://github.com/parasgithub/java-semantics/tree/96e8002c810536d0bfca1427d5a14c6cbf65711d
+FloatLiterals.sdf (not according to sdf, just put klabel)https://github.com/parasgithub/java-semantics/commit/bfc425422d1f8c6206a2e50ab90b5a541b014353
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
bfc4254https://github.com/parasgithub/java-semantics/commit/bfc425422d1f8c6206a2e50ab90b5a541b014353
https://github.com/parasgithub/java-semantics/blob/bfc425422d1f8c6206a2e50ab90b5a541b014353/src/prep
https://github.com/parasgithub/java-semantics/tree/bfc425422d1f8c6206a2e50ab90b5a541b014353
+NullLiteral.sdfhttps://github.com/parasgithub/java-semantics/commit/08b7042fe8e8cdbab50a83a1a2e67757c62a5573
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
08b7042https://github.com/parasgithub/java-semantics/commit/08b7042fe8e8cdbab50a83a1a2e67757c62a5573
https://github.com/parasgithub/java-semantics/blob/08b7042fe8e8cdbab50a83a1a2e67757c62a5573/src/prep
https://github.com/parasgithub/java-semantics/tree/08b7042fe8e8cdbab50a83a1a2e67757c62a5573
create literal-syntax.khttps://github.com/parasgithub/java-semantics/commit/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
1bd1310https://github.com/parasgithub/java-semantics/commit/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976
https://github.com/parasgithub/java-semantics/blob/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976/src/prep
https://github.com/parasgithub/java-semantics/tree/1bd131026aa17aa8d9ce7a5d6c5817cdb8ff5976
require lexical-syntax.khttps://github.com/parasgithub/java-semantics/commit/3e47f72e68c5857225ef7104f25acb1fec206d7c
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
3e47f72https://github.com/parasgithub/java-semantics/commit/3e47f72e68c5857225ef7104f25acb1fec206d7c
https://github.com/parasgithub/java-semantics/blob/3e47f72e68c5857225ef7104f25acb1fec206d7c/src/prep
https://github.com/parasgithub/java-semantics/tree/3e47f72e68c5857225ef7104f25acb1fec206d7c
Allow the head (used to be a ListWrap) of UnicodeEscape to be anything (not just K, (it does not matter what it is))https://github.com/parasgithub/java-semantics/commit/7d325cd9aa227e125dd537ad918eef3b0dc7ac74
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
7d325cdhttps://github.com/parasgithub/java-semantics/commit/7d325cd9aa227e125dd537ad918eef3b0dc7ac74
https://github.com/parasgithub/java-semantics/blob/7d325cd9aa227e125dd537ad918eef3b0dc7ac74/src/prep
https://github.com/parasgithub/java-semantics/tree/7d325cd9aa227e125dd537ad918eef3b0dc7ac74
context independent macros don't work well, switching to context dependent macros.https://github.com/parasgithub/java-semantics/commit/435ec63f9275ab5ae3d9fd43ffd07c8c3a312c85
https://github.com/laurayuwen
laurayuwenhttps://github.com/parasgithub/java-semantics/commits?author=laurayuwen
435ec63https://github.com/parasgithub/java-semantics/commit/435ec63f9275ab5ae3d9fd43ffd07c8c3a312c85
https://github.com/parasgithub/java-semantics/blob/435ec63f9275ab5ae3d9fd43ffd07c8c3a312c85/src/prep
https://github.com/parasgithub/java-semantics/tree/435ec63f9275ab5ae3d9fd43ffd07c8c3a312c85
Migrating to unified-builtin2:https://github.com/parasgithub/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/parasgithub/java-semantics/commits?author=denis-bogdanas
8b91c50https://github.com/parasgithub/java-semantics/commit/8b91c506e477472a183da1baf7f3c4da6124025a
https://github.com/parasgithub/java-semantics/blob/8b91c506e477472a183da1baf7f3c4da6124025a/src/prep
https://github.com/parasgithub/java-semantics/tree/8b91c506e477472a183da1baf7f3c4da6124025a
concrete syntax of if stmt updatedhttps://github.com/parasgithub/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd
8f904cchttps://github.com/parasgithub/java-semantics/commit/8f904cc02fa5d0044cb056c140c0f7081658e0bd
https://github.com/parasgithub/java-semantics/blob/8f904cc02fa5d0044cb056c140c0f7081658e0bd/src/prep
https://github.com/parasgithub/java-semantics/tree/8f904cc02fa5d0044cb056c140c0f7081658e0bd
expressions updatedhttps://github.com/parasgithub/java-semantics/commit/df97c5f5bc51f89c1064c072af65988d77986c3c
df97c5fhttps://github.com/parasgithub/java-semantics/commit/df97c5f5bc51f89c1064c072af65988d77986c3c
https://github.com/parasgithub/java-semantics/blob/df97c5f5bc51f89c1064c072af65988d77986c3c/src/prep
https://github.com/parasgithub/java-semantics/tree/df97c5f5bc51f89c1064c072af65988d77986c3c
unknown try and throw errorhttps://github.com/parasgithub/java-semantics/commit/33fd3761ab2e7c1d0453d33998a0ff8296266484
33fd376https://github.com/parasgithub/java-semantics/commit/33fd3761ab2e7c1d0453d33998a0ff8296266484
https://github.com/parasgithub/java-semantics/blob/33fd3761ab2e7c1d0453d33998a0ff8296266484/src/prep
https://github.com/parasgithub/java-semantics/tree/33fd3761ab2e7c1d0453d33998a0ff8296266484
Nexthttps://github.com/parasgithub/java-semantics/commits/JavaBackend/src/prep?after=ec2bb262a92c1d857ef07e5b7907f1c9f353a938+34
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.