Changeset [205d6b4d286d2739e36f8ce7870c9c3896c0d861] by Douglas Creager

July 6th, 2008 @ 01:35 PM

Merge branch 'master' into rel

  • master:

Adding failures refinement option to csp0 script

Fixed superset proof for integer sets

Failures refinement

Refactoring refinement code to support multiple semantic models

Using new superset algorithm in traces refinement

Replacing custom proxy_iterator with Boost's transform_iterator

Better equality and superset comparisons for intsets

Replicated external choice

CSP₀ can now contain internal underscores

Failures normalization

Interleave now synchronizes on ✓

Adding acceptance sets for LTSs

Current “interrupt” operator is actually “timeout”

Adding comments to CSP₀ scripts

Adding counterexamples to the traces refinement check

http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • A build-scripts/save-refinement-test
  • A src/operators/replicated-extchoice.cc
  • A src/operators/timeout.cc
  • A tests/csp/00-aparallel1.f-normal-output
  • A tests/csp/00-aparallel1.f-prenormal-output
  • A tests/csp/00-aparallel1.t-normal-output
  • A tests/csp/00-aparallel1.t-prenormal-output
  • A tests/csp/00-aparallel2.f-normal-output
  • A tests/csp/00-aparallel2.f-prenormal-output
  • A tests/csp/00-aparallel2.t-normal-output
  • A tests/csp/00-aparallel2.t-prenormal-output
  • A tests/csp/00-aparallel3.f-normal-output
  • A tests/csp/00-aparallel3.f-prenormal-output
  • A tests/csp/00-aparallel3.t-normal-output
  • A tests/csp/00-aparallel3.t-prenormal-output
  • A tests/csp/00-extchoice1.f-normal-output
  • A tests/csp/00-extchoice1.f-prenormal-output
  • A tests/csp/00-extchoice1.t-normal-output
  • A tests/csp/00-extchoice1.t-prenormal-output
  • A tests/csp/00-extchoice2.f-normal-output
  • A tests/csp/00-extchoice2.f-prenormal-output
  • A tests/csp/00-extchoice2.t-normal-output
  • A tests/csp/00-extchoice2.t-prenormal-output
  • A tests/csp/00-extchoice3.f-normal-output
  • A tests/csp/00-extchoice3.f-prenormal-output
  • A tests/csp/00-extchoice3.t-normal-output
  • A tests/csp/00-extchoice3.t-prenormal-output
  • A tests/csp/00-extchoice4.f-normal-output
  • A tests/csp/00-extchoice4.f-prenormal-output
  • A tests/csp/00-extchoice4.t-normal-output
  • A tests/csp/00-extchoice4.t-prenormal-output
  • A tests/csp/00-hide1.f-normal-output
  • A tests/csp/00-hide1.f-prenormal-output
  • A tests/csp/00-hide1.t-normal-output
  • A tests/csp/00-hide1.t-prenormal-output
  • A tests/csp/00-hide2.f-normal-output
  • A tests/csp/00-hide2.f-prenormal-output
  • A tests/csp/00-hide2.t-normal-output
  • A tests/csp/00-hide2.t-prenormal-output
  • A tests/csp/00-hide3.f-normal-output
  • A tests/csp/00-hide3.f-prenormal-output
  • A tests/csp/00-hide3.t-normal-output
  • A tests/csp/00-hide3.t-prenormal-output
  • A tests/csp/00-hide4.f-normal-output
  • A tests/csp/00-hide4.f-prenormal-output
  • A tests/csp/00-hide4.output
  • A tests/csp/00-hide4.t-normal-output
  • A tests/csp/00-hide4.t-prenormal-output
  • A tests/csp/00-intchoice1.f-normal-output
  • A tests/csp/00-intchoice1.f-prenormal-output
  • A tests/csp/00-intchoice1.t-normal-output
  • A tests/csp/00-intchoice1.t-prenormal-output
  • A tests/csp/00-intchoice2.f-normal-output
  • A tests/csp/00-intchoice2.f-prenormal-output
  • A tests/csp/00-intchoice2.t-normal-output
  • A tests/csp/00-intchoice2.t-prenormal-output
  • A tests/csp/00-interleave1.f-normal-output
  • A tests/csp/00-interleave1.f-prenormal-output
  • A tests/csp/00-interleave1.t-normal-output
  • A tests/csp/00-interleave1.t-prenormal-output
  • A tests/csp/00-interleave2.f-normal-output
  • A tests/csp/00-interleave2.f-prenormal-output
  • A tests/csp/00-interleave2.t-normal-output
  • A tests/csp/00-interleave2.t-prenormal-output
  • A tests/csp/00-interleave3.f-normal-output
  • A tests/csp/00-interleave3.f-prenormal-output
  • A tests/csp/00-interleave3.t-normal-output
  • A tests/csp/00-interleave3.t-prenormal-output
  • A tests/csp/00-interleave4.f-normal-output
  • A tests/csp/00-interleave4.f-prenormal-output
  • A tests/csp/00-interleave4.t-normal-output
  • A tests/csp/00-interleave4.t-prenormal-output
  • A tests/csp/00-interleave5.f-normal-output
  • A tests/csp/00-interleave5.f-prenormal-output
  • A tests/csp/00-interleave5.t-normal-output
  • A tests/csp/00-interleave5.t-prenormal-output
  • A tests/csp/00-interleave6.csp0
  • A tests/csp/00-interleave6.f-normal-output
  • A tests/csp/00-interleave6.f-prenormal-output
  • A tests/csp/00-interleave6.output
  • A tests/csp/00-interleave6.t-normal-output
  • A tests/csp/00-interleave6.t-prenormal-output
  • A tests/csp/00-iparallel1.f-normal-output
  • A tests/csp/00-iparallel1.f-prenormal-output
  • A tests/csp/00-iparallel1.t-normal-output
  • A tests/csp/00-iparallel1.t-prenormal-output
  • A tests/csp/00-iparallel2.f-normal-output
  • A tests/csp/00-iparallel2.f-prenormal-output
  • A tests/csp/00-iparallel2.t-normal-output
  • A tests/csp/00-iparallel2.t-prenormal-output
  • A tests/csp/00-iparallel3.f-normal-output
  • A tests/csp/00-iparallel3.f-prenormal-output
  • A tests/csp/00-iparallel3.t-normal-output
  • A tests/csp/00-iparallel3.t-prenormal-output
  • A tests/csp/00-iparallel4.f-normal-output
  • A tests/csp/00-iparallel4.f-prenormal-output
  • A tests/csp/00-iparallel4.t-normal-output
  • A tests/csp/00-iparallel4.t-prenormal-output
  • A tests/csp/00-prefix.f-normal-output
  • A tests/csp/00-prefix.f-prenormal-output
  • A tests/csp/00-prefix.t-normal-output
  • A tests/csp/00-prefix.t-prenormal-output
  • A tests/csp/00-rename1.f-normal-output
  • A tests/csp/00-rename1.f-prenormal-output
  • A tests/csp/00-rename1.t-normal-output
  • A tests/csp/00-rename1.t-prenormal-output
  • A tests/csp/00-rename2.f-normal-output
  • A tests/csp/00-rename2.f-prenormal-output
  • A tests/csp/00-rename2.t-normal-output
  • A tests/csp/00-rename2.t-prenormal-output
  • A tests/csp/00-rename3.f-normal-output
  • A tests/csp/00-rename3.f-prenormal-output
  • A tests/csp/00-rename3.t-normal-output
  • A tests/csp/00-rename3.t-prenormal-output
  • A tests/csp/00-repl-extchoice0.csp0
  • A tests/csp/00-repl-extchoice0.f-normal-output
  • A tests/csp/00-repl-extchoice0.f-prenormal-output
  • A tests/csp/00-repl-extchoice0.output
  • A tests/csp/00-repl-extchoice0.t-normal-output
  • A tests/csp/00-repl-extchoice0.t-prenormal-output
  • A tests/csp/00-repl-extchoice1.csp0
  • A tests/csp/00-repl-extchoice1.f-normal-output
  • A tests/csp/00-repl-extchoice1.f-prenormal-output
  • A tests/csp/00-repl-extchoice1.output
  • A tests/csp/00-repl-extchoice1.t-normal-output
  • A tests/csp/00-repl-extchoice1.t-prenormal-output
  • A tests/csp/00-repl-extchoice2.csp0
  • A tests/csp/00-repl-extchoice2.f-normal-output
  • A tests/csp/00-repl-extchoice2.f-prenormal-output
  • A tests/csp/00-repl-extchoice2.output
  • A tests/csp/00-repl-extchoice2.t-normal-output
  • A tests/csp/00-repl-extchoice2.t-prenormal-output
  • A tests/csp/00-repl-extchoice3.csp0
  • A tests/csp/00-repl-extchoice3.f-normal-output
  • A tests/csp/00-repl-extchoice3.f-prenormal-output
  • A tests/csp/00-repl-extchoice3.output
  • A tests/csp/00-repl-extchoice3.t-normal-output
  • A tests/csp/00-repl-extchoice3.t-prenormal-output
  • A tests/csp/00-repl-extchoice4.csp0
  • A tests/csp/00-repl-extchoice4.f-normal-output
  • A tests/csp/00-repl-extchoice4.f-prenormal-output
  • A tests/csp/00-repl-extchoice4.output
  • A tests/csp/00-repl-extchoice4.t-normal-output
  • A tests/csp/00-repl-extchoice4.t-prenormal-output
  • A tests/csp/00-seqcomp1.f-normal-output
  • A tests/csp/00-seqcomp1.f-prenormal-output
  • A tests/csp/00-seqcomp1.t-normal-output
  • A tests/csp/00-seqcomp1.t-prenormal-output
  • A tests/csp/00-seqcomp2.f-normal-output
  • A tests/csp/00-seqcomp2.f-prenormal-output
  • A tests/csp/00-seqcomp2.t-normal-output
  • A tests/csp/00-seqcomp2.t-prenormal-output
  • A tests/csp/00-timeout1.csp0
  • A tests/csp/00-timeout1.f-normal-output
  • A tests/csp/00-timeout1.f-prenormal-output
  • A tests/csp/00-timeout1.output
  • A tests/csp/00-timeout1.t-normal-output
  • A tests/csp/00-timeout1.t-prenormal-output
  • A tests/csp/00-timeout2.csp0
  • A tests/csp/00-timeout2.f-normal-output
  • A tests/csp/00-timeout2.f-prenormal-output
  • A tests/csp/00-timeout2.output
  • A tests/csp/00-timeout2.t-normal-output
  • A tests/csp/00-timeout2.t-prenormal-output
  • A tests/csp/00-underscores.csp0
  • A tests/csp/00-underscores.f-normal-output
  • A tests/csp/00-underscores.f-prenormal-output
  • A tests/csp/00-underscores.output
  • A tests/csp/00-underscores.t-normal-output
  • A tests/csp/00-underscores.t-prenormal-output
  • A tests/csp/02-mem-aparallel1.f-normal-output
  • A tests/csp/02-mem-aparallel1.f-prenormal-output
  • A tests/csp/02-mem-aparallel1.t-normal-output
  • A tests/csp/02-mem-aparallel1.t-prenormal-output
  • A tests/csp/02-mem-extchoice1.f-normal-output
  • A tests/csp/02-mem-extchoice1.f-prenormal-output
  • A tests/csp/02-mem-extchoice1.t-normal-output
  • A tests/csp/02-mem-extchoice1.t-prenormal-output
  • A tests/csp/02-mem-hide1.f-normal-output
  • A tests/csp/02-mem-hide1.f-prenormal-output
  • A tests/csp/02-mem-hide1.t-normal-output
  • A tests/csp/02-mem-hide1.t-prenormal-output
  • A tests/csp/02-mem-intchoice1.f-normal-output
  • A tests/csp/02-mem-intchoice1.f-prenormal-output
  • A tests/csp/02-mem-intchoice1.t-normal-output
  • A tests/csp/02-mem-intchoice1.t-prenormal-output
  • A tests/csp/02-mem-interleave1.f-normal-output
  • A tests/csp/02-mem-interleave1.f-prenormal-output
  • A tests/csp/02-mem-interleave1.t-normal-output
  • A tests/csp/02-mem-interleave1.t-prenormal-output
  • A tests/csp/02-mem-iparallel1.f-normal-output
  • A tests/csp/02-mem-iparallel1.f-prenormal-output
  • A tests/csp/02-mem-iparallel1.t-normal-output
  • A tests/csp/02-mem-iparallel1.t-prenormal-output
  • A tests/csp/02-mem-prefix1.f-normal-output
  • A tests/csp/02-mem-prefix1.f-prenormal-output
  • A tests/csp/02-mem-prefix1.t-normal-output
  • A tests/csp/02-mem-prefix1.t-prenormal-output
  • A tests/csp/02-mem-rename1.f-normal-output
  • A tests/csp/02-mem-rename1.f-prenormal-output
  • A tests/csp/02-mem-rename1.t-normal-output
  • A tests/csp/02-mem-rename1.t-prenormal-output
  • A tests/csp/02-mem-seqcomp1.f-normal-output
  • A tests/csp/02-mem-seqcomp1.f-prenormal-output
  • A tests/csp/02-mem-seqcomp1.t-normal-output
  • A tests/csp/02-mem-seqcomp1.t-prenormal-output
  • A tests/csp/02-mem-timeout1.csp0
  • A tests/csp/02-mem-timeout1.f-normal-output
  • A tests/csp/02-mem-timeout1.f-prenormal-output
  • A tests/csp/02-mem-timeout1.output
  • A tests/csp/02-mem-timeout1.t-normal-output
  • A tests/csp/02-mem-timeout1.t-prenormal-output
  • A tests/csp/05-rec-aparallel1.f-normal-output
  • A tests/csp/05-rec-aparallel1.f-prenormal-output
  • A tests/csp/05-rec-aparallel1.t-normal-output
  • A tests/csp/05-rec-aparallel1.t-prenormal-output
  • A tests/csp/05-rec-extchoice1.f-normal-output
  • A tests/csp/05-rec-extchoice1.f-prenormal-output
  • A tests/csp/05-rec-extchoice1.t-normal-output
  • A tests/csp/05-rec-extchoice1.t-prenormal-output
  • A tests/csp/05-rec-extchoice2.f-normal-output
  • A tests/csp/05-rec-extchoice2.f-prenormal-output
  • A tests/csp/05-rec-extchoice2.t-normal-output
  • A tests/csp/05-rec-extchoice2.t-prenormal-output
  • A tests/csp/05-rec-hide1.f-normal-output
  • A tests/csp/05-rec-hide1.f-prenormal-output
  • A tests/csp/05-rec-hide1.t-normal-output
  • A tests/csp/05-rec-hide1.t-prenormal-output
  • A tests/csp/05-rec-intchoice1.f-normal-output
  • A tests/csp/05-rec-intchoice1.f-prenormal-output
  • A tests/csp/05-rec-intchoice1.t-normal-output
  • A tests/csp/05-rec-intchoice1.t-prenormal-output
  • A tests/csp/05-rec-interleave1.f-normal-output
  • A tests/csp/05-rec-interleave1.f-prenormal-output
  • A tests/csp/05-rec-interleave1.t-normal-output
  • A tests/csp/05-rec-interleave1.t-prenormal-output
  • A tests/csp/05-rec-iparallel1.f-normal-output
  • A tests/csp/05-rec-iparallel1.f-prenormal-output
  • A tests/csp/05-rec-iparallel1.t-normal-output
  • A tests/csp/05-rec-iparallel1.t-prenormal-output
  • A tests/csp/05-rec-prefix1.f-normal-output
  • A tests/csp/05-rec-prefix1.f-prenormal-output
  • A tests/csp/05-rec-prefix1.t-normal-output
  • A tests/csp/05-rec-prefix1.t-prenormal-output
  • A tests/csp/05-rec-rename1.f-normal-output
  • A tests/csp/05-rec-rename1.f-prenormal-output
  • A tests/csp/05-rec-rename1.t-normal-output
  • A tests/csp/05-rec-rename1.t-prenormal-output
  • A tests/csp/05-rec-seqcomp1.f-normal-output
  • A tests/csp/05-rec-seqcomp1.f-prenormal-output
  • A tests/csp/05-rec-seqcomp1.t-normal-output
  • A tests/csp/05-rec-seqcomp1.t-prenormal-output
  • A tests/csp/05-rec-timeout1.csp0
  • A tests/csp/05-rec-timeout1.f-normal-output
  • A tests/csp/05-rec-timeout1.f-prenormal-output
  • A tests/csp/05-rec-timeout1.output
  • A tests/csp/05-rec-timeout1.t-normal-output
  • A tests/csp/05-rec-timeout1.t-prenormal-output
  • A tests/csp/10-extchoice-intchoice.f-normal-output
  • A tests/csp/10-extchoice-intchoice.f-prenormal-output
  • A tests/csp/10-extchoice-intchoice.t-normal-output
  • A tests/csp/10-extchoice-intchoice.t-prenormal-output
  • A tests/csp/10-intchoice-extchoice.f-normal-output
  • A tests/csp/10-intchoice-extchoice.f-prenormal-output
  • A tests/csp/10-intchoice-extchoice.t-normal-output
  • A tests/csp/10-intchoice-extchoice.t-prenormal-output
  • A tests/csp/80-roscoe-02.f-normal-output
  • A tests/csp/80-roscoe-02.f-prenormal-output
  • A tests/csp/80-roscoe-02.t-normal-output
  • A tests/csp/80-roscoe-02.t-prenormal-output
  • A tests/intset/test-superset.cc
  • A tests/intset/test01.superset-input
  • A tests/refinement/00-basic1.failures
  • A tests/refinement/00-basic1.traces
  • A tests/refinement/00-basic2.failures
  • A tests/refinement/00-basic2.traces
  • A tests/refinement/00-basic3.failures
  • A tests/refinement/00-basic3.traces
  • A tests/refinement/00-basic4.failures
  • A tests/refinement/00-basic4.traces
  • A tests/refinement/00-basic5.csp0
  • A tests/refinement/00-basic5.failures
  • A tests/refinement/00-basic5.traces
  • A tests/refinement/00-basic6.csp0
  • A tests/refinement/00-basic6.failures
  • A tests/refinement/00-basic6.traces
  • A tests/refinement/80-roscoe-p40-a.failures
  • A tests/refinement/80-roscoe-p40-a.traces
  • A tests/refinement/80-roscoe-p40-b.failures
  • A tests/refinement/80-roscoe-p40-b.traces
  • A tests/refinement/80-roscoe-p52-a.failures
  • A tests/refinement/80-roscoe-p52-a.traces
  • A tests/refinement/80-roscoe-p52-b.failures
  • A tests/refinement/80-roscoe-p52-b.traces
  • A tests/refinement/bugs-9-superset.csp0
  • A tests/refinement/bugs-9-superset.failures
  • A tests/refinement/bugs-9-superset.traces
  • A tests/refinement/test-failures-refinement.cc
  • R include/hst/proxy-iterator.hh
  • R src/operators/interrupt.cc
  • R tests/csp/00-aparallel1.normal-output
  • R tests/csp/00-aparallel1.prenormal-output
  • R tests/csp/00-aparallel2.normal-output
  • R tests/csp/00-aparallel2.prenormal-output
  • R tests/csp/00-aparallel3.normal-output
  • R tests/csp/00-aparallel3.prenormal-output
  • R tests/csp/00-extchoice1.normal-output
  • R tests/csp/00-extchoice1.prenormal-output
  • R tests/csp/00-extchoice2.normal-output
  • R tests/csp/00-extchoice2.prenormal-output
  • R tests/csp/00-extchoice3.normal-output
  • R tests/csp/00-extchoice3.prenormal-output
  • R tests/csp/00-extchoice4.normal-output
  • R tests/csp/00-extchoice4.prenormal-output
  • R tests/csp/00-hide1.normal-output
  • R tests/csp/00-hide1.prenormal-output
  • R tests/csp/00-hide2.normal-output
  • R tests/csp/00-hide2.prenormal-output
  • R tests/csp/00-hide3.normal-output
  • R tests/csp/00-hide3.prenormal-output
  • R tests/csp/00-intchoice1.normal-output
  • R tests/csp/00-intchoice1.prenormal-output
  • R tests/csp/00-intchoice2.normal-output
  • R tests/csp/00-intchoice2.prenormal-output
  • R tests/csp/00-interleave1.normal-output
  • R tests/csp/00-interleave1.prenormal-output
  • R tests/csp/00-interleave2.normal-output
  • R tests/csp/00-interleave2.prenormal-output
  • R tests/csp/00-interleave3.normal-output
  • R tests/csp/00-interleave3.prenormal-output
  • R tests/csp/00-interleave4.normal-output
  • R tests/csp/00-interleave4.prenormal-output
  • R tests/csp/00-interleave5.normal-output
  • R tests/csp/00-interleave5.prenormal-output
  • R tests/csp/00-interrupt1.csp0
  • R tests/csp/00-interrupt1.normal-output
  • R tests/csp/00-interrupt1.output
  • R tests/csp/00-interrupt1.prenormal-output
  • R tests/csp/00-interrupt2.csp0
  • R tests/csp/00-interrupt2.normal-output
  • R tests/csp/00-interrupt2.output
  • R tests/csp/00-interrupt2.prenormal-output
  • R tests/csp/00-iparallel1.normal-output
  • R tests/csp/00-iparallel1.prenormal-output
  • R tests/csp/00-iparallel2.normal-output
  • R tests/csp/00-iparallel2.prenormal-output
  • R tests/csp/00-iparallel3.normal-output
  • R tests/csp/00-iparallel3.prenormal-output
  • R tests/csp/00-iparallel4.normal-output
  • R tests/csp/00-iparallel4.prenormal-output
  • R tests/csp/00-prefix.normal-output
  • R tests/csp/00-prefix.prenormal-output
  • R tests/csp/00-rename1.normal-output
  • R tests/csp/00-rename1.prenormal-output
  • R tests/csp/00-rename2.normal-output
  • R tests/csp/00-rename2.prenormal-output
  • R tests/csp/00-rename3.normal-output
  • R tests/csp/00-rename3.prenormal-output
  • R tests/csp/00-seqcomp1.normal-output
  • R tests/csp/00-seqcomp1.prenormal-output
  • R tests/csp/00-seqcomp2.normal-output
  • R tests/csp/00-seqcomp2.prenormal-output
  • R tests/csp/02-mem-aparallel1.normal-output
  • R tests/csp/02-mem-aparallel1.prenormal-output
  • R tests/csp/02-mem-extchoice1.normal-output
  • R tests/csp/02-mem-extchoice1.prenormal-output
  • R tests/csp/02-mem-hide1.normal-output
  • R tests/csp/02-mem-hide1.prenormal-output
  • R tests/csp/02-mem-intchoice1.normal-output
  • R tests/csp/02-mem-intchoice1.prenormal-output
  • R tests/csp/02-mem-interleave1.normal-output
  • R tests/csp/02-mem-interleave1.prenormal-output
  • R tests/csp/02-mem-interrupt1.csp0
  • R tests/csp/02-mem-interrupt1.normal-output
  • R tests/csp/02-mem-interrupt1.output
  • R tests/csp/02-mem-interrupt1.prenormal-output
  • R tests/csp/02-mem-iparallel1.normal-output
  • R tests/csp/02-mem-iparallel1.prenormal-output
  • R tests/csp/02-mem-prefix1.normal-output
  • R tests/csp/02-mem-prefix1.prenormal-output
  • R tests/csp/02-mem-rename1.normal-output
  • R tests/csp/02-mem-rename1.prenormal-output
  • R tests/csp/02-mem-seqcomp1.normal-output
  • R tests/csp/02-mem-seqcomp1.prenormal-output
  • R tests/csp/05-rec-aparallel1.normal-output
  • R tests/csp/05-rec-aparallel1.prenormal-output
  • R tests/csp/05-rec-extchoice1.normal-output
  • R tests/csp/05-rec-extchoice1.prenormal-output
  • R tests/csp/05-rec-extchoice2.normal-output
  • R tests/csp/05-rec-extchoice2.prenormal-output
  • R tests/csp/05-rec-hide1.normal-output
  • R tests/csp/05-rec-hide1.prenormal-output
  • R tests/csp/05-rec-intchoice1.normal-output
  • R tests/csp/05-rec-intchoice1.prenormal-output
  • R tests/csp/05-rec-interleave1.normal-output
  • R tests/csp/05-rec-interleave1.prenormal-output
  • R tests/csp/05-rec-interrupt1.csp0
  • R tests/csp/05-rec-interrupt1.normal-output
  • R tests/csp/05-rec-interrupt1.output
  • R tests/csp/05-rec-interrupt1.prenormal-output
  • R tests/csp/05-rec-iparallel1.normal-output
  • R tests/csp/05-rec-iparallel1.prenormal-output
  • R tests/csp/05-rec-prefix1.normal-output
  • R tests/csp/05-rec-prefix1.prenormal-output
  • R tests/csp/05-rec-rename1.normal-output
  • R tests/csp/05-rec-rename1.prenormal-output
  • R tests/csp/05-rec-seqcomp1.normal-output
  • R tests/csp/05-rec-seqcomp1.prenormal-output
  • R tests/csp/10-extchoice-intchoice.normal-output
  • R tests/csp/10-extchoice-intchoice.prenormal-output
  • R tests/csp/10-intchoice-extchoice.normal-output
  • R tests/csp/10-intchoice-extchoice.prenormal-output
  • R tests/csp/80-roscoe-02.normal-output
  • R tests/csp/80-roscoe-02.prenormal-output
  • M CMakeLists.txt
  • M INSTALL
  • M TODO
  • M build-scripts/save-csp-test
  • M cmake/FindBison.cmake
  • M cmake/FindJudy.cmake
  • M doc/csp0.txt
  • M doc/tech-overview.txt
  • M include/hst/CMakeLists.txt
  • M include/hst/assertions.hh
  • M include/hst/csp.hh
  • M include/hst/equivalence.hh
  • M include/hst/event-stateset-map.hh
  • M include/hst/intset.hh
  • M include/hst/lts.hh
  • M include/hst/normalized-lts.hh
  • M include/hst/parser/scanner.hh
  • M include/hst/state-stateset-map.hh
  • M include/hst/types.hh
  • M scratch.py
  • M src/CMakeLists.txt
  • M src/assertions/refine.cc
  • M src/bin/csp0.cc
  • M src/csp-basic.cc
  • M src/intset.cc
  • M src/lts.cc
  • M src/normalization/bisimulate.cc
  • M src/normalization/normalize.cc
  • M src/normalization/normalized-lts.cc
  • M src/normalization/prenormalize.cc
  • M src/operators/alphabetized-parallel.cc
  • M src/operators/extchoice.cc
  • M src/operators/hide.cc
  • M src/operators/intchoice.cc
  • M src/operators/interface-parallel.cc
  • M src/operators/interleave.cc
  • M src/operators/prefix.cc
  • M src/operators/rename.cc
  • M src/operators/seqcomp.cc
  • M src/parser/csp0.yy
  • M src/parser/eventmap.yy
  • M src/parser/intset.yy
  • M src/parser/intsetset.yy
  • M src/parser/lts.yy
  • M src/parser/scanner.cc
  • M tests/bisimulate/test-bisimulate.cc
  • M tests/csp/00-aparallel1.csp0
  • M tests/csp/00-aparallel1.output
  • M tests/csp/00-aparallel2.csp0
  • M tests/csp/00-aparallel2.output
  • M tests/csp/00-aparallel3.csp0
  • M tests/csp/00-aparallel3.output
  • M tests/csp/00-extchoice1.csp0
  • M tests/csp/00-extchoice1.output
  • M tests/csp/00-extchoice2.csp0
  • M tests/csp/00-extchoice2.output
  • M tests/csp/00-extchoice3.csp0
  • M tests/csp/00-extchoice3.output
  • M tests/csp/00-extchoice4.csp0
  • M tests/csp/00-extchoice4.output
  • M tests/csp/00-hide1.csp0
  • M tests/csp/00-hide1.output
  • M tests/csp/00-hide2.csp0
  • M tests/csp/00-hide2.output
  • M tests/csp/00-hide3.csp0
  • M tests/csp/00-hide3.output
  • M tests/csp/00-hide4.csp0
  • M tests/csp/00-intchoice1.csp0
  • M tests/csp/00-intchoice1.output
  • M tests/csp/00-intchoice2.csp0
  • M tests/csp/00-intchoice2.output
  • M tests/csp/00-interleave1.csp0
  • M tests/csp/00-interleave1.output
  • M tests/csp/00-interleave2.csp0
  • M tests/csp/00-interleave2.output
  • M tests/csp/00-interleave3.csp0
  • M tests/csp/00-interleave3.output
  • M tests/csp/00-interleave4.csp0
  • M tests/csp/00-interleave4.output
  • M tests/csp/00-interleave5.csp0
  • M tests/csp/00-interleave5.output
  • M tests/csp/00-iparallel1.csp0
  • M tests/csp/00-iparallel1.output
  • M tests/csp/00-iparallel2.csp0
  • M tests/csp/00-iparallel2.output
  • M tests/csp/00-iparallel3.csp0
  • M tests/csp/00-iparallel3.output
  • M tests/csp/00-iparallel4.csp0
  • M tests/csp/00-iparallel4.output
  • M tests/csp/00-prefix.csp0
  • M tests/csp/00-prefix.output
  • M tests/csp/00-rename1.csp0
  • M tests/csp/00-rename1.output
  • M tests/csp/00-rename2.csp0
  • M tests/csp/00-rename2.output
  • M tests/csp/00-rename3.csp0
  • M tests/csp/00-rename3.output
  • M tests/csp/00-seqcomp1.csp0
  • M tests/csp/00-seqcomp1.output
  • M tests/csp/00-seqcomp2.csp0
  • M tests/csp/00-seqcomp2.output
  • M tests/csp/02-mem-aparallel1.csp0
  • M tests/csp/02-mem-aparallel1.output
  • M tests/csp/02-mem-extchoice1.csp0
  • M tests/csp/02-mem-extchoice1.output
  • M tests/csp/02-mem-hide1.csp0
  • M tests/csp/02-mem-hide1.output
  • M tests/csp/02-mem-intchoice1.csp0
  • M tests/csp/02-mem-intchoice1.output
  • M tests/csp/02-mem-interleave1.csp0
  • M tests/csp/02-mem-interleave1.output
  • M tests/csp/02-mem-iparallel1.csp0
  • M tests/csp/02-mem-iparallel1.output
  • M tests/csp/02-mem-prefix1.csp0
  • M tests/csp/02-mem-prefix1.output
  • M tests/csp/02-mem-rename1.csp0
  • M tests/csp/02-mem-rename1.output
  • M tests/csp/02-mem-seqcomp1.csp0
  • M tests/csp/02-mem-seqcomp1.output
  • M tests/csp/05-rec-aparallel1.csp0
  • M tests/csp/05-rec-aparallel1.output
  • M tests/csp/05-rec-extchoice1.csp0
  • M tests/csp/05-rec-extchoice1.output
  • M tests/csp/05-rec-extchoice2.csp0
  • M tests/csp/05-rec-extchoice2.output
  • M tests/csp/05-rec-hide1.csp0
  • M tests/csp/05-rec-hide1.output
  • M tests/csp/05-rec-intchoice1.csp0
  • M tests/csp/05-rec-intchoice1.output
  • M tests/csp/05-rec-interleave1.csp0
  • M tests/csp/05-rec-interleave1.output
  • M tests/csp/05-rec-iparallel1.csp0
  • M tests/csp/05-rec-iparallel1.output
  • M tests/csp/05-rec-prefix1.csp0
  • M tests/csp/05-rec-prefix1.output
  • M tests/csp/05-rec-rename1.csp0
  • M tests/csp/05-rec-rename1.output
  • M tests/csp/05-rec-seqcomp1.csp0
  • M tests/csp/05-rec-seqcomp1.output
  • M tests/csp/10-extchoice-intchoice.csp0
  • M tests/csp/10-extchoice-intchoice.output
  • M tests/csp/10-intchoice-extchoice.csp0
  • M tests/csp/10-intchoice-extchoice.output
  • M tests/csp/80-roscoe-02.csp0
  • M tests/csp/80-roscoe-02.output
  • M tests/csp/CMakeLists.txt
  • M tests/csp/test-normalize.cc
  • M tests/csp/test-prenormalize.cc
  • M tests/intset/CMakeLists.txt
  • M tests/lts/cycle.output
  • M tests/lts/empty-graph.output
  • M tests/lts/one-edge.output
  • M tests/lts/test-lts.cc
  • M tests/prenormalize/normalize-01.output
  • M tests/prenormalize/roscoe-01.output
  • M tests/prenormalize/roscoe-02.output
  • M tests/prenormalize/test-prenormalize.cc
  • M tests/refinement/00-basic1.csp0
  • M tests/refinement/00-basic2.csp0
  • M tests/refinement/00-basic3.csp0
  • M tests/refinement/00-basic4.csp0
  • M tests/refinement/80-roscoe-p40-a.csp0
  • M tests/refinement/80-roscoe-p40-b.csp0
  • M tests/refinement/80-roscoe-p52-a.csp0
  • M tests/refinement/80-roscoe-p52-b.csp0
  • M tests/refinement/CMakeLists.txt
  • M tests/refinement/test-traces-refinement.cc
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.