René's URL Explorer Experiment


Title: History for tools - kframework/java-semantics · GitHub

Open Graph Title: History for tools - kframework/java-semantics

X Title: History for tools - kframework/java-semantics

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

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

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

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/commits(/*name)
route-controllercommits
route-actionshow
fetch-noncev2:5cadb6be-f037-205b-eab1-08ab271de6b9
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idDA28:2121C6:FEF139:15CA2C4:6A520770
html-safe-noncee695b3add70736497261d71fbe7ab4ce9c16c9aef913d626d87f80a52b4bf286
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQTI4OjIxMjFDNjpGRUYxMzk6MTVDQTJDNDo2QTUyMDc3MCIsInZpc2l0b3JfaWQiOiI2ODI0NTcyMTUwMjk0MzgyNDQ4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacc8cfed663e3d31c1ea598a4e8730cdf5742566814e75e6fdf9a10053ef713ad0
hovercard-subject-tagrepository:11711471
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/kframework/java-semantics/commits/JavaBackend/tools
twitter:imagehttps://opengraph.githubassets.com/e6cd5457d7d83725b82ae3f6bb9be29cdfebad73ea9e15ea02d786f9e97e11a1/kframework/java-semantics
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/e6cd5457d7d83725b82ae3f6bb9be29cdfebad73ea9e15ea02d786f9e97e11a1/kframework/java-semantics
og:image:altThe semantics of Java in K. Contribute to kframework/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/kframework/java-semantics git https://github.com/kframework/java-semantics.git
octolytics-dimension-user_id5104335
octolytics-dimension-user_loginkframework
octolytics-dimension-repository_id11711471
octolytics-dimension-repository_nwokframework/java-semantics
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
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
release7aed05249554b889eb33d002851a973eebcc7e91
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/kframework/java-semantics/commits/JavaBackend/tools#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fkframework%2Fjava-semantics%2Fcommits%2FJavaBackend%2Ftools
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%2Fkframework%2Fjava-semantics%2Fcommits%2FJavaBackend%2Ftools
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
Reloadhttps://github.com/kframework/java-semantics/commits/JavaBackend/tools
Reloadhttps://github.com/kframework/java-semantics/commits/JavaBackend/tools
Reloadhttps://github.com/kframework/java-semantics/commits/JavaBackend/tools
Please reload this pagehttps://github.com/kframework/java-semantics/commits/JavaBackend/tools
kframework https://github.com/kframework
java-semanticshttps://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-semanticshttps://github.com/kframework/java-semantics/commits
toolshttps://github.com/kframework/java-semantics/commits/JavaBackend/tools
JavaBackendhttps://github.com/kframework/java-semantics/tree/JavaBackend
new parser and change kjparse.sh to use new parserhttps://github.com/kframework/java-semantics/commit/b1c0b3c78f15f3fbfd3f43ccf6345471262acf9a
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
b1c0b3chttps://github.com/kframework/java-semantics/commit/b1c0b3c78f15f3fbfd3f43ccf6345471262acf9a
https://github.com/kframework/java-semantics/blob/b1c0b3c78f15f3fbfd3f43ccf6345471262acf9a/tools
https://github.com/kframework/java-semantics/tree/b1c0b3c78f15f3fbfd3f43ccf6345471262acf9a
added one more macro on EnumConstListhttps://github.com/kframework/java-semantics/commit/661899fbca5373025bb2b21b5b4780587ab51f75
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
661899fhttps://github.com/kframework/java-semantics/commit/661899fbca5373025bb2b21b5b4780587ab51f75
https://github.com/kframework/java-semantics/blob/661899fbca5373025bb2b21b5b4780587ab51f75/tools
https://github.com/kframework/java-semantics/tree/661899fbca5373025bb2b21b5b4780587ab51f75
testing switchlabellisthttps://github.com/kframework/java-semantics/commit/26a0ba723d9f25b67f26a035a8c307cdf62a5107
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
26a0ba7https://github.com/kframework/java-semantics/commit/26a0ba723d9f25b67f26a035a8c307cdf62a5107
https://github.com/kframework/java-semantics/blob/26a0ba723d9f25b67f26a035a8c307cdf62a5107/tools
https://github.com/kframework/java-semantics/tree/26a0ba723d9f25b67f26a035a8c307cdf62a5107
Merge remote-tracking branch 'origin/master' into latex-line-breakhttps://github.com/kframework/java-semantics/commit/b9198f75e2ed3cb42c50753b425d0a482715a1db
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
b9198f7https://github.com/kframework/java-semantics/commit/b9198f75e2ed3cb42c50753b425d0a482715a1db
https://github.com/kframework/java-semantics/blob/b9198f75e2ed3cb42c50753b425d0a482715a1db/tools
https://github.com/kframework/java-semantics/tree/b9198f75e2ed3cb42c50753b425d0a482715a1db
Latex rendering: removed unused files, corrected the script.https://github.com/kframework/java-semantics/commit/aaa62438d24340cf3fa64e67af901bde63538bc1
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
aaa6243https://github.com/kframework/java-semantics/commit/aaa62438d24340cf3fa64e67af901bde63538bc1
https://github.com/kframework/java-semantics/blob/aaa62438d24340cf3fa64e67af901bde63538bc1/tools
https://github.com/kframework/java-semantics/tree/aaa62438d24340cf3fa64e67af901bde63538bc1
correct wrong uname usagehttps://github.com/kframework/java-semantics/commit/883c17ae45fdd1a5d3dfdbf25126507404b2aeff
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
883c17ahttps://github.com/kframework/java-semantics/commit/883c17ae45fdd1a5d3dfdbf25126507404b2aeff
https://github.com/kframework/java-semantics/blob/883c17ae45fdd1a5d3dfdbf25126507404b2aeff/tools
https://github.com/kframework/java-semantics/tree/883c17ae45fdd1a5d3dfdbf25126507404b2aeff
verbose=https://github.com/kframework/java-semantics/commit/1b677b2778698696f5e5c2f143208b957b211069
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
1b677b2https://github.com/kframework/java-semantics/commit/1b677b2778698696f5e5c2f143208b957b211069
https://github.com/kframework/java-semantics/blob/1b677b2778698696f5e5c2f143208b957b211069/tools
https://github.com/kframework/java-semantics/tree/1b677b2778698696f5e5c2f143208b957b211069
tool changes for reviewhttps://github.com/kframework/java-semantics/commit/54679b209a68a98129bc8d33e2cbd0fe32dd26fc
https://github.com/laurayuwen
laurayuwenhttps://github.com/kframework/java-semantics/commits?author=laurayuwen
54679b2https://github.com/kframework/java-semantics/commit/54679b209a68a98129bc8d33e2cbd0fe32dd26fc
https://github.com/kframework/java-semantics/blob/54679b209a68a98129bc8d33e2cbd0fe32dd26fc/tools
https://github.com/kframework/java-semantics/tree/54679b209a68a98129bc8d33e2cbd0fe32dd26fc
#KJ-244 Add chmod commands for K to Jenkins first script.https://github.com/kframework/java-semantics/commit/6db196dadb07fb77948d4bed8f4298cc79dfd08f
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
6db196dhttps://github.com/kframework/java-semantics/commit/6db196dadb07fb77948d4bed8f4298cc79dfd08f
https://github.com/kframework/java-semantics/blob/6db196dadb07fb77948d4bed8f4298cc79dfd08f/tools
https://github.com/kframework/java-semantics/tree/6db196dadb07fb77948d4bed8f4298cc79dfd08f
#KJ-244 Add chmod commands for K to Jenkins first script.https://github.com/kframework/java-semantics/commit/25e1c76948bafa5251c18695bd6ea39ba078cd8c
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
25e1c76https://github.com/kframework/java-semantics/commit/25e1c76948bafa5251c18695bd6ea39ba078cd8c
https://github.com/kframework/java-semantics/blob/25e1c76948bafa5251c18695bd6ea39ba078cd8c/tools
https://github.com/kframework/java-semantics/tree/25e1c76948bafa5251c18695bd6ea39ba078cd8c
update expressions, except compoundAssignhttps://github.com/kframework/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763
e82c2d2https://github.com/kframework/java-semantics/commit/e82c2d283156e067d7241c9ed12875d2e3352763
https://github.com/kframework/java-semantics/blob/e82c2d283156e067d7241c9ed12875d2e3352763/tools
https://github.com/kframework/java-semantics/tree/e82c2d283156e067d7241c9ed12875d2e3352763
#KJ-225 Make kjtest more usable by an external user. Now all kjtest.sh running modes clean the .test directory.https://github.com/kframework/java-semantics/commit/9aa6bea78e546889e92ca49f500a65cb460fccbc
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
9aa6beahttps://github.com/kframework/java-semantics/commit/9aa6bea78e546889e92ca49f500a65cb460fccbc
https://github.com/kframework/java-semantics/blob/9aa6bea78e546889e92ca49f500a65cb460fccbc/tools
https://github.com/kframework/java-semantics/tree/9aa6bea78e546889e92ca49f500a65cb460fccbc
K-Java: some syntax used to type check the paper. Not used in the semantics.https://github.com/kframework/java-semantics/commit/e5f99d8b5742efa68ec168a0ca4ffe48eb6c069c
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
e5f99d8https://github.com/kframework/java-semantics/commit/e5f99d8b5742efa68ec168a0ca4ffe48eb6c069c
https://github.com/kframework/java-semantics/blob/e5f99d8b5742efa68ec168a0ca4ffe48eb6c069c/tools
https://github.com/kframework/java-semantics/tree/e5f99d8b5742efa68ec168a0ca4ffe48eb6c069c
#KJ-108 Produce a pdf with object creation semantics. Documented the first rule. Minor corrections in kjkompile.shhttps://github.com/kframework/java-semantics/commit/0ed9f3b37d44e749639067e0f5bbbeb62a305d9e
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
0ed9f3bhttps://github.com/kframework/java-semantics/commit/0ed9f3b37d44e749639067e0f5bbbeb62a305d9e
https://github.com/kframework/java-semantics/blob/0ed9f3b37d44e749639067e0f5bbbeb62a305d9e/tools
https://github.com/kframework/java-semantics/tree/0ed9f3b37d44e749639067e0f5bbbeb62a305d9e
#KJ-128 Add support for LTL model checking. Basic support implemented. Also added option --ltlmc to kjrun.shhttps://github.com/kframework/java-semantics/commit/e5857463d029c572c3b490bd0af106527a053729
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
e585746https://github.com/kframework/java-semantics/commit/e5857463d029c572c3b490bd0af106527a053729
https://github.com/kframework/java-semantics/blob/e5857463d029c572c3b490bd0af106527a053729/tools
https://github.com/kframework/java-semantics/tree/e5857463d029c572c3b490bd0af106527a053729
#KJ-127 Find an LTL formula for wait-notify-queue example. Prepared 4 tests related to wait-notify queue, that in future will be used for LTL model checking. For now just search.https://github.com/kframework/java-semantics/commit/752a080f6235d831192c8b53448080abfa209d0c
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
752a080https://github.com/kframework/java-semantics/commit/752a080f6235d831192c8b53448080abfa209d0c
https://github.com/kframework/java-semantics/blob/752a080f6235d831192c8b53448080abfa209d0c/tools
https://github.com/kframework/java-semantics/tree/752a080f6235d831192c8b53448080abfa209d0c
#KJ-126 Prepare an example for paper using multi-threading.https://github.com/kframework/java-semantics/commit/9aab5ef9ff19deda71bdb4a51df21b522c068fff
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
9aab5efhttps://github.com/kframework/java-semantics/commit/9aab5ef9ff19deda71bdb4a51df21b522c068fff
https://github.com/kframework/java-semantics/blob/9aab5ef9ff19deda71bdb4a51df21b522c068fff/tools
https://github.com/kframework/java-semantics/tree/9aab5ef9ff19deda71bdb4a51df21b522c068fff
#KJ-126 Prepare an example for paper using multi-threading. Prepared WaitNotifyQueue and WaitNotifyQueueInterrupt. The second don't produce the expected number of solutions. Added all examples to t…https://github.com/kframework/java-semantics/commit/f6f85f79908eda6b7b8167d87e439c7b633bc465
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
f6f85f7https://github.com/kframework/java-semantics/commit/f6f85f79908eda6b7b8167d87e439c7b633bc465
https://github.com/kframework/java-semantics/blob/f6f85f79908eda6b7b8167d87e439c7b633bc465/tools
https://github.com/kframework/java-semantics/tree/f6f85f79908eda6b7b8167d87e439c7b633bc465
#KJ-125 Fix threading tests. Fixed kjrun on windows.https://github.com/kframework/java-semantics/commit/8ad117120d77c3ad7120a53d6722022b96808a64
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
8ad1171https://github.com/kframework/java-semantics/commit/8ad117120d77c3ad7120a53d6722022b96808a64
https://github.com/kframework/java-semantics/blob/8ad117120d77c3ad7120a53d6722022b96808a64/tools
https://github.com/kframework/java-semantics/tree/8ad117120d77c3ad7120a53d6722022b96808a64
#KJ-125 Fix threading tests. Fixed bug in previous commit.https://github.com/kframework/java-semantics/commit/0de7b161814c0c132924326748e0b9b76a1ddde8
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
0de7b16https://github.com/kframework/java-semantics/commit/0de7b161814c0c132924326748e0b9b76a1ddde8
https://github.com/kframework/java-semantics/blob/0de7b161814c0c132924326748e0b9b76a1ddde8/tools
https://github.com/kframework/java-semantics/tree/0de7b161814c0c132924326748e0b9b76a1ddde8
#KJ-109 Experiment with searching a program execution with pattern. Fixed kjrun.sh modes search-cached and symbolic-cached.https://github.com/kframework/java-semantics/commit/32357acf9f110edd6c2b1a920e7b675514d1ed6b
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
32357achttps://github.com/kframework/java-semantics/commit/32357acf9f110edd6c2b1a920e7b675514d1ed6b
https://github.com/kframework/java-semantics/blob/32357acf9f110edd6c2b1a920e7b675514d1ed6b/tools
https://github.com/kframework/java-semantics/tree/32357acf9f110edd6c2b1a920e7b675514d1ed6b
#KJ-109 Experiment with searching a program execution with pattern. Bugfix.https://github.com/kframework/java-semantics/commit/ae0d2f9843722f0b76f9bd561b463dea39451278
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
ae0d2f9https://github.com/kframework/java-semantics/commit/ae0d2f9843722f0b76f9bd561b463dea39451278
https://github.com/kframework/java-semantics/blob/ae0d2f9843722f0b76f9bd561b463dea39451278/tools
https://github.com/kframework/java-semantics/tree/ae0d2f9843722f0b76f9bd561b463dea39451278
#KJ-109 Experiment with searching a program execution with pattern. Bugfix.https://github.com/kframework/java-semantics/commit/8be68f1e31a4a9953035305c785995c66262baac
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
8be68f1https://github.com/kframework/java-semantics/commit/8be68f1e31a4a9953035305c785995c66262baac
https://github.com/kframework/java-semantics/blob/8be68f1e31a4a9953035305c785995c66262baac/tools
https://github.com/kframework/java-semantics/tree/8be68f1e31a4a9953035305c785995c66262baac
#KJ-109 Experiment with searching a program execution with pattern. Implemented an optimization for multi-threaded model-checking. Now only access to fields is considered transition. Access (read/w…https://github.com/kframework/java-semantics/commit/2ac2fc9ee1389053adc173ae6e4bf50a14ae7459
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
2ac2fc9https://github.com/kframework/java-semantics/commit/2ac2fc9ee1389053adc173ae6e4bf50a14ae7459
https://github.com/kframework/java-semantics/blob/2ac2fc9ee1389053adc173ae6e4bf50a14ae7459/tools
https://github.com/kframework/java-semantics/tree/2ac2fc9ee1389053adc173ae6e4bf50a14ae7459
#KJ-123 Implement arguments parsing for kjrun.sh ad aux-kjrun.sh. Extended the scripts to work with dining philosophers problem.https://github.com/kframework/java-semantics/commit/4dbb8a8894240bff2f69e35bd94cf9e84c988d90
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
4dbb8a8https://github.com/kframework/java-semantics/commit/4dbb8a8894240bff2f69e35bd94cf9e84c988d90
https://github.com/kframework/java-semantics/blob/4dbb8a8894240bff2f69e35bd94cf9e84c988d90/tools
https://github.com/kframework/java-semantics/tree/4dbb8a8894240bff2f69e35bd94cf9e84c988d90
#KJ-123 Implement arguments parsing for kjrun.sh ad aux-kjrun.sh. Rewritten aux-kjrun.sh. Fixed option --pattern. Not finished yet, as we can reduce the number of modes.https://github.com/kframework/java-semantics/commit/09f1014f82e2929733f73c77a3aab1d6b7aa9c1f
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
09f1014https://github.com/kframework/java-semantics/commit/09f1014f82e2929733f73c77a3aab1d6b7aa9c1f
https://github.com/kframework/java-semantics/blob/09f1014f82e2929733f73c77a3aab1d6b7aa9c1f/tools
https://github.com/kframework/java-semantics/tree/09f1014f82e2929733f73c77a3aab1d6b7aa9c1f
#KJ-123 Implement arguments parsing for kjrun.sh ad aux-kjrun.sh. Completely rewritten kjrun.sh to work with arguments parsing. Verbose and clean options added.https://github.com/kframework/java-semantics/commit/b7c4000904817cc97ae97e38042675b74ca4aeb2
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
b7c4000https://github.com/kframework/java-semantics/commit/b7c4000904817cc97ae97e38042675b74ca4aeb2
https://github.com/kframework/java-semantics/blob/b7c4000904817cc97ae97e38042675b74ca4aeb2/tools
https://github.com/kframework/java-semantics/tree/b7c4000904817cc97ae97e38042675b74ca4aeb2
tools: error msg correctionhttps://github.com/kframework/java-semantics/commit/eddc0498681a86d7738662111356f8c3ff3e4ec3
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
eddc049https://github.com/kframework/java-semantics/commit/eddc0498681a86d7738662111356f8c3ff3e4ec3
https://github.com/kframework/java-semantics/blob/eddc0498681a86d7738662111356f8c3ff3e4ec3/tools
https://github.com/kframework/java-semantics/tree/eddc0498681a86d7738662111356f8c3ff3e4ec3
tools: renamed $ModelCheck to $DissolveAllExceptOuthttps://github.com/kframework/java-semantics/commit/78444e0f6742a930bccc30d4a5ea0ea023fab2e1
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
78444e0https://github.com/kframework/java-semantics/commit/78444e0f6742a930bccc30d4a5ea0ea023fab2e1
https://github.com/kframework/java-semantics/blob/78444e0f6742a930bccc30d4a5ea0ea023fab2e1/tools
https://github.com/kframework/java-semantics/tree/78444e0f6742a930bccc30d4a5ea0ea023fab2e1
# KJ-119 Write a script to extract latex for one single module. Done. Also added options to kjkompile to produce modules method-invoke and new-instance.https://github.com/kframework/java-semantics/commit/c4d03fb7e532ce5f9aa51b73441f5dc15148384d
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
c4d03fbhttps://github.com/kframework/java-semantics/commit/c4d03fb7e532ce5f9aa51b73441f5dc15148384d
https://github.com/kframework/java-semantics/blob/c4d03fb7e532ce5f9aa51b73441f5dc15148384d/tools
https://github.com/kframework/java-semantics/tree/c4d03fb7e532ce5f9aa51b73441f5dc15148384d
#KJ-109 Experiment with searching a program execution with pattern. Fixed strictness model checking, broken by previous commit.https://github.com/kframework/java-semantics/commit/a1130a473cb380c1c937efa811c2103f4b557b60
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
a1130a4https://github.com/kframework/java-semantics/commit/a1130a473cb380c1c937efa811c2103f4b557b60
https://github.com/kframework/java-semantics/blob/a1130a473cb380c1c937efa811c2103f4b557b60/tools
https://github.com/kframework/java-semantics/tree/a1130a473cb380c1c937efa811c2103f4b557b60
#KJ-109 Experiment with searching a program execution with pattern. Added an option to search programs with a pattern. Not finished yet.https://github.com/kframework/java-semantics/commit/6b986b6e412c799d5c2936a5151541551d4d3789
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
6b986b6https://github.com/kframework/java-semantics/commit/6b986b6e412c799d5c2936a5151541551d4d3789
https://github.com/kframework/java-semantics/blob/6b986b6e412c799d5c2936a5151541551d4d3789/tools
https://github.com/kframework/java-semantics/tree/6b986b6e412c799d5c2936a5151541551d4d3789
#KJ-107 Fix tools search/debug to work with split semantics. Fixed a bug.https://github.com/kframework/java-semantics/commit/86c8422b3055824e4efeb46f79b8a436c8eb6dc0
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
86c8422https://github.com/kframework/java-semantics/commit/86c8422b3055824e4efeb46f79b8a436c8eb6dc0
https://github.com/kframework/java-semantics/blob/86c8422b3055824e4efeb46f79b8a436c8eb6dc0/tools
https://github.com/kframework/java-semantics/tree/86c8422b3055824e4efeb46f79b8a436c8eb6dc0
#KJ-107 Fix tools search/debug to work with split semantics. Implemented. also deleted "full" directory. We cannot maintain the full semantics anymore as it is not compatible with the syntactic for…https://github.com/kframework/java-semantics/commit/7d00b116065fb0a5e677e522f433c48f511346a2
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
7d00b11https://github.com/kframework/java-semantics/commit/7d00b116065fb0a5e677e522f433c48f511346a2
https://github.com/kframework/java-semantics/blob/7d00b116065fb0a5e677e522f433c48f511346a2/tools
https://github.com/kframework/java-semantics/tree/7d00b116065fb0a5e677e522f433c48f511346a2
#KJ-107 Fix tools search/debug to work with split semantics. Adjusted search timeout.https://github.com/kframework/java-semantics/commit/7441412796258a6c84377c202ca0a5e667ef092d
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
7441412https://github.com/kframework/java-semantics/commit/7441412796258a6c84377c202ca0a5e667ef092d
https://github.com/kframework/java-semantics/blob/7441412796258a6c84377c202ca0a5e667ef092d/tools
https://github.com/kframework/java-semantics/tree/7441412796258a6c84377c202ca0a5e667ef092d
Nexthttps://github.com/kframework/java-semantics/commits/JavaBackend/tools?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.