https://upir.subhadipmitra.com/ 2025-11-16 https://upir.subhadipmitra.com/architecture_spec/ 2025-11-16 https://upir.subhadipmitra.com/td_commons_summary/ 2025-11-16 https://upir.subhadipmitra.com/about/attribution/ 2025-11-16 https://upir.subhadipmitra.com/about/license/ 2025-11-16 https://upir.subhadipmitra.com/about/references/ 2025-11-16 https://upir.subhadipmitra.com/api/core/architecture/ 2025-11-16 https://upir.subhadipmitra.com/api/core/evidence/ 2025-11-16 https://upir.subhadipmitra.com/api/core/specification/ 2025-11-16 https://upir.subhadipmitra.com/api/core/temporal/ 2025-11-16 https://upir.subhadipmitra.com/api/core/upir/ 2025-11-16 https://upir.subhadipmitra.com/api/learning/learner/ 2025-11-16 https://upir.subhadipmitra.com/api/learning/ppo/ 2025-11-16 https://upir.subhadipmitra.com/api/patterns/extractor/ 2025-11-16 https://upir.subhadipmitra.com/api/patterns/library/ 2025-11-16 https://upir.subhadipmitra.com/api/patterns/pattern/ 2025-11-16 https://upir.subhadipmitra.com/api/synthesis/cegis/ 2025-11-16 https://upir.subhadipmitra.com/api/synthesis/sketch/ 2025-11-16 https://upir.subhadipmitra.com/api/verification/solver/ 2025-11-16 https://upir.subhadipmitra.com/api/verification/verifier/ 2025-11-16 https://upir.subhadipmitra.com/contributing/setup/ 2025-11-16 https://upir.subhadipmitra.com/contributing/style/ 2025-11-16 https://upir.subhadipmitra.com/contributing/testing/ 2025-11-16 https://upir.subhadipmitra.com/examples/batch/ 2025-11-16 https://upir.subhadipmitra.com/examples/patterns/ 2025-11-16 https://upir.subhadipmitra.com/examples/streaming/ 2025-11-16 https://upir.subhadipmitra.com/getting-started/concepts/ 2025-11-16 https://upir.subhadipmitra.com/getting-started/installation/ 2025-11-16 https://upir.subhadipmitra.com/getting-started/quickstart/ 2025-11-16 https://upir.subhadipmitra.com/guide/learning/ 2025-11-16 https://upir.subhadipmitra.com/guide/patterns/ 2025-11-16 https://upir.subhadipmitra.com/guide/specifications/ 2025-11-16 https://upir.subhadipmitra.com/guide/synthesis/ 2025-11-16 https://upir.subhadipmitra.com/guide/verification/ 2025-11-16