source: icGREP/icgrep-devel/icgrep/pablo/analysis/pabloverifier.cpp

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4899   3 years nmedfort Work on lowering + minor bug fixes.
(edit) @4885   3 years nmedfort More work on n-ary operations. Unresolved bug in DistributionPass?.
(edit) @4876   3 years nmedfort More work towards n-ary And/Or/Xor? functions.
(edit) @4870   3 years nmedfort Bug fix for Multiplexing. Added ability to set the body of a If/While?
(edit) @4866   3 years nmedfort Bug fix for Linda.
(edit) @4856   3 years nmedfort Bug fix for use-def correctness regarding escaping values of If and …
(edit) @4804   3 years nmedfort Bug fixes
(edit) @4799   3 years nmedfort Bug fix for verifier and rewrite of the code sinking optimization pass.
(edit) @4797   3 years nmedfort Progress on multi-target UCD compiler.
(edit) @4775   3 years nmedfort Work towards testing reassociation + multiplexing.
(edit) @4773   3 years nmedfort Bug fixes for reassociation pass.
(edit) @4771   3 years nmedfort Bug fixes for reassociation pass; passes make check.
(add) @4766   3 years nmedfort More distribution law work
Note: See TracRevisionLog for help on using the revision log.