Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
master
default
protected
ce2a0ca4
·
delete all commit history then git init
·
May 05, 2018
gh-pages
c9386b21
·
Set theme jekyll-theme-slate
·
Dec 26, 2016
wiki
3e857b62
·
Migrating wiki contents from Google Code
·
Apr 07, 2015
ctl
58bf6a40
·
ctl3 branch
·
Oct 12, 2011
Lattice-SimpleSequence
4a056136
·
Final version of SS detection algorithm.
·
Jul 01, 2011
mipa-sequence
4ac18ea4
·
support runtime detection of sequence predicate.
·
Aug 29, 2010
lattice-SCP
48200c82
·
Fix Issue 16.
·
Mar 11, 2010
manual
9c5c299f
·
Re-consider the overall structure.
·
Mar 10, 2010
simple-sequence
880d4857
·
open branches simple-sequence.
·
Dec 29, 2009
mipa-general-condition
c4aa8dc4
·
fix bug of connector and modify connector test case.
·
Dec 08, 2009
mipa-lattice
1ad30c13
·
fix Issue 10.
·
Nov 25, 2009
mipa-wcp-refactoring
a7766bf7
·
Change logic of WCPNormalProcess.
·
Nov 24, 2009
lattice
8d83d938
·
Fix the repeat node.
·
Oct 13, 2009
mipa-wcp
9caa70d7
·
Enable to print out vector clock of NormalProcesses.
·
Sep 24, 2009
mipa-OGA-test-routine
05016f7d
·
debug the output
·
Sep 03, 2009
GenericGroup
5d7add39
·
remove some unused interface of Structure.
·
Jul 21, 2009
mipa-test-routine
69a309fa
·
PhysicalTimeCheck.java: code standardized.
·
Jul 16, 2009