Project

General

Profile

Revision 7c95dcab TODO.org

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
34
** enum types for automaton
35
   - issues with MBranches and clocks
36
     - control-on-clock generates a "if cond then expr else nothing
37
     - it has to be expressed in a functional way to enable its expression as
38
       horn
39

  

Also available in: Unified diff