Skip to content

Rider plugin #1463

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Dec 7, 2022
Merged

Rider plugin #1463

merged 4 commits into from
Dec 7, 2022

Conversation

Domonion
Copy link
Collaborator

@Domonion Domonion commented Dec 6, 2022

Rider plugin, based on #1120 .

  1. Introducing first version of UtBot for Rider, based on VSharp symbolic
    engine
  2. Added Run Rider run configuration
  3. Added github workflow Publish Rider plugin
  4. Separate: Added .gitignore for settings.properties (generated from UtSettings)

@Vassiliy-Kudryashov Vassiliy-Kudryashov removed their request for review December 6, 2022 14:13
@Domonion Domonion force-pushed the kononov-rider branch 4 times, most recently from 4e60785 to 0eb8273 Compare December 6, 2022 16:03
@Domonion Domonion requested a review from korifey December 6, 2022 17:39
1. introducing first version of UtBot for Rider, based on VSharp symbolic
engine
2. Added `Run Rider` run configuration
fixing cross-os vsharp start
@Domonion Domonion enabled auto-merge (squash) December 6, 2022 17:39
@Domonion Domonion merged commit 0faf1b5 into main Dec 7, 2022
@Domonion Domonion deleted the kononov-rider branch December 7, 2022 02:46
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