Permalink
Commits on Dec 5, 2016
Commits on Dec 3, 2016
  1. Cosmetic

    pirbo committed Dec 3, 2016
Commits on Dec 2, 2016
  1. Update CHANGES

    Typos and syntax smoothing.
    hmedina committed on GitHub Dec 2, 2016
  2. Update CHANGES

    pirbo committed Dec 2, 2016
  3. fix one compilation warning

    feret committed Dec 2, 2016
Commits on Dec 1, 2016
  1. Revert (for now) "Insert in domain infs of Pattern instead of interse…

    …ction"
    
    This reverts commit 21edb40.
    pirbo committed Nov 28, 2016
  2. fuse JS and Server mode / more json output for stories : access to er…

    …ror channel, profiling channel, history channel (all in buffers the content of which is conversted in json)
    feret committed Dec 1, 2016
  3. add maybe_reachable

    lykimquyen committed Dec 1, 2016
  4. fixup

    pirbo committed Dec 1, 2016
  5. ensemble in new syntax

    pirbo committed Dec 1, 2016
  6. one more -t -> -l

    pirbo committed Dec 1, 2016
  7. cosmetic

    pirbo committed Dec 1, 2016
  8. Fix Manual

    pirbo committed Dec 1, 2016
  9. -pp becomes -p

    pirbo committed Dec 1, 2016
  10. rerere GNUplot

    pirbo committed Dec 1, 2016
  11. Is GNUPlot happier?

    pirbo committed Dec 1, 2016
Commits on Nov 30, 2016
  1. Incompatible changes

    pirbo committed Nov 30, 2016