| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-05-25 | Seeked variables' types are indeed used... | Nathanael Sensfelder |
| 2018-05-25 | Trying to figure out why some predicates are empty | Nathanael Sensfelder |
| 2018-05-25 | Adds "is_used" markers. | Nathanael Sensfelder |
| 2018-05-24 | Getting it to work with hastabel2idp... | Nathanael Sensfelder |
| 2018-05-24 | Let's not ignore the graph transfo result. | Nathanael Sensfelder |
| 2018-05-24 | Adds Graphs to First Order logic. | Nathanael Sensfelder |
| 2018-05-24 | Strings are put as-is in the model. | Nathanael Sensfelder |
| 2018-05-24 | It compiles! | Nathanael Sensfelder |
| 2018-05-24 | Continuation, also, making it more readable. | Nathanael Sensfelder |
| 2018-05-24 | ... | Nathanael Sensfelder |
| 2018-05-24 | Slowly integrating Tabellion's property parsing... | Nathanael Sensfelder |
| 2018-05-24 | Slowly adding things to handle formulas... | Nathanael Sensfelder |
| 2018-05-24 | ... | Nathanael Sensfelder |
| 2018-05-24 | Starting a HaStABeL library... | Nathanael Sensfelder |