Skip to content

Update README.md#100

Merged
wojciechozga merged 1 commit intomainfrom
wojciechozga-patch-1
May 20, 2025
Merged

Update README.md#100
wojciechozga merged 1 commit intomainfrom
wojciechozga-patch-1

Conversation

@wojciechozga
Copy link
Copy Markdown
Member

Description of the changes

Add information about new papers on ACE in the README

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Formal verification
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Refactorization (non-breaking change which improves code quality)

Add information about new papers
@wojciechozga wojciechozga merged commit 2dcd17e into main May 20, 2025
2 of 4 checks passed
@wojciechozga wojciechozga deleted the wojciechozga-patch-1 branch May 20, 2025 07:06
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