Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2017

• Merge branch 'omega'

  Show description for 7bbb3dd
  

  Douglas Creager

  committed
  7bbb3dd

  Copy full SHA for 7bbb3dd

• Add Ω process

  Show description for 7a0c6b9
  

  Douglas Creager

  committed
  7a0c6b9

  Copy full SHA for 7a0c6b9

Commits on Mar 13, 2017

• Merge branch 'feature/visitors'

  Show description for da3991c
  

  Douglas Creager

  committed
  da3991c

  Copy full SHA for da3991c

• Use visitors in initials and afters methods

  Show description for e1760ce
  

  Douglas Creager

  committed
  e1760ce

  Copy full SHA for e1760ce

Commits on Mar 9, 2017

• Merge branch 'feature/maximal-traces'

  Show description for 54aa54b
  

  Douglas Creager

  committed
  54aa54b

  Copy full SHA for 54aa54b

• Find maximal finite traces of a process

  Show description for d7319f8
  

  Douglas Creager

  committed
  d7319f8

  Copy full SHA for d7319f8

• Merge branch 'feature/bags'

  Show description for 225cf32
  

  Douglas Creager

  committed
  225cf32

  Copy full SHA for 225cf32

• Fix hashing and comparison of bags and sets

  Show description for d5160df
  

  Douglas Creager

  committed
  d5160df

  Copy full SHA for d5160df

Commits on Mar 8, 2017

• Merge branch 'feature/refinement'

  Show description for db49318
  

  Douglas Creager

  committed
  db49318

  Copy full SHA for db49318

• Add refinement checker

  Show description for 20b5df8
  

  Douglas Creager

  committed
  20b5df8

  Copy full SHA for 20b5df8

Commits on Mar 7, 2017

• Merge branch 'feature/normalize'

  Show description for bf0c07d
  

  Douglas Creager

  committed
  bf0c07d

  Copy full SHA for bf0c07d

• Add normalized processes

  Show description for e580b0f
  

  Douglas Creager

  committed
  e580b0f

  Copy full SHA for e580b0f

• Merge branch 'feature/rec-name'

  Show description for 2e2cfa5
  

  Douglas Creager

  committed
  2e2cfa5

  Copy full SHA for 2e2cfa5

• Include all subprocesses when printing recursion

  Show description for 11232b1
  

  Douglas Creager

  committed
  11232b1

  Copy full SHA for 11232b1

• Merge branch 'feature/subprocesses'

  Show description for d8e8ec1
  

  Douglas Creager

  committed
  d8e8ec1

  Copy full SHA for d8e8ec1

• Add accessor for process's syntactic subprocesses

  Show description for 15f31d4
  

  Douglas Creager

  committed
  15f31d4

  Copy full SHA for 15f31d4

Commits on Mar 5, 2017

• Merge branch 'feature/creation-order'

  Show description for 8092334
  

  Douglas Creager

  committed
  8092334

  Copy full SHA for 8092334

• Sort processes by creation order

  Show description for d0142f1
  

  Douglas Creager

  committed
  d0142f1

  Copy full SHA for d0142f1

• Merge branch 'feature/recursion-names'

  Show description for 4f06cb5
  

  Douglas Creager

  committed
  4f06cb5

  Copy full SHA for 4f06cb5

• Render names of recursive processes

  

  Douglas Creager

  committed
  9e67cf3

  Copy full SHA for 9e67cf3

Commits on Mar 3, 2017

• Merge branch 'feature/recursion'

  Show description for 8f131f8
  

  Douglas Creager

  committed
  8f131f8

  Copy full SHA for 8f131f8

• Add recursive processes

  Show description for 789ab8a
  

  Douglas Creager

  committed
  789ab8a

  Copy full SHA for 789ab8a

• Merge branch 'feature/register'

  Show description for 74f476c
  

  Douglas Creager

  committed
  74f476c

  Copy full SHA for 74f476c

• Return specific type when registering a process

  Show description for 69295e6
  

  Douglas Creager

  committed
  69295e6

  Copy full SHA for 69295e6

Commits on Mar 2, 2017

• Merge branch 'feature/expand'

  Show description for c88e95c
  

  Douglas Creager

  committed
  c88e95c

  Copy full SHA for c88e95c

• Expand normalized processes

  Show description for 0864985
  

  Douglas Creager

  committed
  0864985

  Copy full SHA for 0864985

• Merge branch 'feature/models'

  Show description for 963f53f
  

  Douglas Creager

  committed
  963f53f

  Copy full SHA for 963f53f

• Add traces behavior

  Show description for 61c5ad4
  

  Douglas Creager

  committed
  61c5ad4

  Copy full SHA for 61c5ad4

Commits on Mar 1, 2017

• Merge branch 'feature/prenormalize'

  Show description for ff8c516
  

  Douglas Creager

  committed
  ff8c516

  Copy full SHA for ff8c516

• Add prenormalized processes

  Show description for 3b5e65c
  

  Douglas Creager

  committed
  3b5e65c

  Copy full SHA for 3b5e65c

• Merge branch 'feature/parsey'

  Show description for 99024de
  

  Douglas Creager

  committed
  99024de

  Copy full SHA for 99024de

• Tighten up parsers and subparsers

  Show description for 94fe0ad
  

  Douglas Creager

  committed
  94fe0ad

  Copy full SHA for 94fe0ad

Commits on Feb 28, 2017

• Merge branch 'feature/tau-closure'

  Show description for 8a3354e
  

  Douglas Creager

  committed
  8a3354e

  Copy full SHA for 8a3354e

• Calculate τ closures

  Show description for 79a743a
  

  Douglas Creager

  committed
  79a743a

  Copy full SHA for 79a743a

• Merge branch 'feature/set-classes'

  Show description for 6874fef
  

  Douglas Creager

  committed
  6874fef

  Copy full SHA for 6874fef

Pagination

Previous

Next