Also delete CircuitTopName. It will not work with updated RenameMap

Moved from RemoveValidIf

Also Make RemoveValidIf.getGroundZero public and support Fixed

Improve constant propagation of connections to references

[skip formal checks]

LEC fails on this PR because this PR actually changes the circuit. The
change is that it constant propagates some additional registers. This is
really just extending #621 to work on more registers that it was
supposed to be propagating anyway.

* Make WiringTransform remove its used annotations

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Propagate exceptions from JsonProtocol deserialization

* Add AnnotationFileNotFoundException for better error reporting

* Add AnnotationClassNotFoundException for better error reporting

* Better propagate JSON parsing errors

Also report the file if there is a error deserializing a JSON file

* Make exception for non-array JSON file more explicit

* Added grouping pass

* Added InfoMagnet and infomappers

* Changed return type of execute to allow final CircuitState inspection

* Updated dedup. Now is name-agnostic

* Added GroupAndDedup transform

Also make ParserException extend FIRRTLException to better report parsing
errors to the user

* Adding the firrtl proto.

* .

* Pass up annotations in return value from Driver.execute
Backward compatible with existing usage.
Adds CircuitState to FirrtlExecutionSuccess, but
that member is not part of the unapply.
"To a single file per module if OneFilePerModule is specified"
test shows example of getting access to annotations

* As experiment return created files in annotations
Fix line missed in last push

Closes #666.

Large amounts of Wiring could result in huge nesting of Statements. This could
cause stack overflows using the Mappers. Fixed by no longer nesting Statements
in Wiring Pass.

Also make InvalidAnnotationFileException extend FIRRTLException for better
error reporting

Use the standard convention of 'XxYyException' for the previously named
LsbLargerThanMsb Exception.

h/t @kevintownsend

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

- Old Annotation renamed to deprecated LegacyAnnotation
- Annotation is now a trait that can be extended
- New JsonProtocol for Annotation [de]serialization
- Replace AnnotationMap with AnnotationSeq
- Deprecate Transform.getMyAnnotations
- Update Transforms
- Turn on deprecation warnings
- Remove deprecated Driver.compile
- Make AnnotationTests abstract with Legacy and Json subclasses
- Add functionality to convert LegacyAnnotations of built-in annos
This will give a noisy warning and is more of a best effort than a
robust solution.

Fixes #475 Closes #609

This makes the API change explicit. Also reintroduce loadAnnotations as
a deprecated function.

* Add DiGraph sum and DiGraph sum test

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Make DiGraph sum deterministic

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Remove ordered hashes/sets from DiGraphTests

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Changed primops to not accept mixed-type args

* Changed return type of sub of two uints to uint

* Added negative tests

* Removed rocket.fir. Manually changed RocketCore to not mix mul arg types. Added integration tests

* Clarified test description and remove println

* Fixed use of throwInternalError

* Catch exceptions and convert to internal error.
We need to update the displayed message to incorporate a line number and text to be used for the issue.

* Cleanup exception handling/throwing.
Re-throw expected (or uncorrectable exceptions).
Provide Utils.getThrowable() to get the first (eldest) or last throwable in the chain.
Update tests to conform to FreeSpec protocol.

* Minor cleanup
Admit we've updated some deprecated ScalaTest methods.

Fixes #450

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Also move all plugins to project/plugins.sbt

Fixes #700

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

A circuit with a single module would fail to properly compute BV RMQs due
to a divide by zero bug.

This changes the computation of the number of blocks an Euler Tour is
broken up into to be, at minimum, one.

This also changes one of the test cases ("wire with source and sink in the
same module") to exercise this.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Initial 0.1-BETA release.

* Update publish clauses.

* Bump version after rebuilding with Java 1.7

* Update to current sbt resolver idiom.

* Bump version

* Revert "Bump version"

This reverts commit 37ce060329d437c4494dd1560c1fb8a65a7a0718.

* Bump version.

* Update installation instructions with sbt publish-local.

* set release version

* bump release versions

* bump SNAPSHOT version

* bump version

* update deprecated sbt code

* Drop pomExtra scm definitions (now generated by git.remoteRepo.

* Incorporate lesssons learned from latest publishing.

* Bump testing coverage for Scala 2.12 support.

* Respond to review requests - unindent changes; unbump plugins version.

Fix Bugs in Constant Propagation

Two instances of the same module could collide in counting the number of
instances of each Module. This could lead to constants being propagated
on inputs when it is incorrect to do so.

Fixes #734

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Massive refactoring to WiringTransform with the use of a new EulerTour 
class to speed things up via fast least common ancestor (LCA) queries.

Changes include (but are not limited to):

* Use lowest common ancestor when wiring
* Add EulerTour class with naive and Berkman-Vishkin RMQ
* Adds LCA method for Instance Graph
* Enables "Two Sources" using "Top" wiring test as this is now valid
* Remove TopAnnotation from WiringTransform
* Represent WiringTransform sink as `Seq[Named]`
* Remove WiringUtils.countInstances, fix imports
* Support sources under sinks in WiringTransform
* Enable internal module wiring
* Support Wiring of Aggregates
h/t @edcote
fixes #728 

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Reviewed-by: Jack <Koenig&lt;jack.koenig3@gmail.com>

Fix FirrtlExecutionOptions backward incompatible change (#704).
New options should be added to the end of the list to reduce backward compatibility problems.
Update comment to mention backwards compatibility issue.