Skip to content

Commit

Permalink
version change
Browse files Browse the repository at this point in the history
  • Loading branch information
erwanM974 committed Oct 8, 2022
1 parent 55a72e4 commit 5247fbb
Show file tree
Hide file tree
Showing 4 changed files with 13 additions and 13 deletions.
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "hibou_label"
version = "0.7.8"
version = "0.7.9"
authors = ["Erwan Mahe"]
edition = "2021"

Expand Down
2 changes: 1 addition & 1 deletion src/ui/hibou_cli.rs
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ fn get_ascii_left() -> Vec<&'static str> {
my_vec.push(r#"-"-"- Oracle "#);
my_vec.push(r#" \_/ Utility "#);
my_vec.push(r#" "#);
my_vec.push(r#" V-label-0.7.8 "#);
my_vec.push(r#" V-label-0.7.9 "#);
return my_vec;
}

Expand Down
20 changes: 10 additions & 10 deletions src/ui/hibou_cli.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,13 @@


name: hibou_label
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
about: Holistic Interaction Behavioral Oracle Utility - hibou provides utilities for manipulating interaction models (sequence diagrams/sequence charts)
subcommands:
- draw:
about: utility to draw as a sequence diagram an interaction encoded in a hibou specification file (.hsf)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -36,7 +36,7 @@ subcommands:
help: target file for drawing (default is 'the name of the hsf'.png)
- explore:
about: utility to explore the semantics of an interaction encoded in a hibou specification file (.hsf)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -45,7 +45,7 @@ subcommands:
help: input hibou specification file
- analyze:
about: utility to analyze an input (multi-)trace encoded in a hibou trace file (.htf) w.r.t. an interaction encoded in a hibou specification file (.hsf)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -58,7 +58,7 @@ subcommands:
help: input hibou trace file
- slice:
about: utility to generate slices of a (multi-)trace encoded in a hibou trace file (.htf)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- htf:
Expand All @@ -82,7 +82,7 @@ subcommands:
help: keep only wider slices (each component length at least one third of the original)
- puml_sd:
about: utility to translate an interaction encoded in a hibou specification file (.hsf) into a .puml informal sequence diagram spec (.puml)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -91,7 +91,7 @@ subcommands:
help: input hibou specification file
- puml_ap:
about: utility to translate an interaction encoded in a hibou specification file (.hsf) into a .puml informal automata product spec (.puml)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -100,7 +100,7 @@ subcommands:
help: input hibou specification file
- term_repr:
about: utility to translate an interaction encoded in a hibou specification file (.hsf) into a .puml informal automata product spec (.puml)
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -109,7 +109,7 @@ subcommands:
help: input hibou specification file
- canonize:
about: utility to compute the normal form of an interaction encoded in a hibou specification file (.hsf) and to draw possible sequences of transformations leading to that normal form
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand All @@ -123,7 +123,7 @@ subcommands:
help: computes all possible sequences of transformations (by default only one is)
- merge:
about: utility to merge interaction with gates
version: "0.7.8"
version: "0.7.9"
author: Erwan Mahe <github.com/erwanM974>
args:
- hsf:
Expand Down

0 comments on commit 5247fbb

Please sign in to comment.