| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-20 | Removes TODO from the grammar. | Nathanael Sensfelder | |
| 2017-07-19 | Starting a Java implementation of ast-to-instr. | Nathanael Sensfelder | |
| Keeping things clean, this time. | |||
| 2017-07-19 | Yet one more hack to get it to work. | Nathanael Sensfelder | |
| Let's hope I'll rewrite those. | |||
| 2017-07-19 | Formula.and(Formula...) != a.and(Formula...) | Nathanael Sensfelder | |
| Having both a static and a non-static function share a name does not seem like a sane decision. | |||
| 2017-07-19 | I think I was a bit fast in my "a->b" commit. | Nathanael Sensfelder | |
| 2017-07-19 | This one seem to work -> bad CTL? | Nathanael Sensfelder | |
| 2017-07-19 | forgot to use cfg-to-path. Still broken though. | Nathanael Sensfelder | |
| 2017-07-19 | The formula seems correct, which is worrisome. | Nathanael Sensfelder | |
| 2017-07-19 | Dammit, it says flip-flops are combinational... | Nathanael Sensfelder | |
| 2017-07-19 | Adds "real" property: Find combinational processes | Nathanael Sensfelder | |
| 2017-07-19 | Signals being used instead of wfm + rec targets | Nathanael Sensfelder | |
| Those Python scripts may have to be cleaned up at some point... | |||
| 2017-07-19 | Woops, the previous commit wasn't enough. | Nathanael Sensfelder | |
| 2017-07-19 | No longer add function and literals as waveforms. | Nathanael Sensfelder | |
| 2017-07-19 | More small mistakes removed. It seems to work now. | Nathanael Sensfelder | |
| 2017-07-19 | Adds messages to follow the framework's flow. | Nathanael Sensfelder | |
| 2017-07-19 | Fixes stupid mistakes. | Nathanael Sensfelder | |
| 2017-07-19 | First shot at the framework (it does compile). | Nathanael Sensfelder | |
| 2017-07-18 | Adds missing predicate from g4 to instr scripts | Nathanael Sensfelder | |
| 2017-07-18 | It compiles... Ship it! | Nathanael Sensfelder | |
| 2017-07-18 | Starting to link parser with the program. | Nathanael Sensfelder | |
| But apparently I messed up some kodkod logic. | |||
| 2017-07-18 | Unused predicates & types -> not in kodkod. | Nathanael Sensfelder | |
| 2017-07-18 | Antlr now creates the associated Java files. | Nathanael Sensfelder | |
| Next step is to get those to compile. | |||
| 2017-07-18 | Solves previous problem by changing path def. | Nathanael Sensfelder | |
| Instead of the path "n1 -> n2 -> n3" being "n2 -> n3" a path starting from n1, it's now "n1 -> n2 -> n3" (still starting from n1). | |||
| 2017-07-18 | Hit a small issue with my current idea. | Nathanael Sensfelder | |
| 2017-07-18 | Adds some ideas on how to retrieve p. data. | Nathanael Sensfelder | |
| 2017-07-18 | First shot at a grammar for the properties. | Nathanael Sensfelder | |
| 2017-07-17 | Adds the (rather costly) predicate to handle Until | Nathanael Sensfelder | |
| 2017-07-17 | Starting to work on a parser for the properties. | Nathanael Sensfelder | |
| 2017-07-17 | First shot at cfg-to-paths. | Nathanael Sensfelder | |
| 2017-07-17 | Fixes a few dumb mistakes, adds ps example. | Nathanael Sensfelder | |
| 2017-07-17 | Working on a way to CTL over DAG in Kodkod. | Nathanael Sensfelder | |
| 2017-07-17 | Improves parameters handling | Nathanael Sensfelder | |
| 2017-07-17 | Initial commit. | Nathanael Sensfelder | |