Skip to content

feat: rename awkernel_async_lib_verified to awkernel_lib_verified - #774

Merged
ytakano merged 1 commit into
tier4:mainfrom
romancardenas:awkernel_lib_verified
Nov 5, 2026
Merged

ytakano merged 1 commit into
tier4:mainfrom
romancardenas:awkernel_lib_verified

Conversation

@romancardenas

Copy link
Copy Markdown
Contributor

Description

I noticed that the awkernel_async_lib_verified name was misleading, as i) it has no asynchronous code and ii) awkernel_lib and awkernel_drivers also depend on this crate.

This PR renames the awkernel_async_lib_verified to awkernel_lib_verified. As this package is used in multiple crates, now awkernel_lib reexports it as awkernel_lib::verified. The awkernel_async_lib and awkernel_drivers crates now access to this package using the reexport.

Also, documentation about the dependency tree was outdated. This PR fixes it.

How was this PR tested?

  • scripts/ci.sh passes on my machine.
  • kani proofs pass on my machine.

@romancardenas
romancardenas marked this pull request as ready for review November 4, 2026 07:49
@ytakano
ytakano merged commit 7d8cca3 into tier4:main Nov 5, 2026
2 checks passed
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