Commit 4d94c4b2 authored by Jonathan Shahen's avatar Jonathan Shahen

Version Update to 1.3.0

parent 71a1c9ba
......@@ -2,18 +2,32 @@
All notable changes to this project will be documented in this file.
This project adheres to [Semantic Versioning](http://semver.org/).
## [1.2.0] - 2015-08-16
#####################################################
## [1.3.0] - 2015-11-09
### Fixed
- Remove CanEnable/CanDisable reduction has been fixed
- Removed large debugging statements from running by surrounding them with an IF statement (big performance increase)
- Lots of code cleanups and speedups
### Bugs
- Still differing errors for AGTUniv04, AGTUniv08-10, AGTHos08-10 from ASASPTime NSA
### Added
- New field added to Role:
- New Option to ONLY execute the Remove CanEnable v1 or the CanEnable v2 Reduction (-only)
- Can now reduce rolenames for conversion to Mohawk (instead of role1_ENABLED_AL0_u12, we get r2)
(big performance increase)
#####################################################
## [1.2.0] - 2015-08-16
### Fixed
- Fixed conversion error which produced a system that was not always correct
### Bugs
- AGTUniv10 takes a really long time, and a lot of refinement steps;
each refinement step is quick, so the abstraction-refinement process might need to updated
### Added
- CHANGELOG
- VERSION
......
1.2.0
\ No newline at end of file
1.3.0
\ No newline at end of file
......@@ -23,7 +23,7 @@ import mohawk.global.pieces.Rule;
import mohawk.global.timing.MohawkTiming;
public class ConverterInstance {
private static final String VERSION = "v1.2.0";
private static final String VERSION = "v1.3.0";
private static final String AUTHORS = "Jonathan Shahen <jmshahen@uwaterloo.ca>";
// Logger Fields
public static final Logger logger = Logger.getLogger("mohawk");
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment