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

Change references to AleoHQ to ProvableHQ. #28505

Open
wants to merge 1 commit into
base: mainnet
Choose a base branch
from
Open

Change references to AleoHQ to ProvableHQ. #28505

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 3 additions & 4 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,10 @@
<h1 align="center">The Leo Programming Language</h1>

<p align="center">
<a href="https://circleci.com/gh/AleoHQ/leo"><img src="https://circleci.com/gh/AleoHQ/leo.svg?style=svg&circle-token=00960191919c40be0774e00ce8f7fa1fcaa20c00"></a>
<a href="https://codecov.io/gh/AleoHQ/leo"><img src="https://codecov.io/gh/AleoHQ/leo/branch/mainnet/graph/badge.svg?token=S6MWO60SYL"/></a>
<a href="https://circleci.com/gh/ProvableHQ/leo"><img src="https://circleci.com/gh/ProvableHQ/leo.svg?style=svg&circle-token=00960191919c40be0774e00ce8f7fa1fcaa20c00"></a>
<a href="https://discord.gg/aleo"><img src="https://img.shields.io/discord/700454073459015690?logo=discord"/></a>
<a href="https://github.com/ProvableHQ/leo/blob/mainnet/CONTRIBUTORS.md"><img src="https://img.shields.io/badge/contributors-393-ee8449"/></a>
<a href="https://twitter.com/AleoHQ"><img src="https://img.shields.io/twitter/follow/AleoHQ?style=social"/></a>
<a href="https://twitter.com/ProvableHQ"><img src="https://img.shields.io/twitter/follow/ProvableHQ?style=social"/></a>
</p>
<div id="top"></div>
Leo is an imperative, statically-typed programming language built for writing private applications.
Expand Down Expand Up @@ -120,7 +119,7 @@ If the issue still persists, please [open an issue](https://github.com/ProvableH

* [Hello World - Next Steps](https://docs.leo-lang.org/leo/hello)
* [Leo Language Documentation](https://docs.leo-lang.org/leo/language)
* [Leo ABNF Grammar](https://github.com/AleoHQ/grammars/blob/master/leo.abnf)
* [Leo ABNF Grammar](https://github.com/ProvableHQ/grammars/blob/master/leo.abnf)
* [Homepage](https://docs.leo-lang.org/overview/)

## 🤝 Contributing
Expand Down
2 changes: 1 addition & 1 deletion docs/grammar/abnf-grammar.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
; This file has been moved to https://github.com/AleoHQ/grammars.
; This file has been moved to https://github.com/ProvableHQ/grammars.
2 changes: 1 addition & 1 deletion errors/src/errors/type_checker/type_checker_error.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -872,7 +872,7 @@ create_messages!(
async_cannot_assign_outside_conditional {
args: (variable: impl Display),
msg: format!("Cannot re-assign to `{variable}` from a conditional scope to an outer scope in an async function."),
help: Some("This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/AleoHQ/ARCs) will support more complex assignments in async functions.".to_string()),
help: Some("This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/ProvableHQ/ARCs) will support more complex assignments in async functions.".to_string()),
}

@formatted
Expand Down
2 changes: 1 addition & 1 deletion leo/cli/helpers/updater.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ impl Updater {
const LEO_CACHE_LAST_CHECK_FILE: &'static str = "leo_cache_last_update_check";
const LEO_CACHE_VERSION_FILE: &'static str = "leo_cache_latest_version";
const LEO_REPO_NAME: &'static str = "leo";
const LEO_REPO_OWNER: &'static str = "AleoHQ";
const LEO_REPO_OWNER: &'static str = "ProvableHQ";
// 24 hours
const LEO_UPDATE_CHECK_INTERVAL: Duration = Duration::from_secs(24 * 60 * 60);

Expand Down
2 changes: 1 addition & 1 deletion tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,5 +7,5 @@ Error [ETYC0372109]: Cannot re-assign to `try_get_token` from a conditional scop
16 | let try_get_token: TokenInfo = Mapping::get_or_use(
| ^^^^^^^^^^^^^
|
= This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/AleoHQ/ARCs) will support more complex assignments in async functions.
= This is a fundamental restriction that can often be avoided by using a ternary operator `?` or re-declaring the variable in the current scope. In the future, ARC XXXX (https://github.com/ProvableHQ/ARCs) will support more complex assignments in async functions.
"""]
Loading