Moving PoP-in-FStar into doc/book#4157

Merged

nikswamy merged 78 commits intofstar2from

Apr 2, 2026

Commits on Dec 22, 2023

Commits on Dec 23, 2023

Commits on Dec 30, 2023

Commits on Jan 4, 2024

Commits on Jan 5, 2024

Commits on Jan 6, 2024

recursion, plus some tweaks
nikswamy
committed

Commits on Jan 9, 2024

Commits on Jan 10, 2024

Commits on Jan 11, 2024

Commits on Jan 13, 2024

Commits on Jan 14, 2024

Commits on Jan 15, 2024

fix link
nikswamy
committed

Commits on May 30, 2024

Commits on May 31, 2024

Commits on Jun 2, 2024

update chapters on spin lock, parallel increment, and extraction
nikswamy
committed

Commits on Jun 26, 2024

fix up some docs to reflect improvements in the Pulse checker
nikswamy
committed

Commits on Jul 1, 2024

Commits on Jul 5, 2024

Commits on Jul 6, 2024

Commits on Aug 7, 2024

Commits on Jan 8, 2025

Remove pull.
gebner
committed

Commits on Jan 12, 2025

Commits on Apr 6, 2025

Commits on Apr 7, 2025

Commits on May 21, 2025

Commits on May 24, 2025

Commits on Nov 20, 2025

Commits on Apr 2, 2026