Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 7, 2015

• Fix .travis.yml error

  nickng

  committed
  df25fb8

  Copy full SHA for df25fb8

• Readme update

  nickng

  committed
  0cfa8c9

  Copy full SHA for 0cfa8c9

• Set up for Travis

  nickng

  committed
  8de48ac

  Copy full SHA for 8de48ac

• Initial port to C++

  Show description for 7fcb256
  nickng

  committed
  7fcb256

  Copy full SHA for 7fcb256

Commits on Jun 28, 2015

• Add Z3 index checking

  nickng

  committed
  ce0ac7a

  Copy full SHA for ce0ac7a

Commits on Jun 6, 2015

• Fix error message

  

  Nicholas Ng

  committed
  b3671e6

  Copy full SHA for b3671e6

Commits on May 24, 2015

• Scribble tools release 1.5.0

  Show description for 4298640
  

  Nicholas Ng

  committed
  4298640

  Copy full SHA for 4298640

Commits on Sep 2, 2014

• v1.4.2 with parser bugfix

  nickng

  committed
  d87ef6e

  Copy full SHA for d87ef6e

Commits on Aug 31, 2014

• Minor bugfix

  nickng

  committed
  8699867

  Copy full SHA for 8699867

Commits on Aug 26, 2014

• Automatically update scribble-tool version

  nickng

  committed
  2088047

  Copy full SHA for 2088047

Commits on Aug 25, 2014

• New v1.4.0 branch for code generation

  Show description for 92137eb
  nickng

  committed
  92137eb

  Copy full SHA for 92137eb

Commits on Jul 31, 2014

• Bump to v1.3.6

  Show description for ff4b349
  nickng

  committed
  ff4b349

  Copy full SHA for ff4b349

Commits on Jun 11, 2014

• Bump to v1.3.5

  Show description for c31b0b6
  nickng

  committed
  c31b0b6

  Copy full SHA for c31b0b6

Commits on Dec 16, 2013

• Release 1.3.4

  Show description for e002474
  nickng

  committed
  e002474

  Copy full SHA for e002474

Commits on Nov 26, 2013

• Minor bug fix

  Show description for 9571c4e
  nickng

  committed
  9571c4e

  Copy full SHA for 9571c4e

Commits on Nov 21, 2013

• Quickfix: Parser missed out rule for inf

  nickng

  committed
  b05ddcc

  Copy full SHA for b05ddcc

• Projection for existential operator

  nickng

  committed
  6f61c38

  Copy full SHA for 6f61c38

Commits on Nov 20, 2013

• Add verbose error messages and line numbers

  nickng

  committed
  1d93165

  Copy full SHA for 1d93165

Commits on Nov 5, 2013

• Update syntax to Scribble 0.3

  Show description for 6adf1c6
  nickng

  committed
  6adf1c6

  Copy full SHA for 6adf1c6

Commits on Nov 4, 2013

• Change order of parse rules for empty role params

  nickng

  committed
  22e30cd

  Copy full SHA for 22e30cd

• Versioning edit

  nickng

  committed
  8c2a6ea

  Copy full SHA for 8c2a6ea

Commits on Aug 14, 2013

• Enable constants check

  nickng

  committed
  874c11b

  Copy full SHA for 874c11b

Commits on Jul 15, 2013

• Basic well-formedness checks

  nickng

  committed
  868791b

  Copy full SHA for 868791b

• Update syntax to Scribble 0.3

  Show description for 5a2df37
  nickng

  committed
  5a2df37

  Copy full SHA for 5a2df37

Commits on Jul 4, 2013

• Add verbose error messages and line numbers

  nickng

  committed
  f2c03c7

  Copy full SHA for f2c03c7

Commits on Jun 19, 2013

• Use [x] as shorthand of [x..x]

  nickng

  committed
  f826c38

  Copy full SHA for f826c38

Commits on Jun 11, 2013

• Bugfix: print foreach instead of for

  nickng

  committed
  1e5bf1f

  Copy full SHA for 1e5bf1f

Commits on May 22, 2013

• Add support for printing and projection of package

  nickng

  committed
  e2c42e3

  Copy full SHA for e2c42e3

Commits on May 21, 2013

• Refactoring

  Show description for e9f7eb6
  nickng

  committed
  e9f7eb6

  Copy full SHA for e9f7eb6

• Improve parameter handling

  nickng

  committed
  c2c57e4

  Copy full SHA for c2c57e4

Commits on Apr 16, 2013

• Repackage with bugfix

  Show description for a0efaa4
  nickng

  committed
  a0efaa4

  Copy full SHA for a0efaa4

Commits on Apr 3, 2013

• Release v1.1.0

  Show description for 4283d41
  nickng

  committed
  4283d41

  Copy full SHA for 4283d41

Commits on Dec 10, 2012

• Update README.md

  Show description for e6c6512
  nickng

  committed
  e6c6512

  Copy full SHA for e6c6512

Commits on Nov 22, 2012

• Add debian packaging

  nickng

  committed
  58052a3

  Copy full SHA for 58052a3

Commits on Nov 21, 2012

• Remove symbolic links

  nickng

  committed
  a1a4da0

  Copy full SHA for a1a4da0

Pagination

Previous

Next