Skip to content

Add feature details in README#88

Open
kjw142857 wants to merge 6 commits into
mainfrom
docs-update
Open

Add feature details in README#88
kjw142857 wants to merge 6 commits into
mainfrom
docs-update

Conversation

@kjw142857

@kjw142857 kjw142857 commented Mar 11, 2026

Copy link
Copy Markdown
Contributor

Updates READMEs to:

  • Include current features implemented in java-slang
  • Include unimplemented/planned features
  • Include clarification of compiler usage in web-based version of SA
  • Add testing guide for compiler

@github-actions

github-actions Bot commented Mar 11, 2026

Copy link
Copy Markdown

Coverage report

St.
Category Percentage Covered / Total
🟡 Statements 73.95% 7176/9704
🟡 Branches 60.39% 2356/3901
🟡 Functions 69.45% 1287/1853
🟡 Lines 74.89% 6755/9020

Test suite run success

1120 tests passing in 63 suites.

Report generated by 🧪jest coverage report action from 668d673

@kjw142857 kjw142857 changed the title Add details in README Add feature details in README Mar 11, 2026
@kjw142857 kjw142857 marked this pull request as ready for review March 17, 2026 23:50
Comment thread src/compiler/README.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants