Jakob Stoklund Olesen 217434b474 Add custom legalization for conditional traps. ...

The expansion of these instructions requires the CFG to be modified,
something the Python XForms can't yet do.

2017-08-28 11:19:42 -07:00

..

__init__.py

Move ValueType into a new cdsl top-level module.

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

entities.py

Add heaps to the Cretonne IL.

2017-08-23 14:15:59 -07:00

formats.py

Add heaps to the Cretonne IL.

2017-08-23 14:15:59 -07:00

immediates.py

Prefer to use qualified type names in generated code.

2017-08-18 14:14:23 -07:00

instructions.py

Add heaps to the Cretonne IL.

2017-08-23 14:15:59 -07:00

legalize.py

Add custom legalization for conditional traps.

2017-08-28 11:19:42 -07:00

semantics.py

Fix for #141 (#142)

2017-08-14 20:19:47 -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