summaryrefslogtreecommitdiff log msg author committer range path: root/srcAgeCommit message (Expand)Author 2018-05-30Merge branch 'master' of dreamhost:~/repositories/git/hastabelNathanael Sensfelder 2018-05-30Might fix the missing 'is_in_path' issues.Nathanael Sensfelder 2018-05-30(forall ... (and ...)) -> (forall ... (implies ...))nsensfel 2018-05-29Should fix missing relevant signatures.nsensfel 2018-05-29Trying (and failing) to use the async FF prop.nsensfel 2018-05-28Signature aren't just collections, they're lists.nsensfel 2018-05-26Fixes some toString...Nathanael Sensfelder 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 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
