Skip to content

Commit

Permalink
Add CHANGELOG entry for new Overflow-checking primitives
Browse files Browse the repository at this point in the history
  • Loading branch information
MatthewFluet committed Oct 15, 2018
1 parent 14df405 commit 2dc3968
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,10 @@ Here are the changes from versoin 20180206 to version YYYYMMDD.

=== Details

* 2018-10-15
** Introduce new `Overflow`-checking primitives. Undertaken by Daman Morris
at RIT supported by NSF CISE Research Infrastructure (CRI) award.

* 2018-05-18
** Add a parser for the SSA IR (`functor ParseSsa`). Undertaken by James
Reilly at RIT supported by NSF CISE Research Infrastructure (CRI) award.
Expand Down

0 comments on commit 2dc3968

Please sign in to comment.