Luis Diogo Couto

Set the default module in a project in Eclipse

6

When you have a few modules in a project, it would be nice to set the default module when running it in console mode.

For a model like: ``` state S of n : nat inv s == s = mk_S(0) end operations Op: () ==> () Op() == n := 1; ``` We...

History counters and permission predicates in the debugger

3

The ability to set break points at permission and inspect history counters (see #360) should already be present in the code base. We need to investigate if this is possible...

LexNameToken Comparison

2

In order to compare 2 lex name tokens -- either for compare(...) or equals(...) purposes -- we need type information. This leads us to rely on external classes (usually assistants)...