aboutsummaryrefslogtreecommitdiff
path: root/src/setu
Commit message (Expand)AuthorAge
* -warnings mostly formatMartin Schanzenbach2020-11-13
* -remove bogus commentChristian Grothoff2020-10-17
* -fix warnings except rps messMartin Schanzenbach2020-10-16
* -fix make distMartin Schanzenbach2020-09-06
* add missing config fileChristian Grothoff2020-09-05
* -implement the symmetric option in setuChristian Grothoff2020-08-19
* -add API todoChristian Grothoff2020-08-19
* -fix set/seti migration issuesChristian Grothoff2020-08-19
* -refactor a bit moreChristian Grothoff2020-08-18
* -refactor to eliminate code no longer needed after set->setu specializationChristian Grothoff2020-08-18
* -indentationChristian Grothoff2020-08-18
* fix message typesChristian Grothoff2020-08-18
* add missing fileChristian Grothoff2020-08-16
* split of set union from set service (preliminary)Christian Grothoff2020-08-16