Skip to content

Commit

Permalink
DOC: Update CHANGELOG for v0.11.0
Browse files Browse the repository at this point in the history
  • Loading branch information
slivingston committed Jul 24, 2016
1 parent 986d666 commit 66a0205
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions CHANGELOG
Original file line number Diff line number Diff line change
@@ -1,3 +1,19 @@
gr1c (0.11.0)

* Begin to use CUDD 3.0.0.

* Various updates, additions to documentation. The gr1c repository and issue
tracker are now located at https://github.com/tulip-control/gr1c

* Move autman to be the command `gr1c autman`, and include it among programs
installed during `make install`.

* Various improvements to parsing of command-line options: `-vv` is equivalent
to `-v -v`; report unknown options that begin with `--`; add --version

-- Scott C. Livingston <[email protected]> Sun, 24 Jul 2016 10:19:56 -0400


gr1c (0.10.2)

* Include PID in default logging file name prefix.
Expand Down

0 comments on commit 66a0205

Please sign in to comment.