kind2-mc kind2 Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

You must be logged in to vote

Kind2 as a Rust transpiler.

omrischwarz asked Mar 19, 2024 in Q&A · Unanswered

1
You must be logged in to vote

Output of KIND2

kumori123 asked Sep 5, 2023 in Q&A · Unanswered

1
You must be logged in to vote

Issues on array construction

kumori123 asked Aug 30, 2023 in Q&A · Answered

2
You must be logged in to vote

Is KIND2 supports bitwise operators?

kumori123 asked Aug 15, 2023 in Q&A · Answered

2
You must be logged in to vote

Can I use Kind 2 Java API in Maven to build just a normal lustre program as a controller ?

Atmanuclear asked Mar 6, 2023 in Q&A · Answered

2
You must be logged in to vote

Could kind2 run on windows without WSL?

kumori123 asked Dec 6, 2022 in Q&A · Answered

3
You must be logged in to vote

Identifier of lustre grammar in KIND2

kumori123 asked Nov 10, 2022 in Q&A · Answered

2
You must be logged in to vote

Support automaton

kumori123 asked Nov 7, 2022 in Q&A · Answered

4