Age | Commit message (Expand) | Author |
---|---|---|
2018-04-20 | sync | Florian Dold |
2018-04-20 | notation changes | Florian Dold |
2018-04-20 | notation changes | Florian Dold |
2018-04-08 | returns issues | Jeffrey Burdges |
2018-04-08 | Clean up Fairness game | Jeffrey Burdges |
2018-04-08 | Initial comments from Christian | Jeffrey Burdges |
2018-04-06 | More small stuff | Jeffrey Burdges |
2018-04-04 | minor | Jeffrey Burdges |
2018-04-04 | I donno if "efficent" makes enough sense here, so expanded. | Jeffrey Burdges |
2018-03-28 | remove wrong footnote | Florian Dold |
2018-03-28 | various fixes | Florian Dold |
2018-03-27 | simplified proofs | Florian Dold |
2018-03-27 | sync | Florian Dold |
2018-03-27 | sync | Florian Dold |
2018-03-14 | make income transparency more general, don't refer to loss during refresh dir... | Florian Dold |
2018-03-13 | various fixes, partial spending compatible fairness | Florian Dold |
2018-03-10 | anonymity LinkAsExchange hop, WIP | Florian Dold |
2018-03-08 | typo | Florian Dold |
2018-03-08 | some changes | Florian Dold |
2018-02-12 | explicit denoms, small changes / comments | Florian Dold |
2018-02-09 | Grammar mostly | Jeffrey Burdges |
2018-02-09 | grammar | Jeffrey Burdges |
2018-01-26 | More explination on simplification | Jeffrey Burdges |
2018-01-26 | definition comment | Jeffrey Burdges |
2018-01-26 | split off the PQ with a smallskip | Jeffrey Burdges |
2018-01-26 | kappa=3 comment | Jeffrey Burdges |
2018-01-26 | More comments on refresh tree | Jeffrey Burdges |
2018-01-26 | Refresh graph definition | Jeffrey Burdges |
2018-01-26 | more text tweaks for games | Jeffrey Burdges |
2018-01-26 | Test around Fairness | Jeffrey Burdges |
2018-01-26 | b in game definition? | Jeffrey Burdges |
2018-01-26 | tyoeos | Jeffrey Burdges |
2018-01-25 | Spelling and comments fix | Jeffrey Burdges |
2018-01-25 | Improve income transparency game after chatting with Florian | Jeffrey Burdges |
2018-01-25 | Fix income transperency | Jeffrey Burdges |
2018-01-25 | unspent -> unspent unrefreshed | Jeffrey Burdges |
2018-01-25 | Explain corruption exchange | Jeffrey Burdges |
2018-01-25 | Fix income transperency computations | Jeffrey Burdges |
2017-11-23 | Merge branch 'master' of ssh://taler.net/papers | Jeffrey Burdges |
2017-11-23 | Fixes | Jeffrey Burdges |
2017-11-23 | various fixes | Florian Dold |
2017-11-23 | Merge branch 'master' of ssh://taler.net/papers | Jeffrey Burdges |
2017-11-23 | anonymity game hopping | Florian Dold |
2017-11-22 | Revert "Experement with _X notation for oracles" | Jeffrey Burdges |
2017-11-22 | Experement with _X notation for oracles | Jeffrey Burdges |
2017-11-22 | Fix second game | Jeffrey Burdges |
2017-11-22 | Income transperency game | Jeffrey Burdges |
2017-11-21 | Fairness theorem | Jeffrey Burdges |
2017-11-21 | Add income theorem statements | Jeffrey Burdges |
2017-11-21 | Discussion of income transperency hiccup | Jeffrey Burdges |