Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

All changesets

Changeset [3d6d5352426e906b620ce4c9ce8c784e7cbb68fd] by Douglas Creager

Revision 3d6d5352426e906b620ce4c9ce8c784e7cbb68fd, committed 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...

108 changed files

  • 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