Issues

• Persisting / restoring interpreter state

  code evaluatorfeature requestinterpreterlong term
  AlexandreDecan/sismic#89 · Filter by author sbidoul opened on Jan 14, 2019
  20

• Branch tester-builder - convert python formula to property statecharts

  abandonedfeature branch
  AlexandreDecan/sismic#62 · Filter by author AlexandreDecan opened on Feb 20, 2018

• Branch specs - get specifications from statechart

  abandonedfeature branch
  AlexandreDecan/sismic#61 · Filter by author AlexandreDecan opened on Feb 20, 2018

• Branch tkinter - simple gui to execute statecharts

  abandonedfeature branch
  AlexandreDecan/sismic#60 · Filter by author AlexandreDecan opened on Feb 20, 2018

• Branch js-code - Javascript code evaluator

  abandonedfeature branch
  AlexandreDecan/sismic#59 · Filter by author AlexandreDecan opened on Feb 20, 2018
  1

• Branch sequentialContracts - Sequential contracts

  abandonedfeature branch
  AlexandreDecan/sismic#58 · Filter by author AlexandreDecan opened on Feb 20, 2018
  1