summaryrefslogtreecommitdiff
path: root/src/theory/trust_node.cpp
AgeCommit message (Expand)Author
2020-05-09Formatajreynol
2020-05-09Strings explain via propagate, fix proofs instead of fixing lemmaajreynol
2020-05-08Formatajreynol
2020-05-08Fixajreynol
2020-05-07Formatajreynol
2020-05-07TrustNode for explainajreynol
2020-05-07Some fixesajreynol
2020-05-03Move eager proof generator, revise strings interfaces, eager reduction formal...ajreynol
2020-05-01Formatajreynol
2020-05-01Working on term registryajreynol
2020-04-28Generalize proof generator, working on lazy proofajreynol
2020-04-18Fixajreynol
2020-04-18Moreajreynol
2020-04-16Formatajreynol
2020-04-16Moreajreynol
2020-04-16Moreajreynol
2020-04-16Moreajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback