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 [3f119b64501e22b9b652410bf043f00f58c3932e] by Douglas Creager

Revision 3f119b64501e22b9b652410bf043f00f58c3932e, committed by Douglas Creager · November 21st, 2008 @ 01:57 PM

Merge branch 'master' into rel

  • master: (37 commits) “create-source-package” script now works with any version Updating README and INSTALL to mention CSPM library “let”s now allow pattern definitions and multiple-branch functions Functions defined in multiple branches Lambda expressions now implemented using patterns, too Patterns on left-hand sides of top-level definitions Lambdas now implemented using patterns Adding Show instance for patterns Initial pattern matching support Implementing built-in functions as keywords Allow newlines before and after binary operators Prefix CSPM expressions should create “event” CSP₀ statements CSP₀ identifiers can now contain periods Adding process expressions to CSPM parser Definitions no longer need to be in alphabetical order Allow trailing newlines at end of CSPM script Parentheses in expressions Adding additional (non-QuickCheck) testing harness Simple “channel” statement Top-level script no longer implemented as an implicit “let” statement ... http://github.com/hst/hst/commit...

64 changed files

  • M INSTALL
  • M README
  • M build-scripts/create-source-package
  • M cspm/.gitignore
  • M cspm/HST.cabal
  • M cspm/LICENSE
  • M cspm/Setup.lhs
  • M cspm/qc-tests/HST/CSPM/Tests.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Booleans.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Environments.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Generators.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.hs
  • M cspm/src/HST/CSP0/Processes.lhs
  • M cspm/src/HST/CSPM.hs
  • 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.lhs
  • M cspm/src/HST/CSPM/Tool/Command.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-lambdas.sh
  • M cspm/tests/expressions/test-lets.sh
  • M cspm/tests/expressions/test-numbers.sh
  • M cspm/tests/expressions/test-patterns.sh
  • M cspm/tests/expressions/test-sequences.sh
  • M cspm/tests/expressions/test-sets.sh
  • M cspm/tests/functions.sh
  • M cspm/tests/processes/test-aparallel.sh
  • M cspm/tests/processes/test-extchoice.sh
  • M cspm/tests/processes/test-hide.sh
  • M cspm/tests/processes/test-intchoice.sh
  • M cspm/tests/processes/test-interleave.sh
  • M cspm/tests/processes/test-iparallel.sh
  • M cspm/tests/processes/test-newlines.sh
  • M cspm/tests/processes/test-prefix.sh
  • M cspm/tests/processes/test-rextchoice.sh
  • M cspm/tests/processes/test-seqcomp.sh
  • M cspm/tests/processes/test-timeout.sh
  • M cspm/tests/quickcheck-tests.sh
  • M cspm/tests/run-tests.sh
  • M doc/csp0.txt
  • M src/parser/scanner.cc
  • M tests/csp/00-identifiers.csp0
  • M tests/csp/00-identifiers.f-normal-output
  • M tests/csp/00-identifiers.f-prenormal-output
  • M tests/csp/00-identifiers.output
  • M tests/csp/00-identifiers.t-normal-output
  • M tests/csp/00-identifiers.t-prenormal-output
  • M tests/csp/CMakeLists.txt