Dan Gohman 24fa169e1f Rename the 'cretonne' crate to 'cretonne-codegen'. ...

This fixes the next part of #287.

2018-04-17 09:46:56 -07:00

..

__init__.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00

elaborate.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00

macros.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00

primitives.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00

smtlib.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00

test_elaborate.py

Rename the 'cretonne' crate to 'cretonne-codegen'.

2018-04-17 09:46:56 -07:00