Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Improve package names #230

Merged
merged 3 commits into from
May 11, 2023
Merged

Improve package names #230

merged 3 commits into from
May 11, 2023

Conversation

rbehjati
Copy link
Contributor

@rbehjati rbehjati commented May 11, 2023 •
edited
Loading

Fixes #229

  • Merges package types (in pkg) into package model (in internal)
  • Renames package amber to claims and removes Amber prefixes from constants and function names.

It's a good idea to open an issue first for discussion.

  • Tests pass
  • Appropriate changes to README are included in PR

@rbehjati rbehjati requested a review from tiziano88 May 11, 2023 12:42
@rbehjati rbehjati merged commit 0b728a4 into project-oak:main May 11, 2023
@rbehjati rbehjati deleted the refactor branch May 11, 2023 14:55
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@tiziano88 tiziano88 tiziano88 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Better package names in pkg
2 participants
@rbehjati @tiziano88