Search results

Remove ProgramVariable -> Projection

Status: Open.

#31 In ista-vamos/rvhyno;

· mchalupa opened on Sep 29, 2025

Get rid of most of locking

Status: Open.

#30 In ista-vamos/rvhyno;

· mchalupa opened on Sep 15, 2025

Support strings

Status: Open.

#29 In ista-vamos/rvhyno;

· mchalupa opened on Sep 10, 2025

Handle strings as data in events

Status: Open.

#28 In ista-vamos/rvhyno;

· mchalupa opened on Sep 8, 2025

Create our own representation of types

Status: Open.

#27 In ista-vamos/rvhyno;

· mchalupa opened on Sep 8, 2025

[parser] probable bug in parsing numbers

Status: Open.

#26 In ista-vamos/rvhyno;

· mchalupa opened on Sep 2, 2025

Package RVHyno

Status: Open.

#25 In ista-vamos/rvhyno;

· mchalupa opened on Sep 2, 2025

Document options for generating the code

Status: Open.

#24 In ista-vamos/rvhyno;

· mchalupa opened on Aug 29, 2025

Better counterexamples and debugging of monitors

Status: Open.

#22 In ista-vamos/rvhyno;

· mchalupa opened on Aug 22, 2025

Factor out code shared between HNA and HNL codegen

Status: Open.

#20 In ista-vamos/rvhyno;

· mchalupa opened on Oct 7, 2024

[new-ehl] Rename SharedTraceSet

Status: Open.

#19 In ista-vamos/rvhyno;

· mchalupa opened on Oct 4, 2024

[new-ehl] Fix and improve gathering statistics

Status: Open.

#18 In ista-vamos/rvhyno;

· mchalupa opened on Oct 3, 2024