summaryrefslogtreecommitdiff log msg author committer range path: root/srcAgeCommit message (Collapse)Author 2018-05-26Adds some toString and equals.Nathanael Sensfelder 2018-05-26CTLVerifies is directly converted to first-order.Nathanael Sensfelder 2018-05-26Adds some accessors...Nathanael Sensfelder 2018-05-25Add the partial member, not the whole one, on maskNathanael Sensfelder 2018-05-25Fixes partial signature mixing up with normal ones.Nathanael Sensfelder 2018-05-25Still working on jokers and multiple signatures...Nathanael Sensfelder 2018-05-25Starting to get back support for jokers...Nathanael Sensfelder 2018-05-25Seeked variables' types are indeed used...Nathanael Sensfelder 2018-05-25Trying to figure out why some predicates are emptyNathanael Sensfelder ... in IDP. 2018-05-25Adds "is_used" markers.Nathanael Sensfelder 2018-05-24Getting it to work with hastabel2idp...Nathanael Sensfelder 2018-05-24Let's not ignore the graph transfo result.Nathanael Sensfelder 2018-05-24Adds Graphs to First Order logic.Nathanael Sensfelder 2018-05-24Strings are put as-is in the model.Nathanael Sensfelder 2018-05-24It compiles!Nathanael Sensfelder 2018-05-24Continuation, also, making it more readable.Nathanael Sensfelder 2018-05-24...Nathanael Sensfelder 2018-05-24Slowly integrating Tabellion's property parsing...Nathanael Sensfelder 2018-05-24Slowly adding things to handle formulas...Nathanael Sensfelder 2018-05-24...Nathanael Sensfelder 2018-05-24Starting a HaStABeL library...Nathanael Sensfelder
