Skip to content
Snippets Groups Projects
  1. Apr 17, 2014
  2. Mar 23, 2014
  3. Mar 21, 2014
    • Tomáš Pecka's avatar
      Changes to atrim · 3d6d70d7
      Tomáš Pecka authored
       - rename atrim to atrim.fsm
       - Terminology - redundant state is now dead state
       - allow to remove only unreachable or only dead states (see ./atrim.fsm -h)
       - remove namespace
      3d6d70d7
  4. Mar 18, 2014
    • Tomáš Pecka's avatar
      Changes to atrim · f1707221
      Tomáš Pecka authored
       - rename atrim to atrim.fsm
       - Terminology - redundant state is now dead state
       - allow to remove only unreachable or only dead states (see ./atrim.fsm -h)
       - remove namespace
      f1707221
  5. Mar 04, 2014
  6. Feb 20, 2014
  7. Feb 15, 2014
  8. Feb 05, 2014
  9. Feb 04, 2014
  10. Feb 03, 2014
  11. Jan 21, 2014
  12. Jan 18, 2014
Loading