summaryrefslogtreecommitdiff log msg author committer range path: root/srcAgeCommit message (Expand)Author 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
