Search results

[Bug] Invalid promela file hello world example.

Status: Open.

#25 In nicolasdilley/Gomela;

· bbrockbernd opened on Jun 3, 2024

Changing how the independent function is translated

Status: Open.

#13 In nicolasdilley/Gomela;

· nicolasdilley opened on Feb 23, 2021

Add option to give a vector of values to determine the value given to the mandatory and optional parameters

Status: Open.

#12 In nicolasdilley/Gomela;

· nicolasdilley opened on Feb 22, 2021

Add support for anonym function called in concurrent function

Status: Open.

#11 In nicolasdilley/Gomela;

· nicolasdilley opened on Feb 10, 2021

Add support time.afterFunc(timeout, fn)

Status: Open.

#10 In nicolasdilley/Gomela;

· nicolasdilley opened on Feb 5, 2021

Channel assigned to a field of a stuct should result in a model error

Status: Open.

#9 In nicolasdilley/Gomela;

· nicolasdilley opened on Feb 5, 2021

Anonymous Goroutine not translated properly

Status: Open.

#8 In nicolasdilley/Gomela;

· nicolasdilley opened on Jan 22, 2021

Binary expressions as communication parameters are not reported correctly

Status: Open.

#7 In nicolasdilley/Gomela;

· nicolasdilley opened on Jan 20, 2021

DeferStmt doesnt behave as expected.

Status: Open.

#6 In nicolasdilley/Gomela;

· nicolasdilley opened on Sep 30, 2020

DeferStmt doesnt behave as expected. At the moment they are always printed at the end of the blockstmt.

Status: Open.

#5 In nicolasdilley/Gomela;

· nicolasdilley opened on Sep 30, 2020

Bound that are anonymous lists []string{"a","b","c") not supported at the moment

Status: Open.

#4 In nicolasdilley/Gomela;

· nicolasdilley opened on Aug 31, 2020