d1m0 a9147ebd30 Add fix for #114 (#115) ...

* Reduce code duplication in TypeConstraint subclasses; Add ConstrainWiderOrEqual to ti and to ireduce,{s,u}extend and f{promote,demote}; Fix bug in emitting constraint edges in TypeEnv.dot(); Modify runtime constraint checks to reject match when they encounter overflow

* Rename Constrain types to something shorter; Move lane_bits/lane_counts in subclasses of ValueType; Add wider_or_eq function in rust and python;

2017-07-12 08:51:55 -07:00

..

__init__.py

Move ValueType into a new cdsl top-level module.

2016-11-08 10:12:47 -08:00

entities.py

Move formats, entities, and immediates to the base package.

2016-11-08 11:06:37 -08:00

formats.py

Add a regmove instruction.

2017-05-02 11:32:12 -07:00

immediates.py

Add a regmove instruction.

2017-05-02 11:32:12 -07:00

instructions.py

Add fix for #114 (#115)

2017-07-12 08:51:55 -07:00

legalize.py

Allow dot syntax notation for enumerated immediate operands.

2017-03-30 11:37:05 -07:00

settings.py

Add an enable_verifier setting.

2017-04-21 09:49:03 -07:00

types.py

Add image computation of typesets; Remove TypeVar.singleton_type - instead derive singleton type from typeset; (#104)

2017-06-23 11:57:24 -07:00