René's URL Explorer Experiment


Title: History for model-check - kframework/java-semantics · GitHub

Open Graph Title: History for model-check - kframework/java-semantics

X Title: History for model-check - 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:8a088bbb-05e0-19e7-0d15-bca04f17ac9d
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idCC72:3A03DF:B84879:FEFDF8:6A53A334
html-safe-nonce7c24b70b9323a024b187a6791d82a5913c254e2eb6014ea4a91cb6a35293e6ef
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDQzcyOjNBMDNERjpCODQ4Nzk6RkVGREY4OjZBNTNBMzM0IiwidmlzaXRvcl9pZCI6IjYyMzkzNTYyMDU5NDI0MTYxODAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmaca3fc81739e1ead5ee08071ef30ab396657c1d48499f96930ee3f6cb293e92951
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/model-check
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
release07a982c1d40157c619b364352b704c3ce66bb332
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/kframework/java-semantics/commits/JavaBackend/model-check#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fkframework%2Fjava-semantics%2Fcommits%2FJavaBackend%2Fmodel-check
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%2Fmodel-check
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/model-check
Reloadhttps://github.com/kframework/java-semantics/commits/JavaBackend/model-check
Reloadhttps://github.com/kframework/java-semantics/commits/JavaBackend/model-check
Please reload this pagehttps://github.com/kframework/java-semantics/commits/JavaBackend/model-check
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
model-checkhttps://github.com/kframework/java-semantics/commits/JavaBackend/model-check
JavaBackendhttps://github.com/kframework/java-semantics/tree/JavaBackend
#KJ-128 Add support for LTL model checking. Added some more details on how to run BlockingQueue examples.https://github.com/kframework/java-semantics/commit/1b69ce5a017e507ced255fc62f09737dbb59046a
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
1b69ce5https://github.com/kframework/java-semantics/commit/1b69ce5a017e507ced255fc62f09737dbb59046a
https://github.com/kframework/java-semantics/blob/1b69ce5a017e507ced255fc62f09737dbb59046a/model-check
https://github.com/kframework/java-semantics/tree/1b69ce5a017e507ced255fc62f09737dbb59046a
#KJ-128 Add support for LTL model checking. Verified the BlockingQueue program with LTL. Produced expected results. Documented the verified programs with commands and formulas that were used.https://github.com/kframework/java-semantics/commit/8028a8a2ae2c8f57abf2a677fd696f0995928e04
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
8028a8ahttps://github.com/kframework/java-semantics/commit/8028a8a2ae2c8f57abf2a677fd696f0995928e04
https://github.com/kframework/java-semantics/blob/8028a8a2ae2c8f57abf2a677fd696f0995928e04/model-check
https://github.com/kframework/java-semantics/tree/8028a8a2ae2c8f57abf2a677fd696f0995928e04
#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/model-check
https://github.com/kframework/java-semantics/tree/e5857463d029c572c3b490bd0af106527a053729
#KJ-127 Find an LTL formula for wait-notify-queue example. Fixed the new tests.https://github.com/kframework/java-semantics/commit/21902b05bdbec420dfe7040a2792bc7fb2ff5814
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
21902b0https://github.com/kframework/java-semantics/commit/21902b05bdbec420dfe7040a2792bc7fb2ff5814
https://github.com/kframework/java-semantics/blob/21902b05bdbec420dfe7040a2792bc7fb2ff5814/model-check
https://github.com/kframework/java-semantics/tree/21902b05bdbec420dfe7040a2792bc7fb2ff5814
#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/model-check
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/model-check
https://github.com/kframework/java-semantics/tree/9aab5ef9ff19deda71bdb4a51df21b522c068fff
#KJ-126 Prepare an example for paper using multi-threading. Fixed the tests for the two WaitNotifyQueue versions.https://github.com/kframework/java-semantics/commit/9ae4839587fb47fd90685b3d542d8dc46b1bd9ab
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
9ae4839https://github.com/kframework/java-semantics/commit/9ae4839587fb47fd90685b3d542d8dc46b1bd9ab
https://github.com/kframework/java-semantics/blob/9ae4839587fb47fd90685b3d542d8dc46b1bd9ab/model-check
https://github.com/kframework/java-semantics/tree/9ae4839587fb47fd90685b3d542d8dc46b1bd9ab
#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/model-check
https://github.com/kframework/java-semantics/tree/f6f85f79908eda6b7b8167d87e439c7b633bc465
#KJ-125 Fix threading tests. Fixed the remaining 2 tests after a brief overview.https://github.com/kframework/java-semantics/commit/456609cac89aa00a68e74e857a2cc7415cfcddbb
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
456609chttps://github.com/kframework/java-semantics/commit/456609cac89aa00a68e74e857a2cc7415cfcddbb
https://github.com/kframework/java-semantics/blob/456609cac89aa00a68e74e857a2cc7415cfcddbb/model-check
https://github.com/kframework/java-semantics/tree/456609cac89aa00a68e74e857a2cc7415cfcddbb
#KJ-126 Prepare an example for paper using multi-threading.https://github.com/kframework/java-semantics/commit/a8afd83ee234cade3540a3eae78a98c0fdfc3911
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
a8afd83https://github.com/kframework/java-semantics/commit/a8afd83ee234cade3540a3eae78a98c0fdfc3911
https://github.com/kframework/java-semantics/blob/a8afd83ee234cade3540a3eae78a98c0fdfc3911/model-check
https://github.com/kframework/java-semantics/tree/a8afd83ee234cade3540a3eae78a98c0fdfc3911
ThreadGame example for model checking.https://github.com/kframework/java-semantics/commit/7e91b00f7ca784a96b4bcab04bc014fcc0ea77c4
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
7e91b00https://github.com/kframework/java-semantics/commit/7e91b00f7ca784a96b4bcab04bc014fcc0ea77c4
https://github.com/kframework/java-semantics/blob/7e91b00f7ca784a96b4bcab04bc014fcc0ea77c4/model-check
https://github.com/kframework/java-semantics/tree/7e91b00f7ca784a96b4bcab04bc014fcc0ea77c4
ThreadGame example for model checking.https://github.com/kframework/java-semantics/commit/41aab0315e3996e05bf4f089a9b64de01b10c311
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
41aab03https://github.com/kframework/java-semantics/commit/41aab0315e3996e05bf4f089a9b64de01b10c311
https://github.com/kframework/java-semantics/blob/41aab0315e3996e05bf4f089a9b64de01b10c311/model-check
https://github.com/kframework/java-semantics/tree/41aab0315e3996e05bf4f089a9b64de01b10c311
#KJ-125 Fix threading tests. And some more corrections.https://github.com/kframework/java-semantics/commit/dab0758d6eecaeae0891eeab1ea044f23b9a5769
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
dab0758https://github.com/kframework/java-semantics/commit/dab0758d6eecaeae0891eeab1ea044f23b9a5769
https://github.com/kframework/java-semantics/blob/dab0758d6eecaeae0891eeab1ea044f23b9a5769/model-check
https://github.com/kframework/java-semantics/tree/dab0758d6eecaeae0891eeab1ea044f23b9a5769
#KJ-125 Fix threading tests. Some more test corrections.https://github.com/kframework/java-semantics/commit/ce04ed5751fc6f94df42cfb8c1d9b99bd8638e3d
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
ce04ed5https://github.com/kframework/java-semantics/commit/ce04ed5751fc6f94df42cfb8c1d9b99bd8638e3d
https://github.com/kframework/java-semantics/blob/ce04ed5751fc6f94df42cfb8c1d9b99bd8638e3d/model-check
https://github.com/kframework/java-semantics/tree/ce04ed5751fc6f94df42cfb8c1d9b99bd8638e3d
#KJ-125 Fix threading tests. Spell check.https://github.com/kframework/java-semantics/commit/39bd7c040957e774245437038ddb934b3daf4740
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
39bd7c0https://github.com/kframework/java-semantics/commit/39bd7c040957e774245437038ddb934b3daf4740
https://github.com/kframework/java-semantics/blob/39bd7c040957e774245437038ddb934b3daf4740/model-check
https://github.com/kframework/java-semantics/tree/39bd7c040957e774245437038ddb934b3daf4740
#KJ-125 Fix threading tests. Fixed all the tests. Theoretically all should pass.https://github.com/kframework/java-semantics/commit/f166a26791ae9abd37828629b216f1e08318101e
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
f166a26https://github.com/kframework/java-semantics/commit/f166a26791ae9abd37828629b216f1e08318101e
https://github.com/kframework/java-semantics/blob/f166a26791ae9abd37828629b216f1e08318101e/model-check
https://github.com/kframework/java-semantics/tree/f166a26791ae9abd37828629b216f1e08318101e
#KJ-125 Fix threading tests. Reduced teh state space by moving start() later on.https://github.com/kframework/java-semantics/commit/5cbe0c18d34a806472f1608b8794daf75755c210
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
5cbe0c1https://github.com/kframework/java-semantics/commit/5cbe0c18d34a806472f1608b8794daf75755c210
https://github.com/kframework/java-semantics/blob/5cbe0c18d34a806472f1608b8794daf75755c210/model-check
https://github.com/kframework/java-semantics/tree/5cbe0c18d34a806472f1608b8794daf75755c210
#KJ-125 Fix threading tests. Reduced teh state space by moving start() later on.https://github.com/kframework/java-semantics/commit/1f8126611ab267205e8c51dce47cfc6d4ce64c12
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
1f81266https://github.com/kframework/java-semantics/commit/1f8126611ab267205e8c51dce47cfc6d4ce64c12
https://github.com/kframework/java-semantics/blob/1f8126611ab267205e8c51dce47cfc6d4ce64c12/model-check
https://github.com/kframework/java-semantics/tree/1f8126611ab267205e8c51dce47cfc6d4ce64c12
#KJ-109 Experiment with searching a program execution with pattern. Tested dining philosophers program after i optimized threading model checking. We have 7 solutions in 1m50s.https://github.com/kframework/java-semantics/commit/698577494f9f84326f7ed49d9867b824de8e6932
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
6985774https://github.com/kframework/java-semantics/commit/698577494f9f84326f7ed49d9867b824de8e6932
https://github.com/kframework/java-semantics/blob/698577494f9f84326f7ed49d9867b824de8e6932/model-check
https://github.com/kframework/java-semantics/tree/698577494f9f84326f7ed49d9867b824de8e6932
#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/model-check
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/model-check
https://github.com/kframework/java-semantics/tree/4dbb8a8894240bff2f69e35bd94cf9e84c988d90
#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/model-check
https://github.com/kframework/java-semantics/tree/7d00b116065fb0a5e677e522f433c48f511346a2
#KJ-85 Read JavaFAN papers. Added JavaFAN examples.https://github.com/kframework/java-semantics/commit/798dfe83edd521b2e584f1b69004e6fc9505478a
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
798dfe8https://github.com/kframework/java-semantics/commit/798dfe83edd521b2e584f1b69004e6fc9505478a
https://github.com/kframework/java-semantics/blob/798dfe83edd521b2e584f1b69004e6fc9505478a/model-check
https://github.com/kframework/java-semantics/tree/798dfe83edd521b2e584f1b69004e6fc9505478a
threading: corrected 3 tests.https://github.com/kframework/java-semantics/commit/9059922a530e3c21c21a7dfe421d205656d70e63
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
9059922https://github.com/kframework/java-semantics/commit/9059922a530e3c21c21a7dfe421d205656d70e63
https://github.com/kframework/java-semantics/blob/9059922a530e3c21c21a7dfe421d205656d70e63/model-check
https://github.com/kframework/java-semantics/tree/9059922a530e3c21c21a7dfe421d205656d70e63
threading: Corrected some tests, simplified others to generate less solutions, and added out files for most of the missing ones.https://github.com/kframework/java-semantics/commit/2b77bd01d68e273cdfab1f351e56f7c4eb86cbb4
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
2b77bd0https://github.com/kframework/java-semantics/commit/2b77bd01d68e273cdfab1f351e56f7c4eb86cbb4
https://github.com/kframework/java-semantics/blob/2b77bd01d68e273cdfab1f351e56f7c4eb86cbb4/model-check
https://github.com/kframework/java-semantics/tree/2b77bd01d68e273cdfab1f351e56f7c4eb86cbb4
threading: Implemented the remaining features for threading: synchronization, wait, notify, interrupting. Simplified some tests to be manageable by model checker. Many tests still cannot be used be…https://github.com/kframework/java-semantics/commit/26f34a6a2d1e9906ac230b7ceabf277237661d64
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
26f34a6https://github.com/kframework/java-semantics/commit/26f34a6a2d1e9906ac230b7ceabf277237661d64
https://github.com/kframework/java-semantics/blob/26f34a6a2d1e9906ac230b7ceabf277237661d64/model-check
https://github.com/kframework/java-semantics/tree/26f34a6a2d1e9906ac230b7ceabf277237661d64
threading: Implemented synchronized statement and method modifier. Added some simplified tests for synchronization because old ones were too complex to be model-checked.https://github.com/kframework/java-semantics/commit/237ac722cde073403ca8ee2f46c1c84190840868
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
237ac72https://github.com/kframework/java-semantics/commit/237ac722cde073403ca8ee2f46c1c84190840868
https://github.com/kframework/java-semantics/blob/237ac722cde073403ca8ee2f46c1c84190840868/model-check
https://github.com/kframework/java-semantics/tree/237ac722cde073403ca8ee2f46c1c84190840868
threading: Implemented Thread.join. required some changes to the class Thread.https://github.com/kframework/java-semantics/commit/1d51e21619d47629d5a1068b3d1df6c839d349cd
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
1d51e21https://github.com/kframework/java-semantics/commit/1d51e21619d47629d5a1068b3d1df6c839d349cd
https://github.com/kframework/java-semantics/blob/1d51e21619d47629d5a1068b3d1df6c839d349cd/model-check
https://github.com/kframework/java-semantics/tree/1d51e21619d47629d5a1068b3d1df6c839d349cd
threading: 1. Updated both tools and semantics to support model checking on threads.https://github.com/kframework/java-semantics/commit/9d15dd0447e6ca244c8a9c58dc49b39018e6810a
https://github.com/denis-bogdanas
denis-bogdanashttps://github.com/kframework/java-semantics/commits?author=denis-bogdanas
9d15dd0https://github.com/kframework/java-semantics/commit/9d15dd0447e6ca244c8a9c58dc49b39018e6810a
https://github.com/kframework/java-semantics/blob/9d15dd0447e6ca244c8a9c58dc49b39018e6810a/model-check
https://github.com/kframework/java-semantics/tree/9d15dd0447e6ca244c8a9c58dc49b39018e6810a
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.