aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Guix Env/Build: Add a guix build definition without testsdvn2018-07-14
* Revert "restructure rps service: start keeping track of channels"Julius Bünger2018-07-13
* rps service: check return value when opening cadet portJulius Bünger2018-07-13
* restructure rps service: start keeping track of channelsJulius Bünger2018-07-13
* rps profiler: proper disconnect from serviceJulius Bünger2018-07-13
* Changed decription of GNUNET_CRYPTO_EddsaPublicKey.Bernd Fix2018-07-12
* Merge branch 'master' of git+ssh://gnunet.org/gnunetChristian Grothoff2018-07-11
|\
| * fix rps profiler: clean data structure in timeJulius Bünger2018-07-11
| * rps profiler: reorganise shutdownJulius Bünger2018-07-11
| * fix rps profiler: mark statistics get done in right placeJulius Bünger2018-07-10
| * rps profiler: add option for duration of profilingJulius Bünger2018-07-10
| * fix rps profiler: keep track about scheduled tasks properlyJulius Bünger2018-07-10
| * rps profiler: logging and indentationJulius Bünger2018-07-10
| * Documentation: Drop the empty '1.5 General Terminology' section for nowNils Gillmann2018-07-08
| * Documentation: Contributing to this book. A motivational short section on how...Nils Gillmann2018-07-08
* | fix div by zeroChristian Grothoff2018-07-11
|/
* fix fmt stringChristian Grothoff2018-07-07
* add missing indexChristian Grothoff2018-07-07
* fix numbering glitchChristian Grothoff2018-07-07
* fix titlesSchanzenbach, Martin2018-07-07
* add some reclaimSchanzenbach, Martin2018-07-07
* rps service: additional logging of unexpected channel establishingJulius Bünger2018-07-05
* rps profiler: different delay for hard shutdownJulius Bünger2018-07-05
* rps profiler: additional checks and assertions before disconnect from rpsJulius Bünger2018-07-05
* fix rps profiler: mark operation as done on shutdownJulius Bünger2018-07-05
* Documentation: Fix some TODOs in prefaceNils Gillmann2018-07-04
* README: retire d.n0.is and replace it with docs.gnunet.orgNils Gillmann2018-07-04
* Merge branch 'master' of gnunet.org:gnunetNils Gillmann2018-07-04
|\
| * fix wrong conditionxrs2018-07-04
| * Merge branch 'master' of ssh://gnunet.org/gnunetxrs2018-07-04
| |\
| * | refix codesonar finding 2366.9987xrs2018-07-04
* | | Documentation: Typo fixes, links.Nils Gillmann2018-07-04
| |/ |/|
* | Documentation: fix?Nils Gillmann2018-07-04
* | Merge branch 'master' of gnunet.org:gnunetNils Gillmann2018-07-04
|\ \
| * | acutally delete ticketSchanzenbach, Martin2018-07-04
| * | fixSchanzenbach, Martin2018-07-04
| * | fixesSchanzenbach, Martin2018-07-04
| * | fixSchanzenbach, Martin2018-07-04
| * | fixSchanzenbach, Martin2018-07-04
| * | Merge branch 'master' of git+ssh://gnunet.org/gnunetSchanzenbach, Martin2018-07-04
| |\|
| | * Merge branch 'master' of ssh://gnunet.org/gnunetxrs2018-07-03
| | |\
| | | * rps service: stop ignoring own peer idJulius Bünger2018-07-03
| | | * rps profiler: different time for hard shutdownJulius Bünger2018-07-03
| | | * fix rps profiler: mark handle unusable after closing itJulius Bünger2018-07-03
| | | * fix rps profiler: mark cancelled task as doneJulius Bünger2018-07-03
| | * | fix codesonar finding 2289.9403xrs2018-07-03
| | * | fix codesonar finding 2287.9399xrs2018-07-03
| | * | fix codesonar finding 2366.9987xrs2018-07-03
| * | | fixSchanzenbach, Martin2018-07-04
| | |/ | |/|
| * | updateSchanzenbach, Martin2018-07-03