Skip to content

CTL integration #97

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 12 commits into from
Jul 2, 2023
Merged

CTL integration #97

merged 12 commits into from
Jul 2, 2023

Conversation

@bladyjoker
Copy link
Contributor

@bladyjoker bladyjoker commented Jun 27, 2023 •
edited
Loading

DONE

  • lbf and lbg implement the gen-class flag to instruct the stack to generate implementions for specified classes
  • lbr-plutus
    • Instance property tests
  • lbt-plutus
    • Derive property tests
    • TODO: Derive golden tests
    • TODO: Instance golden tests

@bladyjoker bladyjoker self-assigned this Jun 30, 2023
@bladyjoker bladyjoker added enhancement New feature or request catalyst frontend codegen testing Anything with tests labels Jun 30, 2023
@bladyjoker bladyjoker added this pull request to the merge queue Jul 2, 2023
Merged via the queue into main with commit e781301 Jul 2, 2023
@bladyjoker bladyjoker deleted the bladyjoker/ctl-integration branch July 2, 2023 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@bladyjoker bladyjoker

Labels

catalyst codegen enhancement New feature or request frontend testing Anything with tests

Projects

Lambda Buffers
Status: Done

Milestone

Catalyst milestone 3: Testing and doc...

Development

Successfully merging this pull request may close these issues.

2 participants

@bladyjoker