FAdo - v.1.3.4.1

FAdo2

FAdo-1.3.4.1.tar.gz

  • Fixed bug in the random generator seed initialisation (thanks to Héctor L Palacios V )

FAdo - v.1.3.4

FAdo2

FAdo-1.3.4.tar.gz

  • rndfa & rndfap now with generators that accept a seed value

FAdo - v.1.3.3

FAdo2

FAdo-1.3.3.tar.gz

  • fa.DFA.regexp bug fixed
  • Watson-Daciuk's ADFA incremental minimisation
  • DFA reversability test implemented
  • DFA intersection made faster
  • FA state deletion made faster
  • FA product construction made faster
  • makeCode made faster

FAdo - v.1.3.2.1

FAdo2

FAdo-1.3.2.1.tar.gz

  • some bugs solved (thanks to David Purser to spot them)