Changelogs

Version 2.0.7

• Added the __version__ to awalipy

Version 2.0.6

• Fixed/Improved the error message displayed when the parsing of json fails.

Version 2.0.1 to Version 2.0.5

• Fixed miscellaneous minor bugs.

Version 2.0.0

(Due to the number of changes since version 1, this changelog is bound to be incomplete.)

• Deep modification of JSON format. To use old files use format FSM_JSON_V0.
• Some functions changed name throughout all layers:
  • has_epsilon is now called is_eps_allowed
  • union (or Union) is now called sum
• In Cora
  • Complete revamp of edit.
  • Similar commands for automata and expressions are now merged.
    • The following commands now takes automata or expressions: cat, display, info, is-valid, minimal-automaton
    • The following commands are deleted: catE, displayE, is-validE, minimal-automaton-E
  • Command list now takes an argument to choose which list to display (available arguments can be found in cora help list). To list example automata, now use: cora list automata
  • New commands:
    • change-alphabet
    • compact-paths
    • letterize
    • promote
  • Command automaton is now called new
  • Default behavior of rational operator on automata, that is sum, concatenate and star no longer require the operands to be standard automata. The behavior expected for standard automata (as used in the standard exp-to-aut algorithm) for sum can be obtained with option --method=standard.
• In Awalipy
  Most functions that had an equivalent method are now marked as deprecated (e.g., awalipy.determinize(awalipy.Automaton).
• In Dyn,
  • Default behavior of rational operator on automata, that is sum, concatenate and star no longer require the operands to be standard automata. The behavior expected for standard automata (as used in the standard exp-to-aut algorithm) for sum can be obtained with function sum_of_standard.

Dernière Last modification: 1 Septembre September 2021