ControllerFormats.jl/Project.toml at master · JuliaReach/ControllerFormats.jl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
name = "ControllerFormats"
uuid = "02ac4b2c-022a-44aa-84a5-ea45a5754bcc"
version = "0.2.6"

[deps]
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"

[compat]
Flux = "0.13 - 0.16"
LinearAlgebra = "<0.0.1, 1.6"
MAT = "0.10 - 0.11"
ONNX = "0.2 - 0.3"
ReachabilityBase = "0.1.1 - 0.3"
Reexport = "0.2, 1"
Requires = "0.5, 1"
Statistics = "<0.0.1, 1.6"
YAML = "0.3 - 0.4"
julia = "1.6"

[extensions]
FluxExt = "Flux"
MATExt = "MAT"
ONNXExt = "ONNX"
YAMLExt = "YAML"

[extras]
Flux = "587475ba-b771-5e3f-ad9e-33799f191a9c"
MAT = "23992714-dd62-5051-b70f-ba57cb901cac"
ONNX = "d0dd6a25-fac6-55c0-abf7-829e0c774d20"
YAML = "ddb6d928-2868-570f-bddf-ab3f9cf99eb6"

[weakdeps]
Flux = "587475ba-b771-5e3f-ad9e-33799f191a9c"
MAT = "23992714-dd62-5051-b70f-ba57cb901cac"
ONNX = "d0dd6a25-fac6-55c0-abf7-829e0c774d20"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
YAML = "ddb6d928-2868-570f-bddf-ab3f9cf99eb6"