{
  "build_root": "BUILD_ROOT",
  "compiler": {
    "binary": "cl.exe",
    "binary_sha256": "a9a3a13e4d019cfc0a9d823b3ee0cc383c6f3f86b00f861ac066032d869997e5",
    "id": "MSVC",
    "owner_file_sha256": "33bebcb486c4fc42c67f633fb5ff363392744fda1fcfed6ccf6230a10ed09cbf",
    "version": "19.44.35215.0"
  },
  "configuration": "Release",
  "file_api_sha256": {
    "ZERO_CHECK": "0e8b1c22104f49ac6f969e41f3390fcb5e5bd4d78c329ef18e86b38c246763b5",
    "codemodel": "6f7b92bc8ba9ebb5d154dc2dfe9af6d70d9b1d9198cc041a00e1f2fd501fcda8",
    "csl_contracts": "b115aedaf011d7da619164cc81f0afe42b9aa7bbc129c111b743bb2976b41471",
    "csl_finite_feedback": "5f0f320dd4ae0276163c91993a41e9898236f9eb17f0d7c319cd1dd9ead5f62e",
    "csl_finite_feedback_port": "343e1765752ff0dcc92fada5f2b241fbf174dc2a45c70be627d6783f49750d80",
    "csl_finite_feedback_report": "1351d1b7ebaa3e1f6815337972da6bc55f7efd61688f35f661d77132a76244ec",
    "csl_model": "89b081d6b2cd9d1db38680215d119132a75c2b77c4c3e93c1cb2cc77a11d0451",
    "csl_numeric": "39b580d0a09d2060c546ee1c3691136e3cf3afd4974535a51b190a9862cddbc8",
    "csl_objectives": "c479a56281e15f37ee533b379f3305f5edce544a96ce7ee5ef4f1031206e6f8e",
    "csl_problem": "ef3b910d4326f14a0131cf2f3c19bdf1321da7189a03848e3d577d4357e561a0",
    "csl_registry": "f9be2309e9268808680b1d13b269838ed426d2447a6c832ce844dff3846c1fe0",
    "csl_resolved_core": "563d6d0bfe516ec71accc18608990898ac27279ea58291b135dabe37ff0892fb",
    "csl_sets": "8c475223d7cbebc59b83e776d8fb8e8bcaa39fd48a8fd9473fd92ec97011a672",
    "csl_verifiers": "cb993f75c4a8552ed070ed224aa3aa7d9ba46dc31d154706685fe809daec26e3",
    "index": "852c661dbe6a6a6fee2f0fc7db096189b918c52d75cf5f163b3ce905f1911648"
  },
  "schema": "csl.finite-feedback-build-graph/2",
  "selected_artifact": "Release/csl_finite_feedback_report.exe",
  "source_root": "SOURCE_ROOT",
  "targets": {
    "ZERO_CHECK": {
      "archive": [],
      "artifacts": [],
      "compile_groups": [],
      "dependencies": [],
      "generated_source_sha256": {
        "CMakeFiles/ec9291c29ffacb8d51c974218dd357f8/generate.stamp.rule": "6d2663216bb5708992dad2784a833f449113afd00fd431274ca956fb2530d391"
      },
      "link": [],
      "sources": [
        "build/finite-feedback-clean-002/CMakeFiles/ec9291c29ffacb8d51c974218dd357f8/generate.stamp.rule"
      ],
      "type": "UTILITY"
    },
    "csl_contracts": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_contracts.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/contracts/model.cpp",
        "src/contracts/problem.cpp",
        "src/contracts/geometry.cpp",
        "src/contracts/outcomes.cpp",
        "src/contracts/execution.cpp",
        "src/contracts/synthesis.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_finite_feedback": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_finite_feedback.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/reachability/finite_feedback.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_finite_feedback_port": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_finite_feedback_port.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_finite_feedback",
        "csl_model",
        "csl_numeric",
        "csl_objectives",
        "csl_problem",
        "csl_registry",
        "csl_resolved_core",
        "csl_sets",
        "csl_verifiers"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/reachability/finite_feedback_port.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_finite_feedback_report": {
      "archive": [],
      "artifacts": [
        "Release/csl_finite_feedback_report.exe",
        "Release/csl_finite_feedback_report.pdb"
      ],
      "compile_groups": [
        {
          "defines": [
            "NDEBUG"
          ],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_finite_feedback",
        "csl_finite_feedback_port",
        "csl_model",
        "csl_numeric",
        "csl_objectives",
        "csl_problem",
        "csl_registry",
        "csl_resolved_core",
        "csl_sets",
        "csl_verifiers"
      ],
      "generated_source_sha256": {},
      "link": [
        "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -MD",
        "/machine:x64 /INCREMENTAL:NO /subsystem:console",
        "Release\\csl_finite_feedback_port.lib",
        "Release\\csl_finite_feedback.lib",
        "Release\\csl_registry.lib",
        "Release\\csl_verifiers.lib",
        "Release\\csl_resolved_core.lib",
        "Release\\csl_problem.lib",
        "Release\\csl_sets.lib",
        "Release\\csl_model.lib",
        "Release\\csl_objectives.lib",
        "Release\\csl_numeric.lib",
        "Release\\csl_contracts.lib",
        "kernel32.lib user32.lib gdi32.lib winspool.lib shell32.lib ole32.lib oleaut32.lib uuid.lib comdlg32.lib advapi32.lib"
      ],
      "sources": [
        "benchmarks/reporting/finite_feedback/driver.cpp"
      ],
      "type": "EXECUTABLE"
    },
    "csl_model": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_model.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_numeric"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/model/linear_system.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_numeric": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_numeric.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/numeric/data.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_objectives": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_objectives.lib"
      ],
      "compile_groups": [
        {
          "defines": [
            "EIGEN_MPL2_ONLY"
          ],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_numeric"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/optimization/objective_reformulation.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_problem": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_problem.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_model",
        "csl_numeric",
        "csl_sets"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/problem/domains.cpp",
        "src/problem/constraints.cpp",
        "src/problem/initial_information.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_registry": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_registry.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_model",
        "csl_numeric",
        "csl_objectives",
        "csl_problem",
        "csl_resolved_core",
        "csl_sets",
        "csl_verifiers"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/registry/registry.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_resolved_core": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_resolved_core.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_model",
        "csl_numeric",
        "csl_objectives",
        "csl_problem",
        "csl_sets"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/problem/identity.cpp",
        "src/problem/resolved.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_sets": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_sets.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_numeric"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/sets/data.cpp"
      ],
      "type": "STATIC_LIBRARY"
    },
    "csl_verifiers": {
      "archive": [
        "/machine:x64"
      ],
      "artifacts": [
        "Release/csl_verifiers.lib"
      ],
      "compile_groups": [
        {
          "defines": [],
          "fragments": [
            "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD",
            "/W4",
            "/WX",
            "/permissive-"
          ],
          "language": "CXX",
          "standard": "20"
        }
      ],
      "dependencies": [
        "ZERO_CHECK",
        "csl_contracts",
        "csl_model",
        "csl_numeric",
        "csl_objectives",
        "csl_problem",
        "csl_resolved_core",
        "csl_sets"
      ],
      "generated_source_sha256": {},
      "link": [],
      "sources": [
        "src/registry/compiled_verifiers.cpp"
      ],
      "type": "STATIC_LIBRARY"
    }
  }
}