Changeset [3d6d5352426e906b620ce4c9ce8c784e7cbb68fd] by Douglas Creager
April 1st, 2009 @ 09:56 PM
Merge branch 'master' into rel
- master: Complex channels Complex datatypes Simple datatypes Dotted values in patterns Dotted values in “nametype” statements Dotted values Fixed column numbers when using Bison 2.3 Multiple channels Product types “nametype” statements Int and Bool built-in types Replicated internal choice Include error messages in expected CSP₀ test outputs Using Markdown for documentation Remove tabs from source files Removing “doc” target from “make all” Use shared_ptr from Boost instead of from the TR1 standard Block comments Single-line comments Updating CSPM libraries to work with GHC 6.10 and Cabal 1.6 http://github.com/hst/hst/commit...
Committed by Douglas Creager
- M CMakeLists.txt
- M INSTALL
- M README
- M README.md
- M build-scripts/save-csp-test
- M cspm/HST.cabal
- M cspm/Setup.lhs
- M cspm/qc-tests/HST/CSPM/Tests/Booleans.hs
- M cspm/qc-tests/HST/CSPM/Tests/Lambdas.hs
- M cspm/qc-tests/HST/CSPM/Tests/Lets.hs
- M cspm/qc-tests/HST/CSPM/Tests/Numbers.hs
- M cspm/qc-tests/HST/CSPM/Tests/Patterns.hs
- M cspm/qc-tests/HST/CSPM/Tests/Sequences.hs
- M cspm/qc-tests/HST/CSPM/Tests/Sets.hs
- M cspm/src/HST/CSP0/Processes.lhs
- M cspm/src/HST/CSPM/Bind.hs
- M cspm/src/HST/CSPM/Definitions.lhs
- M cspm/src/HST/CSPM/Environments.hs
- M cspm/src/HST/CSPM/Evaluate.hs
- M cspm/src/HST/CSPM/Lexer.lhs
- M cspm/src/HST/CSPM/Parser.hs
- M cspm/src/HST/CSPM/Parser.ly
- M cspm/src/HST/CSPM/Patterns.lhs
- M cspm/src/HST/CSPM/Sets.lhs
- M cspm/src/HST/CSPM/Tool/Compile.lhs
- M cspm/src/HST/CSPM/Tool/Evaluate.lhs
- M cspm/src/HST/CSPM/Types.hs
- M cspm/tests/expressions/test-booleans.sh
- M cspm/tests/expressions/test-dots.sh
- M cspm/tests/expressions/test-numbers.sh
- M cspm/tests/expressions/test-types.sh
- M cspm/tests/mechanics/test-comments.sh
- M cspm/tests/mechanics/test-newlines.sh
- M cspm/tests/processes/test-bugs.sh
- M cspm/tests/processes/test-channels.sh
- M cspm/tests/processes/test-newlines.sh
- M cspm/tests/processes/test-rintchoice.sh
- M cspm/tests/run-tests.sh
- M doc/CMakeLists.txt
- M doc/callouts.xsl
- M doc/csp0.1.md
- M doc/csp0.1.txt
- M doc/csp0.md
- M doc/csp0.txt
- M doc/hst.css
- M doc/tech-overview.md
- M doc/tech-overview.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/eventmap.hh
- M include/hst/intset.hh
- M include/hst/intsetset.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 include/hst/zobrist.hh
- M packaging/mac/Info.plist
- M packaging/mac/create-pkg.sh
- M src/CMakeLists.txt
- M src/assertions/refine.cc
- M src/bin/csp0.cc
- M src/intset.cc
- M src/intsetset.cc
- M src/operators/extchoice.cc
- M src/operators/intchoice.cc
- M src/operators/replicated-intchoice.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 src/zobrist.cc
- M tests/csp/00-repl-intchoice0.csp0
- M tests/csp/00-repl-intchoice0.f-normal-output
- M tests/csp/00-repl-intchoice0.f-prenormal-output
- M tests/csp/00-repl-intchoice0.output
- M tests/csp/00-repl-intchoice0.t-normal-output
- M tests/csp/00-repl-intchoice0.t-prenormal-output
- M tests/csp/00-repl-intchoice1.csp0
- M tests/csp/00-repl-intchoice1.f-normal-output
- M tests/csp/00-repl-intchoice1.f-prenormal-output
- M tests/csp/00-repl-intchoice1.output
- M tests/csp/00-repl-intchoice1.t-normal-output
- M tests/csp/00-repl-intchoice1.t-prenormal-output
- M tests/csp/00-repl-intchoice2.csp0
- M tests/csp/00-repl-intchoice2.f-normal-output
- M tests/csp/00-repl-intchoice2.f-prenormal-output
- M tests/csp/00-repl-intchoice2.output
- M tests/csp/00-repl-intchoice2.t-normal-output
- M tests/csp/00-repl-intchoice2.t-prenormal-output
- M tests/csp/CMakeLists.txt
- M tests/csp/bugs-20-column-number-1.csp0
- M tests/csp/bugs-20-column-number-1.f-normal-output
- M tests/csp/bugs-20-column-number-1.f-prenormal-output
- M tests/csp/bugs-20-column-number-1.output
- M tests/csp/bugs-20-column-number-1.t-normal-output
- M tests/csp/bugs-20-column-number-1.t-prenormal-output
- M tests/csp/bugs-20-column-number-2.csp0
- M tests/csp/bugs-20-column-number-2.f-normal-output
- M tests/csp/bugs-20-column-number-2.f-prenormal-output
- M tests/csp/bugs-20-column-number-2.output
- M tests/csp/bugs-20-column-number-2.t-normal-output
- M tests/csp/bugs-20-column-number-2.t-prenormal-output
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.