summaryrefslogtreecommitdiff log msg author committer range AgeCommit message (Expand)Author 2017-07-25Working on (structural + elements) read/writes.Nathanael Sensfelder 2017-07-24Lets users use projections in predicates.Nathanael Sensfelder 2017-07-24Centralizes the processing of (read) expressions.Nathanael Sensfelder 2017-07-24Working on function calls and literals predicates.Nathanael Sensfelder 2017-07-24Woops, mistook the model files.Nathanael Sensfelder 2017-07-24Fixes connect_to/node_connect, configs Makefiles.Nathanael Sensfelder 2017-07-22Adds the "is_terminal" predicate.Nathanael Sensfelder 2017-07-21Adds output support.Nathanael Sensfelder 2017-07-21Adds "port maps" support.Nathanael Sensfelder 2017-07-21Working on the components. Found error in scripts.Nathanael Sensfelder 2017-07-21Optimization pass.Nathanael Sensfelder 2017-07-21Completes When Node parsing.Nathanael Sensfelder 2017-07-20Still missing: Components, When Nodes, Outputs.Nathanael Sensfelder 2017-07-20Fixes stupid mistakes, adds some nodes.Nathanael Sensfelder 2017-07-20Adds Simple Signal Assignment Statement Node.Nathanael Sensfelder 2017-07-20Working on the IF nodes + Childrens -> children.Nathanael Sensfelder 2017-07-20Working on the "internal_process.py" translation.Nathanael Sensfelder 2017-07-20Still working on AST-to-Instr.Nathanael Sensfelder 2017-07-20Continuing the implementation of AST-to-Instr.Nathanael Sensfelder 2017-07-20Adds more types parsed from XML.Nathanael Sensfelder 2017-07-20Removes TODO from the grammar.Nathanael Sensfelder 2017-07-19Starting a Java implementation of ast-to-instr.Nathanael Sensfelder 2017-07-19Yet one more hack to get it to work.Nathanael Sensfelder 2017-07-19Formula.and(Formula...) != a.and(Formula...)Nathanael Sensfelder 2017-07-19I think I was a bit fast in my "a->b" commit.Nathanael Sensfelder 2017-07-19This one seem to work -> bad CTL?Nathanael Sensfelder 2017-07-19forgot to use cfg-to-path. Still broken though.Nathanael Sensfelder 2017-07-19The formula seems correct, which is worrisome.Nathanael Sensfelder 2017-07-19Dammit, it says flip-flops are combinational...Nathanael Sensfelder 2017-07-19Adds "real" property: Find combinational processesNathanael Sensfelder 2017-07-19Signals being used instead of wfm + rec targetsNathanael Sensfelder 2017-07-19Woops, the previous commit wasn't enough.Nathanael Sensfelder 2017-07-19No longer add function and literals as waveforms.Nathanael Sensfelder 2017-07-19More small mistakes removed. It seems to work now.Nathanael Sensfelder 2017-07-19Adds messages to follow the framework's flow.Nathanael Sensfelder 2017-07-19Fixes stupid mistakes.Nathanael Sensfelder 2017-07-19First shot at the framework (it does compile).Nathanael Sensfelder 2017-07-18Adds missing predicate from g4 to instr scriptsNathanael Sensfelder 2017-07-18It compiles... Ship it!Nathanael Sensfelder 2017-07-18Starting to link parser with the program.Nathanael Sensfelder 2017-07-18Unused predicates & types -> not in kodkod.Nathanael Sensfelder 2017-07-18Antlr now creates the associated Java files.Nathanael Sensfelder 2017-07-18Solves previous problem by changing path def.Nathanael Sensfelder 2017-07-18Hit a small issue with my current idea.Nathanael Sensfelder 2017-07-18Adds some ideas on how to retrieve p. data.Nathanael Sensfelder 2017-07-18First shot at a grammar for the properties.Nathanael Sensfelder 2017-07-17Adds the (rather costly) predicate to handle UntilNathanael Sensfelder 2017-07-17Starting to work on a parser for the properties.Nathanael Sensfelder 2017-07-17First shot at cfg-to-paths.Nathanael Sensfelder 2017-07-17Fixes a few dumb mistakes, adds ps example.Nathanael Sensfelder [prev][next]
