#
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
#
b76f5f74 |
|
19-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Updated CCS example with some fixed definitions and other small changes
|
#
16629a06 |
|
24-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] late developments with new theorems; fixed with K11 release; selftest added
|
#
89e41e0d |
|
08-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] fixed building CCS example with --stdknl
|
#
021e8e62 |
|
08-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] further extensions of the CCS example (thesis project)
|