| |
|
| peak.model |
peak.model |
| |
|
| * A way to generate Z3 Interfaces from Feature-based specifications? |
|
| |
|
| * Implement WarpCORE-oriented structural model, w/Querying support |
* Implement WarpCORE-oriented structural model, w/Querying support |
| |
|
| * "Indexed" version of in-memory model? |
* "Indexed" version of in-memory model? |
| |
|
| |
|
| |
|
| peak.metamodels.uml |
|
| |
|
| * Need to write an MMX or XMI -> Python generator, and hook it back up into |
|
| the UML package, since we're right now relying on a module generated |
peak.metamodels.uml |
| by code that depends on stuff which is going away. |
|
| |
|
| * Helper methods in Elements & Services for marshalling, common queries, etc. |
* Helper methods in Elements & Services for marshalling, common queries, etc. |
| |
|
Diff of /PEAK/TODO.txt
Parent Directory
| 
Revision Log