diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,13 @@
+2021-08-19
+        * Version bump (3.5). (#247)
+        * Update travis domain in README. (#222)
+        * Remove commented code. (#15)
+        * Update official maintainer. (#236)
+        * Fix typo in description. (#240)
+        * Fix reset in counter example. (#54)
+        * Remove unnecessary files from repo. (#244)
+        * Add I. Perez to author list. (#243)
+
 2021-07-07
         * Version bump (3.4). (#231)
 
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Copilot: Stream DSL for hard real-time runtime verification
 
-[![Build Status](https://travis-ci.org/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.org/Copilot-Language/Copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/Copilot)
 [![Version on Hackage](https://img.shields.io/hackage/v/copilot.svg)](https://hackage.haskell.org/package/copilot)
 
 Copilot is a runtime verification framework written in Haskell. It allows the
diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,18 +1,18 @@
 name:                copilot
-version:             3.4
+version:             3.5
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
-author:              Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
+author:              Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez
 synopsis:            A stream DSL for writing embedded C programs.
 build-type:          Simple
-maintainer:          Frank Dedden <dev@dedden.net>
+maintainer:          Ivan Perez <ivan.perezdominguez@nasa.gov>
 category:            Language, Embedded
 homepage:            https://copilot-language.github.io
 bug-reports:         https://github.com/Copilot-Language/copilot/issues
 stability:           Experimental
 description:
-  Copilot is a stream-based runtime verification framewor implemented as an
+  Copilot is a stream-based runtime verification framework implemented as an
   embedded domain-specific language (EDSL) in Haskell. Programs can be
   interpreted for testing, or translated into C99 code to be incorporated in a
   project, or as a standalone application. The C99 backend output is constant
@@ -50,11 +50,11 @@
                      , directory            >= 1.3  && < 1.4
                      , filepath             >= 1.4  && < 1.5
 
-                     , copilot-core         >= 3.4  && < 3.5
-                     , copilot-theorem      >= 3.4  && < 3.5
-                     , copilot-language     >= 3.4  && < 3.5
-                     , copilot-libraries    >= 3.4  && < 3.5
-                     , copilot-c99          >= 3.4  && < 3.5
+                     , copilot-core         >= 3.5  && < 3.6
+                     , copilot-theorem      >= 3.5  && < 3.6
+                     , copilot-language     >= 3.5  && < 3.6
+                     , copilot-libraries    >= 3.5  && < 3.6
+                     , copilot-c99          >= 3.5  && < 3.6
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
diff --git a/examples/Counter.hs b/examples/Counter.hs
--- a/examples/Counter.hs
+++ b/examples/Counter.hs
@@ -1,4 +1,4 @@
---------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
 -- Copyright © 2019 National Institute of Aerospace / Galois, Inc.
 --------------------------------------------------------------------------------
 
@@ -9,6 +9,7 @@
 module Main where
 
 import Language.Copilot
+import Copilot.Compile.C99
 
 -- A resettable counter
 counter :: Stream Bool -> Stream Bool -> Stream Int32
@@ -22,10 +23,11 @@
 -- Counter that resets when it reaches 256
 bytecounter :: Stream Int32
 bytecounter = counter true reset where
-  reset = counter true false == 256
+  reset = counter true false `mod` 256 == 0
 
 spec :: Spec
 spec = trigger "counter" true [arg $ bytecounter]
 
 main :: IO ()
-main = interpret 270 spec
+-- main = interpret 1280 spec
+main = reify spec >>= compile "counter"
diff --git a/src/Language/Copilot.hs b/src/Language/Copilot.hs
--- a/src/Language/Copilot.hs
+++ b/src/Language/Copilot.hs
@@ -15,20 +15,7 @@
     module Copilot.Language
   , module Copilot.Language.Prelude
   , module Copilot.Language.Reify
-
-  -- Code generators
-  -- , module Copilot.Compile.C99
-  -- , module Copilot.Compile.SBV
-
-  -- Libraries
   , module Copilot.Library.Libraries
-  -- , module Copilot.Library.LTL
-  -- , module Copilot.Library.PTLTL
-  -- , module Copilot.Library.Statistics
-  -- , module Copilot.Library.RegExp
-  -- , module Copilot.Library.Utils
-  -- , module Copilot.Library.Voting
-  -- , module Copilot.Library.Stacks
 
   , copilotMain
   , defaultMain
@@ -37,20 +24,5 @@
 import Copilot.Language
 import Copilot.Language.Prelude
 import Copilot.Language.Reify
-
--- Code generators
--- import Copilot.Compile.C99
--- import Copilot.Compile.SBV
-
--- Libraries
 import Copilot.Library.Libraries
--- import Copilot.Library.Clocks
--- import Copilot.Library.LTL
--- import Copilot.Library.PTLTL
--- import Copilot.Library.Statistics
--- import Copilot.Library.RegExp
--- import Copilot.Library.Utils
--- import Copilot.Library.Voting
--- import Copilot.Library.Stacks
-
 import Language.Copilot.Main