Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 3, 2016

• Bug fix: B3 parse

  hkff

  committed
  0c9015a

Commits on Apr 14, 2016

• Merge remote-tracking branch 'origin/master'

  hkff

  committed
  5e278d2

• IKVector entry parse fix

  hkff

  committed
  3a5126d

• Update README.md

  hkff

  committed
  1a17714

• Update README.md

  hkff

  committed
  5e46170

• minors

  hkff

  committed
  edfffc7

• version update

  hkff

  committed
  ff32323

Commits on Mar 22, 2016

• Add regexp in predicate

  Show description for 3fdcc19
  hkff

  committed
  3fdcc19

• Add * in predicate : r\"*\"

  hkff

  committed
  2f6c6d7

Commits on Mar 18, 2016

• BUG fix : formula likes G(  => F( Q(x)) ) )

  Show description for 3147ee7
  hkff

  committed
  3147ee7

• Pass trace into eval of IPredicates

  hkff

  committed
  b89a625

Commits on Feb 26, 2016

• fix BIO eval / lib ops

  hkff

  committed
  a7c4868

• fix regexp

  hkff

  committed
  f7f6a70

Commits on Feb 25, 2016

• minors

  hkff

  committed
  dd43ee0

Commits on Feb 10, 2016

• Updating readme

  hkff

  committed
  d472bf4

• API v 0.1

  hkff

  committed
  62f3390

• Update README.md

  Show description for 2b29a0b
  hkff

  committed
  2b29a0b

Commits on Feb 8, 2016

• minors

  hkff

  committed
  6493d76

Commits on Feb 5, 2016

• minors

  hkff

  committed
  970da4c

• Adding webservice V0.1

  hkff

  committed
  03f976b

Commits on Feb 4, 2016

• Adding KVector string parsing

  hkff

  committed
  ac936ce

Commits on Feb 1, 2016

• Adding requirements to setup.py

  hkff

  committed
  4241bbc

Commits on Jan 29, 2016

• minors

  hkff

  committed
  5052251

Commits on Jan 28, 2016

• updating doc

  hkff

  committed
  a632c2a

• import fix

  hkff

  committed
  2edb0cf

• Fixing color import

  hkff

  committed
  243f1a4

Commits on Jan 27, 2016

• Fixing empty predicate args parsing in event

  hkff

  committed
  c4621ec

• Allowing predicates with no args in parser

  hkff

  committed
  8d1e1bc

• Adding step field to Event

  hkff

  committed
  9209dc3

Commits on Jan 26, 2016

• minors

  hkff

  committed
  2eeab2d

• minors

  hkff

  committed
  d944d9d

• Refactoring : move everything to fodtlmon package

  hkff

  committed
  745eccd

• Minors

  hkff

  committed
  f34aef8

• Optimizing

  hkff

  committed
  3d45c93

• Avoid rewrite when mon last is T / F

  hkff

  committed
  ac43676

Pagination

PreviousNext