Added by Pierre-Loïc Garoche over 6 years ago
- ID 5500edb8f813bab0dbb16ea658a9451bc75add7f
- Parent 9b04601c
Two fresh branches :)
to manage enum and arrays in the horn backend.
** clock calculus
*** extension from named clocks to valued clocks ?
*** static inputs should be polymorphic, as global constants are: done
* Horn backend arrays
- some constructed expressipon including constant arrays are not well
- similar behavior happens with C backend.
- according to xavier it is related to a wrong optimization step
Also available in: Unified diff