Changeset [58e5a3a4444fde5983b86b446359223f2ca9d598] by Douglas Creager

April 27th, 2008 @ 07:38 PM

Current “interrupt” operator is actually “timeout”

The operator that's currently called “interrupt” is actually the CSP

“timeout” operator. All of the semantics are correct; it's just the

name of the operator that's wrong. This patch corrects this, in the

code, test cases, and all documentation.

Lighthouse: [#4 state:resolved]

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

Committed by Douglas Creager

  • A src/operators/timeout.cc
  • A tests/csp/00-timeout1.csp0
  • A tests/csp/00-timeout1.normal-output
  • A tests/csp/00-timeout1.output
  • A tests/csp/00-timeout1.prenormal-output
  • A tests/csp/00-timeout2.csp0
  • A tests/csp/00-timeout2.normal-output
  • A tests/csp/00-timeout2.output
  • A tests/csp/00-timeout2.prenormal-output
  • A tests/csp/02-mem-timeout1.csp0
  • A tests/csp/02-mem-timeout1.normal-output
  • A tests/csp/02-mem-timeout1.output
  • A tests/csp/02-mem-timeout1.prenormal-output
  • A tests/csp/05-rec-timeout1.csp0
  • A tests/csp/05-rec-timeout1.normal-output
  • A tests/csp/05-rec-timeout1.output
  • A tests/csp/05-rec-timeout1.prenormal-output
  • R src/operators/interrupt.cc
  • 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/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/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
  • M doc/csp0.txt
  • M include/hst/csp.hh
  • M include/hst/parser/scanner.hh
  • M scratch.py
  • M src/CMakeLists.txt
  • 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/csp/CMakeLists.txt
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.