Skip to content

Commit

Permalink
Bump to v1.0.0 and [compat]
Browse files Browse the repository at this point in the history
  • Loading branch information
mossr committed Dec 5, 2024
1 parent 48add99 commit 8c62253
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 3 deletions.
8 changes: 6 additions & 2 deletions Project.toml
Original file line number Diff line number Diff line change
@@ -1,16 +1,20 @@
name = "SignalTemporalLogic"
uuid = "a79a9ddd-d50e-4d85-a979-5d85760e62a0"
authors = ["Robert Moss <[email protected]>"]
version = "0.1.1"
version = "1.0.0"

[deps]
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"

[compat]
julia = "1"
InteractiveUtils = "1.11.0"
Markdown = "1.11.0"
PlutoUI = "0.7.60"
Zygote = "0.6"
julia = "1"

[extras]
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ This package can define _signal temporal logic_ (STL) formulas using the `@formu

## Installation
```julia
] add https://github.com/sisl/SignalTemporalLogic.jl
] add SignalTemporalLogic
```

## Examples
Expand Down

0 comments on commit 8c62253

Please sign in to comment.