| summaryrefslogtreecommitdiff |
path: root/ast-to-instr
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-21 | Got some property dependencies to work. | Nathanael Sensfelder | |
| 2017-09-19 | Fixes case/when models, regroups properties. | Nathanael Sensfelder | |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder | |
| 2017-08-16 | Fixes Makefiles so they can run parallel jobs. | Nathanael Sensfelder | |
| 2017-08-15 | Partial attr. support, build/run targets, literals | Nathanael Sensfelder | |
| 2017-08-03 | Other than the pretty-printer, it seems done. | Nathanael Sensfelder | |
| 2017-08-03 | Improving clarity through better Makefiles. | Nathanael Sensfelder | |
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder | |
| The BCE has been updated to include a group of items that should be tagged by the CNE_01700 rule. However, it's not happening. I don't see anything wrong with the way the CNE_01700 rule is written and a quick overview of the generated model would lead me to conclude that it indeed should tag something. Likely there are still issues with the way properties are turned into Kodkod formulas. | |||
| 2017-07-27 | Fixes multiple issues with depths. | Nathanael Sensfelder | |
| 2017-07-27 | First shot at depths operators. | Nathanael Sensfelder | |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder | |
| 2017-07-25 | Working on (structural + elements) read/writes. | Nathanael Sensfelder | |
| 2017-07-24 | Centralizes the processing of (read) expressions. | Nathanael Sensfelder | |
| 2017-07-24 | Working on function calls and literals predicates. | Nathanael Sensfelder | |
| 2017-07-24 | Fixes connect_to/node_connect, configs Makefiles. | Nathanael Sensfelder | |
| 2017-07-22 | Adds the "is_terminal" predicate. | Nathanael Sensfelder | |
| 2017-07-21 | Adds output support. | Nathanael Sensfelder | |
| 2017-07-21 | Adds "port maps" support. | Nathanael Sensfelder | |
| 2017-07-21 | Working on the components. Found error in scripts. | Nathanael Sensfelder | |
| 2017-07-21 | Optimization pass. | Nathanael Sensfelder | |
| 2017-07-21 | Completes When Node parsing. | Nathanael Sensfelder | |
| 2017-07-20 | Still missing: Components, When Nodes, Outputs. | Nathanael Sensfelder | |
| 2017-07-20 | Fixes stupid mistakes, adds some nodes. | Nathanael Sensfelder | |
| 2017-07-20 | Adds Simple Signal Assignment Statement Node. | Nathanael Sensfelder | |
| 2017-07-20 | Working on the IF nodes + Childrens -> children. | Nathanael Sensfelder | |
| 2017-07-20 | Working on the "internal_process.py" translation. | Nathanael Sensfelder | |
| I think I've found some not-too-ugly solution. | |||
| 2017-07-20 | Still working on AST-to-Instr. | Nathanael Sensfelder | |
| 2017-07-20 | Continuing the implementation of AST-to-Instr. | Nathanael Sensfelder | |
| 2017-07-20 | Adds more types parsed from XML. | Nathanael Sensfelder | |
| 2017-07-19 | Starting a Java implementation of ast-to-instr. | Nathanael Sensfelder | |
| Keeping things clean, this time. | |||