Yann Thierry-Mieg

Per student view of work for a course

2

### Feature request :sparkles: It would be really helpful to be able to see all the repos a student has built to answer the set of assignments given within a...

Make function robust to existing command structure

1

If there is already a building, or, e.g. creep in a location, the placement queries for a CommandCenter (line 19) will answer false. In the onStart method of a bot,...

it should be Cast 3755 to ABILITY_ID. instead of 261

limited quantifiers in properties

3

there is no real reason we could not use the parameters in the property specification, we having some kind of AndAll/OrAll (or forAll, forAny) quantifiers + bool expr over parameters...

we would like to have a (property file + model) passed to Check call. When a foreign formalism is used, we want to keep the property file across runs. Options...

Run as its model check only accepts .gal files Add support for .xta, .dve, .pml, .net (Tina), .ndr (Tina), .xml (Romeo), .model (coloane), .pnml by leveraging existing transformations.

Issues with LTL traces in MT context

5

Hi, So I'm trying to get traces out of ltl, but the results are a bit random, and the files tend to be broken. Attached model, when run with 8...

Enhancement : read write and *control* sets

1

Hi, just as an idea, you might think about using : read, write and *control* dependencies. I've found that separating the notion of control variables, i.e. a subset of read...