move exercise files around

verus-lang · Nov 2, 2024 · 539132d · 539132d
1 parent 58fd511
commit 539132d
Show file tree

Hide file tree

Showing 81 changed files with 2 additions and 2 deletions.
diff --git a/...orial/exercises/exercise_counting_to_2.rs → ...ced-rust-topics/exercise_counting_to_2.rs b/...orial/exercises/exercise_counting_to_2.rs → ...ced-rust-topics/exercise_counting_to_2.rs
@@ -159,7 +159,7 @@ code below.
 
 One way to see what actually gets generated by VerusSync is to consult the rustdoc.
 The relevant rustdoc is included with this exercise;
-from this directory, go to: ./doc/exercise_counting_to_2/X/struct.Instance.html
+from this directory, go to: ./generated_counting_to_2_rustdoc/exercise_counting_to_2/X/struct.Instance.html
 
 The most important signatures are replicated here; see the rustdoc
 for the full Verus specifications.

diff --git a/.../exercises/exercise_doubly_linked_list.rs → ...ust-topics/exercise_doubly_linked_list.rs b/.../exercises/exercise_doubly_linked_list.rs → ...ust-topics/exercise_doubly_linked_list.rs
diff --git a/...sp-tutorial/exercises/exercise_memoize.rs → .../advanced-rust-topics/exercise_memoize.rs b/...sp-tutorial/exercises/exercise_memoize.rs → .../advanced-rust-topics/exercise_memoize.rs
diff --git a/...generated_counting_to_2_rustdoc/crates.js → ...generated_counting_to_2_rustdoc/crates.js b/...generated_counting_to_2_rustdoc/crates.js → ...generated_counting_to_2_rustdoc/crates.js
diff --git a/...exercise_counting_to_2/X/enum.Config.html → ...exercise_counting_to_2/X/enum.Config.html b/...exercise_counting_to_2/X/enum.Config.html → ...exercise_counting_to_2/X/enum.Config.html
diff --git a/...c/exercise_counting_to_2/X/enum.Step.html → ...c/exercise_counting_to_2/X/enum.Step.html b/...c/exercise_counting_to_2/X/enum.Step.html → ...c/exercise_counting_to_2/X/enum.Step.html
diff --git a/...stdoc/exercise_counting_to_2/X/index.html → ...stdoc/exercise_counting_to_2/X/index.html b/...stdoc/exercise_counting_to_2/X/index.html → ...stdoc/exercise_counting_to_2/X/index.html
diff --git a/...e_counting_to_2/X/show/fn.initialize.html → ...e_counting_to_2/X/show/fn.initialize.html b/...e_counting_to_2/X/show/fn.initialize.html → ...e_counting_to_2/X/show/fn.initialize.html
diff --git a/...ise_counting_to_2/X/show/fn.tr_inc_a.html → ...ise_counting_to_2/X/show/fn.tr_inc_a.html b/...ise_counting_to_2/X/show/fn.tr_inc_a.html → ...ise_counting_to_2/X/show/fn.tr_inc_a.html
diff --git a/...ise_counting_to_2/X/show/fn.tr_inc_b.html → ...ise_counting_to_2/X/show/fn.tr_inc_b.html b/...ise_counting_to_2/X/show/fn.tr_inc_b.html → ...ise_counting_to_2/X/show/fn.tr_inc_b.html
diff --git a/.../exercise_counting_to_2/X/show/index.html → .../exercise_counting_to_2/X/show/index.html b/.../exercise_counting_to_2/X/show/index.html → .../exercise_counting_to_2/X/show/index.html
diff --git a/...ise_counting_to_2/X/show/sidebar-items.js → ...ise_counting_to_2/X/show/sidebar-items.js b/...ise_counting_to_2/X/show/sidebar-items.js → ...ise_counting_to_2/X/show/sidebar-items.js
diff --git a/...exercise_counting_to_2/X/sidebar-items.js → ...exercise_counting_to_2/X/sidebar-items.js b/...exercise_counting_to_2/X/sidebar-items.js → ...exercise_counting_to_2/X/sidebar-items.js
diff --git a/...cise_counting_to_2/X/struct.Instance.html → ...cise_counting_to_2/X/struct.Instance.html b/...cise_counting_to_2/X/struct.Instance.html → ...cise_counting_to_2/X/struct.Instance.html
diff --git a/...xercise_counting_to_2/X/struct.State.html → ...xercise_counting_to_2/X/struct.State.html b/...xercise_counting_to_2/X/struct.State.html → ...xercise_counting_to_2/X/struct.State.html
diff --git a/...rcise_counting_to_2/X/struct.counter.html → ...rcise_counting_to_2/X/struct.counter.html b/...rcise_counting_to_2/X/struct.counter.html → ...rcise_counting_to_2/X/struct.counter.html
diff --git a/...ing_to_2/X/struct.counter_token_data.html → ...ing_to_2/X/struct.counter_token_data.html b/...ing_to_2/X/struct.counter_token_data.html → ...ing_to_2/X/struct.counter_token_data.html
diff --git a/...xercise_counting_to_2/X/struct.inc_a.html → ...xercise_counting_to_2/X/struct.inc_a.html b/...xercise_counting_to_2/X/struct.inc_a.html → ...xercise_counting_to_2/X/struct.inc_a.html
diff --git a/...nting_to_2/X/struct.inc_a_token_data.html → ...nting_to_2/X/struct.inc_a_token_data.html b/...nting_to_2/X/struct.inc_a_token_data.html → ...nting_to_2/X/struct.inc_a_token_data.html
diff --git a/...xercise_counting_to_2/X/struct.inc_b.html → ...xercise_counting_to_2/X/struct.inc_b.html b/...xercise_counting_to_2/X/struct.inc_b.html → ...xercise_counting_to_2/X/struct.inc_b.html
diff --git a/...nting_to_2/X/struct.inc_b_token_data.html → ...nting_to_2/X/struct.inc_b_token_data.html b/...nting_to_2/X/struct.inc_b_token_data.html → ...nting_to_2/X/struct.inc_b_token_data.html
diff --git a/...nting_to_2/X/take_step/fn.initialize.html → ...nting_to_2/X/take_step/fn.initialize.html b/...nting_to_2/X/take_step/fn.initialize.html → ...nting_to_2/X/take_step/fn.initialize.html
diff --git a/...ounting_to_2/X/take_step/fn.tr_inc_a.html → ...ounting_to_2/X/take_step/fn.tr_inc_a.html b/...ounting_to_2/X/take_step/fn.tr_inc_a.html → ...ounting_to_2/X/take_step/fn.tr_inc_a.html
diff --git a/...ounting_to_2/X/take_step/fn.tr_inc_b.html → ...ounting_to_2/X/take_step/fn.tr_inc_b.html b/...ounting_to_2/X/take_step/fn.tr_inc_b.html → ...ounting_to_2/X/take_step/fn.tr_inc_b.html
diff --git a/...cise_counting_to_2/X/take_step/index.html → ...cise_counting_to_2/X/take_step/index.html b/...cise_counting_to_2/X/take_step/index.html → ...cise_counting_to_2/X/take_step/index.html
diff --git a/...ounting_to_2/X/take_step/sidebar-items.js → ...ounting_to_2/X/take_step/sidebar-items.js b/...ounting_to_2/X/take_step/sidebar-items.js → ...ounting_to_2/X/take_step/sidebar-items.js
diff --git a/...2_rustdoc/exercise_counting_to_2/all.html → ...2_rustdoc/exercise_counting_to_2/all.html b/...2_rustdoc/exercise_counting_to_2/all.html → ...2_rustdoc/exercise_counting_to_2/all.html
diff --git a/...rustdoc/exercise_counting_to_2/index.html → ...rustdoc/exercise_counting_to_2/index.html b/...rustdoc/exercise_counting_to_2/index.html → ...rustdoc/exercise_counting_to_2/index.html
diff --git a/...c/exercise_counting_to_2/sidebar-items.js → ...c/exercise_counting_to_2/sidebar-items.js b/...c/exercise_counting_to_2/sidebar-items.js → ...c/exercise_counting_to_2/sidebar-items.js
diff --git a/...ounting_to_2/struct.CounterPredicate.html → ...ounting_to_2/struct.CounterPredicate.html b/...ounting_to_2/struct.CounterPredicate.html → ...ounting_to_2/struct.CounterPredicate.html
diff --git a/...se_counting_to_2/struct.LockInterior.html → ...se_counting_to_2/struct.LockInterior.html b/...se_counting_to_2/struct.LockInterior.html → ...se_counting_to_2/struct.LockInterior.html
diff --git a/...generated_counting_to_2_rustdoc/help.html → ...generated_counting_to_2_rustdoc/help.html b/...generated_counting_to_2_rustdoc/help.html → ...generated_counting_to_2_rustdoc/help.html
diff --git a/...ted_counting_to_2_rustdoc/search-index.js → ...ted_counting_to_2_rustdoc/search-index.js b/...ted_counting_to_2_rustdoc/search-index.js → ...ted_counting_to_2_rustdoc/search-index.js
diff --git a/...ng_to_2/exercise_counting_to_2-desc-0-.js → ...ng_to_2/exercise_counting_to_2-desc-0-.js b/...ng_to_2/exercise_counting_to_2-desc-0-.js → ...ng_to_2/exercise_counting_to_2-desc-0-.js
diff --git a/...rated_counting_to_2_rustdoc/settings.html → ...rated_counting_to_2_rustdoc/settings.html b/...rated_counting_to_2_rustdoc/settings.html → ...rated_counting_to_2_rustdoc/settings.html
diff --git a/...erated_counting_to_2_rustdoc/src-files.js → ...erated_counting_to_2_rustdoc/src-files.js b/...erated_counting_to_2_rustdoc/src-files.js → ...erated_counting_to_2_rustdoc/src-files.js
diff --git a/...nting_to_2/exercise_counting_to_2.rs.html → ...nting_to_2/exercise_counting_to_2.rs.html b/...nting_to_2/exercise_counting_to_2.rs.html → ...nting_to_2/exercise_counting_to_2.rs.html
diff --git a/...atic.files/COPYRIGHT-23e9bde6c69aea69.txt → ...atic.files/COPYRIGHT-23e9bde6c69aea69.txt b/...atic.files/COPYRIGHT-23e9bde6c69aea69.txt → ...atic.files/COPYRIGHT-23e9bde6c69aea69.txt
diff --git a/...les/FiraSans-LICENSE-db4b642586e02d97.txt → ...les/FiraSans-LICENSE-db4b642586e02d97.txt b/...les/FiraSans-LICENSE-db4b642586e02d97.txt → ...les/FiraSans-LICENSE-db4b642586e02d97.txt
diff --git a/...es/FiraSans-Medium-8f9a781e4970d388.woff2 → ...es/FiraSans-Medium-8f9a781e4970d388.woff2 b/...es/FiraSans-Medium-8f9a781e4970d388.woff2 → ...es/FiraSans-Medium-8f9a781e4970d388.woff2
diff --git a/...s/FiraSans-Regular-018c141bf0843ffd.woff2 → ...s/FiraSans-Regular-018c141bf0843ffd.woff2 b/...s/FiraSans-Regular-018c141bf0843ffd.woff2 → ...s/FiraSans-Regular-018c141bf0843ffd.woff2
diff --git a/...files/LICENSE-APACHE-b91fa81cba47b86a.txt → ...files/LICENSE-APACHE-b91fa81cba47b86a.txt b/...files/LICENSE-APACHE-b91fa81cba47b86a.txt → ...files/LICENSE-APACHE-b91fa81cba47b86a.txt
diff --git a/...ic.files/LICENSE-MIT-65090b722b3f6c56.txt → ...ic.files/LICENSE-MIT-65090b722b3f6c56.txt b/...ic.files/LICENSE-MIT-65090b722b3f6c56.txt → ...ic.files/LICENSE-MIT-65090b722b3f6c56.txt
diff --git a/...numBarunGothic-0f09457c7a19b7c6.ttf.woff2 → ...numBarunGothic-0f09457c7a19b7c6.ttf.woff2 b/...numBarunGothic-0f09457c7a19b7c6.ttf.woff2 → ...numBarunGothic-0f09457c7a19b7c6.ttf.woff2
diff --git a/...mBarunGothic-LICENSE-18c5adf4b52b4041.txt → ...mBarunGothic-LICENSE-18c5adf4b52b4041.txt b/...mBarunGothic-LICENSE-18c5adf4b52b4041.txt → ...mBarunGothic-LICENSE-18c5adf4b52b4041.txt
diff --git a/...urceCodePro-It-1cc31594bf4f1f79.ttf.woff2 → ...urceCodePro-It-1cc31594bf4f1f79.ttf.woff2 b/...urceCodePro-It-1cc31594bf4f1f79.ttf.woff2 → ...urceCodePro-It-1cc31594bf4f1f79.ttf.woff2
diff --git a/...ourceCodePro-LICENSE-d180d465a756484a.txt → ...ourceCodePro-LICENSE-d180d465a756484a.txt b/...ourceCodePro-LICENSE-d180d465a756484a.txt → ...ourceCodePro-LICENSE-d180d465a756484a.txt
diff --git a/...odePro-Regular-562dcc5011b6de7d.ttf.woff2 → ...odePro-Regular-562dcc5011b6de7d.ttf.woff2 b/...odePro-Regular-562dcc5011b6de7d.ttf.woff2 → ...odePro-Regular-562dcc5011b6de7d.ttf.woff2
diff --git a/...dePro-Semibold-d899c5a5c4aeb14a.ttf.woff2 → ...dePro-Semibold-d899c5a5c4aeb14a.ttf.woff2 b/...dePro-Semibold-d899c5a5c4aeb14a.ttf.woff2 → ...dePro-Semibold-d899c5a5c4aeb14a.ttf.woff2
diff --git a/...rceSerif4-Bold-a2c9cd1067f8b328.ttf.woff2 → ...rceSerif4-Bold-a2c9cd1067f8b328.ttf.woff2 b/...rceSerif4-Bold-a2c9cd1067f8b328.ttf.woff2 → ...rceSerif4-Bold-a2c9cd1067f8b328.ttf.woff2
diff --git a/...ourceSerif4-It-acdfaf1a8af734b1.ttf.woff2 → ...ourceSerif4-It-acdfaf1a8af734b1.ttf.woff2 b/...ourceSerif4-It-acdfaf1a8af734b1.ttf.woff2 → ...ourceSerif4-It-acdfaf1a8af734b1.ttf.woff2
diff --git a/.../SourceSerif4-LICENSE-3bb119e13b1258b7.md → .../SourceSerif4-LICENSE-3bb119e13b1258b7.md b/.../SourceSerif4-LICENSE-3bb119e13b1258b7.md → .../SourceSerif4-LICENSE-3bb119e13b1258b7.md
diff --git a/...Serif4-Regular-46f98efaafac5295.ttf.woff2 → ...Serif4-Regular-46f98efaafac5295.ttf.woff2 b/...Serif4-Regular-46f98efaafac5295.ttf.woff2 → ...Serif4-Regular-46f98efaafac5295.ttf.woff2
diff --git a/...atic.files/clipboard-24048e6d87f63d07.svg → ...atic.files/clipboard-24048e6d87f63d07.svg b/...atic.files/clipboard-24048e6d87f63d07.svg → ...atic.files/clipboard-24048e6d87f63d07.svg
diff --git a/...static.files/favicon-2c020d218678b618.svg → ...static.files/favicon-2c020d218678b618.svg b/...static.files/favicon-2c020d218678b618.svg → ...static.files/favicon-2c020d218678b618.svg
diff --git a/....files/favicon-32x32-422f7d1d52889060.png → ....files/favicon-32x32-422f7d1d52889060.png b/....files/favicon-32x32-422f7d1d52889060.png → ....files/favicon-32x32-422f7d1d52889060.png
diff --git a/...doc/static.files/main-20a3ad099b048cf2.js → ...doc/static.files/main-20a3ad099b048cf2.js b/...doc/static.files/main-20a3ad099b048cf2.js → ...doc/static.files/main-20a3ad099b048cf2.js
diff --git a/...atic.files/normalize-76eba96aa4d2e634.css → ...atic.files/normalize-76eba96aa4d2e634.css b/...atic.files/normalize-76eba96aa4d2e634.css → ...atic.files/normalize-76eba96aa4d2e634.css
diff --git a/...tatic.files/noscript-09095024cf37855e.css → ...tatic.files/noscript-09095024cf37855e.css b/...tatic.files/noscript-09095024cf37855e.css → ...tatic.files/noscript-09095024cf37855e.css
diff --git a/...atic.files/rust-logo-151179464ae7ed46.svg → ...atic.files/rust-logo-151179464ae7ed46.svg b/...atic.files/rust-logo-151179464ae7ed46.svg → ...atic.files/rust-logo-151179464ae7ed46.svg
diff --git a/...static.files/rustdoc-081576b923113409.css → ...static.files/rustdoc-081576b923113409.css b/...static.files/rustdoc-081576b923113409.css → ...static.files/rustdoc-081576b923113409.css
diff --git a/...files/scrape-examples-ef1e698c1d417c0c.js → ...files/scrape-examples-ef1e698c1d417c0c.js b/...files/scrape-examples-ef1e698c1d417c0c.js → ...files/scrape-examples-ef1e698c1d417c0c.js
diff --git a/...c/static.files/search-bf21c90c8c1d92b1.js → ...c/static.files/search-bf21c90c8c1d92b1.js b/...c/static.files/search-bf21c90c8c1d92b1.js → ...c/static.files/search-bf21c90c8c1d92b1.js
diff --git a/...static.files/settings-4313503d2e1961c2.js → ...static.files/settings-4313503d2e1961c2.js b/...static.files/settings-4313503d2e1961c2.js → ...static.files/settings-4313503d2e1961c2.js
diff --git a/...atic.files/src-script-e66d777a5a92e9b2.js → ...atic.files/src-script-e66d777a5a92e9b2.js b/...atic.files/src-script-e66d777a5a92e9b2.js → ...atic.files/src-script-e66d777a5a92e9b2.js
diff --git a/.../static.files/storage-e32f0c247825364d.js → .../static.files/storage-e32f0c247825364d.js b/.../static.files/storage-e32f0c247825364d.js → .../static.files/storage-e32f0c247825364d.js
diff --git a/...c/static.files/wheel-63255fc4502dca9a.svg → ...c/static.files/wheel-63255fc4502dca9a.svg b/...c/static.files/wheel-63255fc4502dca9a.svg → ...c/static.files/wheel-63255fc4502dca9a.svg
diff --git a/...tdoc/trait.impl/core/clone/trait.Clone.js → ...tdoc/trait.impl/core/clone/trait.Clone.js b/...tdoc/trait.impl/core/clone/trait.Clone.js → ...tdoc/trait.impl/core/clone/trait.Clone.js
diff --git a/...tdoc/trait.impl/core/marker/trait.Copy.js → ...tdoc/trait.impl/core/marker/trait.Copy.js b/...tdoc/trait.impl/core/marker/trait.Copy.js → ...tdoc/trait.impl/core/marker/trait.Copy.js
diff --git a/...oc/trait.impl/core/marker/trait.Freeze.js → ...oc/trait.impl/core/marker/trait.Freeze.js b/...oc/trait.impl/core/marker/trait.Freeze.js → ...oc/trait.impl/core/marker/trait.Freeze.js
diff --git a/...tdoc/trait.impl/core/marker/trait.Send.js → ...tdoc/trait.impl/core/marker/trait.Send.js b/...tdoc/trait.impl/core/marker/trait.Send.js → ...tdoc/trait.impl/core/marker/trait.Send.js
diff --git a/...tdoc/trait.impl/core/marker/trait.Sync.js → ...tdoc/trait.impl/core/marker/trait.Sync.js b/...tdoc/trait.impl/core/marker/trait.Sync.js → ...tdoc/trait.impl/core/marker/trait.Sync.js
diff --git a/...doc/trait.impl/core/marker/trait.Unpin.js → ...doc/trait.impl/core/marker/trait.Unpin.js b/...doc/trait.impl/core/marker/trait.Unpin.js → ...doc/trait.impl/core/marker/trait.Unpin.js
diff --git a/.../panic/unwind_safe/trait.RefUnwindSafe.js → .../panic/unwind_safe/trait.RefUnwindSafe.js b/.../panic/unwind_safe/trait.RefUnwindSafe.js → .../panic/unwind_safe/trait.RefUnwindSafe.js
diff --git a/...ore/panic/unwind_safe/trait.UnwindSafe.js → ...ore/panic/unwind_safe/trait.UnwindSafe.js b/...ore/panic/unwind_safe/trait.UnwindSafe.js → ...ore/panic/unwind_safe/trait.UnwindSafe.js
diff --git a/...impl/vstd/rwlock/trait.RwLockPredicate.js → ...impl/vstd/rwlock/trait.RwLockPredicate.js b/...impl/vstd/rwlock/trait.RwLockPredicate.js → ...impl/vstd/rwlock/trait.RwLockPredicate.js
diff --git a/...ercises/memoization_exercise_internals.rs → ...-topics/memoization_exercise_internals.rs b/...ercises/memoization_exercise_internals.rs → ...-topics/memoization_exercise_internals.rs
diff --git a/...orial/exercises/solution_counting_to_2.rs → ...ced-rust-topics/solution_counting_to_2.rs b/...orial/exercises/solution_counting_to_2.rs → ...ced-rust-topics/solution_counting_to_2.rs
@@ -159,7 +159,7 @@ code below.
 
 One way to see what actually gets generated by VerusSync is to consult the rustdoc.
 The relevant rustdoc is included with this exercise;
-from this directory, go to: ./doc/exercise_counting_to_2/X/struct.Instance.html
+from this directory, go to: ./generated_counting_to_2_rustdoc/exercise_counting_to_2/X/struct.Instance.html
 
 The most important signatures are replicated here; see the rustdoc
 for the full Verus specifications.

diff --git a/.../exercises/solution_doubly_linked_list.rs → ...ust-topics/solution_doubly_linked_list.rs b/.../exercises/solution_doubly_linked_list.rs → ...ust-topics/solution_doubly_linked_list.rs
diff --git a/...sp-tutorial/exercises/solution_memoize.rs → .../advanced-rust-topics/solution_memoize.rs b/...sp-tutorial/exercises/solution_memoize.rs → .../advanced-rust-topics/solution_memoize.rs
diff --git a/...rial/exercises/unverified_counter_to_2.rs → ...ed-rust-topics/unverified_counter_to_2.rs b/...rial/exercises/unverified_counter_to_2.rs → ...ed-rust-topics/unverified_counter_to_2.rs