Feature #208

add built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences

Added by Axel Belinfante almost 11 years ago. Updated almost 11 years ago.

Status:AssignedStart date:06 Nov 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.2.0


let JTorX know about file suffixes of lpe's, lpo's, and of jararaca, and invoke the right tool to start them.
Some (small TorX-specific) tools (jararaca?) we could even include in the distribution;
bigger tools (environments) like ltsmin,mucrl, mcrl2, would continue to have to be installed separately.

For each suffix, a default tool (command line) should be configured
(maybe two versions: to cater for difference between unix/windows?)
that can be overruled by the user in a preferences pane.

The overall idea is that this should it make it less necessary to use shell scripts with file suffix .tx for torx explorers.


#1 Updated by Axel Belinfante almost 11 years ago

  • Status changed from New to Assigned
  • Target version set to 1.2.0
  • % Done changed from 0 to 20

in 1.2.0 we have included jararaca, but the support/suffixes is/are hard-coded, like for Aldebaran (.aut) and GraphML (.graphml).

Also available in: Atom PDF