1. 16 Jan, 2020 2 commits
  2. 08 Dec, 2019 11 commits
  3. 28 Aug, 2019 2 commits
  4. 09 May, 2018 3 commits
  5. 03 May, 2018 1 commit
  6. 02 May, 2018 5 commits
    • Akim Demaille's avatar
      proper: remove debug traces · 46a08daf
      Akim Demaille authored
      No visible performance changes.
      46a08daf
    • Akim Demaille's avatar
      tests: fix file names · 65c93b95
      Akim Demaille authored
      * tests/python/proper.dir/lan-poly.3.fail.gv,
      * tests/python/proper.dir/lao-r.in.gv: These are actually daut files.
      65c93b95
    • Akim Demaille's avatar
      edit-automaton: don't insert transitions with the special label · 10e61ad7
      Akim Demaille authored
      We parse in `lan, q`, we parse `<1/2>` as `<1/2>$`, not as `<1/2>\e`.
      This is to support pre- and post-transition labels (e.g., `$ 0 <1/2>`).
      Unfortunately it's easy, in particular with lao, to forget to write
      `\e`, and I have been bitten: I tried to get the weight-series
      
          context = lao, expressionset<lal, q>
          $ -> 0
          0 -> 1 <a>
          1 -> 1 <b>
          1 -> 2 <c>
          2 -> $
      
      But I got `<a+c>`.  The culprit was actually proper/is_proper: both
      consider that automaton to be proper.  And the real culprit is
      actually the user: there are indeed no spontaneous transitions in this
      automaton: they are labeled with `$` because we did not use `\e`.
      This error is too easy, so be sure to be kind to the user, and map the
      special label to one when building the automaton.
      
      It turns out that the test suite itself contained such an error: a
      proper automaton still had a pseudo-spontaneous transition.
      
      * vcsn/algos/edit-automaton.hh: Map $ to \e when adding an inner
      transition.
      * tests/python/proper.dir/lao-r.out.gv: Fix.
      10e61ad7
    • Akim Demaille's avatar
      edit-automaton: don't accept \e on pre-/post-transitions · 8b90f28f
      Akim Demaille authored
      * vcsn/algos/edit-automaton.hh: there is not reason to accept
      `$ 0 <1/2>\e`, spell it `$ 0 <1/2>`.
      8b90f28f
    • Akim Demaille's avatar
      style: add a few const and auto · ec15abbf
      Akim Demaille authored
      ec15abbf
  7. 01 May, 2018 12 commits
  8. 29 Mar, 2018 1 commit
  9. 28 Mar, 2018 3 commits