search

tuura / plato

A DSL for asynchronous circuits specification
Other
12 stars 2 forks source link

Added XOR gate and function to remove redundant combinations of cause transitions #78

Closed jrbeaumont closed 7 years ago

jrbeaumont commented 7 years ago

Redundancy removal been tested with the XOR gate in question, a 3 input XOR, and some older examples, such as an AO22, to ensure this has not affected the existing working.

snowleopard commented 7 years ago

Thanks, looks good! Just a couple of minor comments.

jrbeaumont commented 7 years ago

@snowleopard: I have tidied those functions the best I can. See a reply to your comments above, but otherwise this still works correctly.

snowleopard commented 7 years ago

Thanks, merged!

I didn't notice that \ts -> all (\t -> not ((toggle t) `elem` ts)) ts refers to ts twice, so yep, we can't get rid of it unfortunately :)