Project

General

Profile

« Previous | Next » 

Revision 5500edb8

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.

View differences:

TODO.org
29 29
** clock calculus
30 30
*** extension from named clocks to valued clocks ?
31 31
*** static inputs should be polymorphic, as global constants are: done
32

  
33
* Horn backend arrays
34
  - some constructed expressipon including constant arrays are not well
35
    developped.
36
  - similar behavior happens with C backend.
37
  - according to xavier it is related to a wrong optimization step

Also available in: Unified diff