Change references to AleoHQ to ProvableHQ.

README.md

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

docs/grammar/abnf-grammar.txt

@@ -1 +1 @@
-; This file has been moved to https://github.com/AleoHQ/grammars.
+; This file has been moved to https://github.com/ProvableHQ/grammars.

errors/src/errors/type_checker/type_checker_error.rs

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

leo/cli/helpers/updater.rs

@@ -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);
 

tests/expectations/compiler/finalize/finalize_reassign_to_outer_scope_fail.out

@@ -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.
 """]