nightly-2024-06-10: feat: Implement println in the comptime interpreter (#5197)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*



## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [x] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

nightly-2024-06-09: feat: Implement println in the comptime interpreter (#5197)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*



## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [x] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

nightly-2024-06-08: feat: Implement println in the comptime interpreter (#5197)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*



## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [x] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

nightly-2024-06-07: chore(docs): Update docs homepage (#5198)

# Description

## Problem\*

Description of Noir on the page is outdated and not fully accurate:
- Implies support for SNARK proving systems only
- Defines ZKP as Zero-Knowledge _Programs_

## Summary\*

This PR updates the descriptions accordingly.

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [ ] I have tested the changes locally.
- [ ] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

nightly-2024-06-06: fix(experimental elaborator): Fix globals which use function calls (#…

…5172)

# Description

## Problem\*

Resolves an issue where we would give a type error if a global ever used
a function call in its definition.

## Summary\*

This one was more difficult to fix than it seemed since fixing the main
bug revealed progressively more bugs.

## Additional Context

https://github.com/noir-lang/noir/pull/5170 is included here as well to
help me see that all tests are now passing.

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>

nightly-2024-06-05: chore: loosen trait bounds on impls depending on `AcirField` (#5115)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This PR is some code-organisation after #5114, rather than having a
single big impl with an `AcirField` bound we can break these down into
smaller impls with looser bounds.

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

nightly-2024-06-04: feat!: separate proving from `noir_js` (#5072)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This removes proving/verification functionality from `noir_js` in favour
of interacting with the backend.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

nightly-2024-06-03: feat!: separate proving from `noir_js` (#5072)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This removes proving/verification functionality from `noir_js` in favour
of interacting with the backend.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

nightly-2024-06-02: feat!: separate proving from `noir_js` (#5072)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This removes proving/verification functionality from `noir_js` in favour
of interacting with the backend.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

nightly-2024-06-01: feat!: separate proving from `noir_js` (#5072)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This removes proving/verification functionality from `noir_js` in favour
of interacting with the backend.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>