Permalink
Browse files

Add examples as other modules.

  • Loading branch information...
1 parent cb3eb7d commit 448ddb9be7d3c14b4d7804288e92b1940161332a @leepike committed Jan 1, 2012
Showing with 18 additions and 2 deletions.
  1. +1 −1 Examples/VotingExamples.hs
  2. +17 −1 copilot.cabal
@@ -2,7 +2,7 @@
-- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
--------------------------------------------------------------------------------
--- |
+-- | Fault-tolerant voting examples.
{-# LANGUAGE RebindableSyntax #-}
View
@@ -1,5 +1,5 @@
name: copilot
-version: 2.0.1
+version: 2.0.2
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
@@ -50,3 +50,19 @@ executable copilot-regression
, copilot-c99 >= 0.2
, directory >= 1.1
, random
+ other-modules: AddMult
+ , Array
+ , Cast
+ , ClockExamples
+ , EngineExample
+ , Examples
+ , Examples2
+ , ExtFuns
+ , Local
+ , LTLExamples
+ , PTLTLExamples
+ , Random
+ , RegExpExamples
+ , StackExamples
+ , StatExamples
+ , VotingExamples

0 comments on commit 448ddb9

Please sign in to comment.