Skip to content
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

Support while, ite, and char in the Rust backend #4352

Merged
merged 4 commits into from
Aug 3, 2023
Merged

Support while, ite, and char in the Rust backend #4352

merged 4 commits into from
Aug 3, 2023

Conversation

shadaj
Copy link
Collaborator

@shadaj shadaj commented Jul 28, 2023 •
edited
Loading

This was referenced Jul 28, 2023
Merged
Merged
Merged
jtristan pushed a commit that referenced this pull request Jul 28, 2023
@shadaj
Run Cargo in quiet mode to fix integration tests (#4351)
3b2e0bd 
Run Cargo in quiet mode to fix integration tests

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4351).
* #4352
* #4346
* #4343
* __->__ #4351
@shadaj shadaj mentioned this pull request Jul 28, 2023
Merged
jtristan pushed a commit that referenced this pull request Jul 31, 2023
@shadaj
Support co-inductive datatypes in Rust backend (#4343)
f7b9143 
Support co-inductive datatypes in Rust backend



<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4343).
* #4353
* #4352
* #4346
* __->__ #4343
@shadaj shadaj mentioned this pull request Jul 31, 2023
Merged
@shadaj shadaj force-pushed the pr4352 branch 2 times, most recently from 74acbbf to fddf2df Compare July 31, 2023 19:33
@shadaj shadaj mentioned this pull request Jul 31, 2023
Merged
@shadaj shadaj mentioned this pull request Aug 1, 2023
Merged
jtristan pushed a commit that referenced this pull request Aug 1, 2023
@shadaj
Initial support for multi-assignments and class methods in the Rust b…
7447d00 
…ackend (#4346)

Initial support for multi-assignments and class methods in the Rust
backend





<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4346).
* #4368
* #4363
* #4361
* #4353
* #4352
* __->__ #4346
@shadaj
Support while, ite, and char in the Rust backend
4736f8a 
<small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
@shadaj shadaj marked this pull request as ready for review August 1, 2023 19:45
@shadaj shadaj requested a review from jtristan August 1, 2023 19:45
@shadaj shadaj mentioned this pull request Aug 1, 2023
Merged
@jtristan jtristan enabled auto-merge (squash) August 2, 2023 18:35
@jtristan jtristan merged commit b8dbead into dafny-lang:master Aug 3, 2023
18 checks passed
keyboardDrummer pushed a commit to keyboardDrummer/dafny that referenced this pull request Sep 15, 2023
@shadaj @keyboardDrummer
Run Cargo in quiet mode to fix integration tests (dafny-lang#4351)
e88b027 
Run Cargo in quiet mode to fix integration tests

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4351).
* dafny-lang#4352
* dafny-lang#4346
* dafny-lang#4343
* __->__ dafny-lang#4351
keyboardDrummer pushed a commit to keyboardDrummer/dafny that referenced this pull request Sep 15, 2023
@shadaj @keyboardDrummer
Support co-inductive datatypes in Rust backend (dafny-lang#4343)
3eb74f8 
Support co-inductive datatypes in Rust backend



<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4343).
* dafny-lang#4353
* dafny-lang#4352
* dafny-lang#4346
* __->__ dafny-lang#4343
keyboardDrummer pushed a commit to keyboardDrummer/dafny that referenced this pull request Sep 15, 2023
@shadaj @keyboardDrummer
Initial support for multi-assignments and class methods in the Rust b…
8a23074 
…ackend (dafny-lang#4346)

Initial support for multi-assignments and class methods in the Rust
backend





<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4346).
* dafny-lang#4368
* dafny-lang#4363
* dafny-lang#4361
* dafny-lang#4353
* dafny-lang#4352
* __->__ dafny-lang#4346
keyboardDrummer pushed a commit to keyboardDrummer/dafny that referenced this pull request Sep 15, 2023
@shadaj @jtristan @keyboardDrummer
Support while, ite, and char in the Rust backend (dafny-lang#4352)
576649d 
Support while, ite, and char in the Rust backend

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4352).
* dafny-lang#4369
* dafny-lang#4368
* dafny-lang#4363
* dafny-lang#4361
* dafny-lang#4353
* __->__ dafny-lang#4352

Co-authored-by: John Tristan <[email protected]>
keyboardDrummer pushed a commit that referenced this pull request Sep 19, 2023
@shadaj @keyboardDrummer
Initial support for multi-assignments and class methods in the Rust b…
7c5b708 
…ackend (#4346)

Initial support for multi-assignments and class methods in the Rust
backend





<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4346).
* #4368
* #4363
* #4361
* #4353
* #4352
* __->__ #4346
keyboardDrummer pushed a commit that referenced this pull request Sep 19, 2023
@shadaj @jtristan @keyboardDrummer
Support while, ite, and char in the Rust backend (#4352)
0843f69 
Support while, ite, and char in the Rust backend

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

---
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/dafny-lang/dafny/pull/4352).
* #4369
* #4368
* #4363
* #4361
* #4353
* __->__ #4352

Co-authored-by: John Tristan <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jtristan jtristan jtristan 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.

None yet
2 participants
@shadaj @jtristan