Skip to content

Conversation

@srinathsetty
Copy link
Collaborator

No description provided.

@srinathsetty srinathsetty merged commit 704d48b into main Jul 14, 2022
@srinathsetty srinathsetty deleted the pasta_msm2 branch July 14, 2022 00:00
arthurgreef pushed a commit to hashblock/Nova that referenced this pull request Jul 15, 2022
huitseeker pushed a commit to huitseeker/Nova that referenced this pull request Nov 6, 2023
…t#89)

* initial refactor of WitnessCS with ex of new constr generic changes

* explicit type information for usages of `SatisfyingAssignment::new`

* use `scalar_` public getters for the aliased WitnessCS

* go back to `_assignment` public fields

* remove reference
huitseeker pushed a commit to huitseeker/Nova that referenced this pull request Nov 8, 2023
…t#89)

* initial refactor of WitnessCS with ex of new constr generic changes

* explicit type information for usages of `SatisfyingAssignment::new`

* use `scalar_` public getters for the aliased WitnessCS

* go back to `_assignment` public fields

* remove reference
srinathsetty pushed a commit that referenced this pull request Nov 9, 2023
* chore: Update bellpepper and neptune dependencies

- Updated `bellpepper-core` and `bellpepper` dependencies to version `0.4.0`
- Upgraded `neptune` dependency to version `13.0.0`

* refactor of SatisfyingAssignment as type alias of WitnessCS (#89)

* initial refactor of WitnessCS with ex of new constr generic changes

* explicit type information for usages of `SatisfyingAssignment::new`

* use `scalar_` public getters for the aliased WitnessCS

* go back to `_assignment` public fields

* remove reference

---------

Co-authored-by: johann bestowrous <johann.bestowrous@gmail.com>
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