Skip to content

Add feature details in README#88

Draft
kjw142857 wants to merge 1 commit intomainfrom
docs-update
Draft

Add feature details in README#88
kjw142857 wants to merge 1 commit intomainfrom
docs-update

Conversation

@kjw142857
Copy link
Contributor

Updates README to:

  • Include current features implemented in java-slang
  • Include unimplemented/planned features

@github-actions
Copy link

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 ac31306

@kjw142857 kjw142857 changed the title Add details in README Add feature details in README Mar 11, 2026
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.

1 participant