1. 18 Apr, 2021 1 commit
  2. 20 Dec, 2020 8 commits
  3. 23 Feb, 2020 2 commits
  4. 18 Feb, 2020 5 commits
  5. 08 Nov, 2019 5 commits
    • Manuel Vazquez Acosta's avatar
      Merge branch 'correct-mypy-job' into 'master' · 6344cb5c
      Manuel Vazquez Acosta authored
      Don't check the xotl namespace's __init__ with mypy.
      
      See merge request !3
      6344cb5c
    • Manuel Vazquez Acosta's avatar
    • Manuel Vazquez Acosta's avatar
      3ab46047
    • Manuel Vazquez Acosta's avatar
      Increase coverage report by ignoring trivia. · 3562bdae
      Manuel Vazquez Acosta authored
      Those are really non-interesting pieces of code.  The only thing worth
      mentioning is the change in Registry model: now we require the timestamp.
      
      Still we don't reach 100%.  But hypothesis may choose to generate data that
      would touch part of the code.  For instance, in two different runs I get:
      
      Name                             Stmts   Miss  Cover   Missing
      --------------------------------------------------------------------------------------------
      xotl/crdt/register.py               60     11    82%   46, 66-67, 72-73, 78-79, 84-87, 108
      xotl/crdt/testing/registers.py      57      7    88%   87-93
      --------------------------------------------------------------------------------------------
      TOTAL                              579     18    97%
      
      Name                             Stmts   Miss  Cover   Missing
      --------------------------------------------------------------------------------------------
      xotl/crdt/register.py               60     11    82%   46, 66-67, 72-73, 78-79, 84-87, 108
      xotl/crdt/testing/registers.py      57      7    88%   87-93
      xotl/crdt/testing/sets.py          104      6    94%   232-237
      --------------------------------------------------------------------------------------------
      TOTAL                              579     24    96%
      
      This happens because the assumption in xotl/crdt/testing/sets.py:231 was never
      met in the second run.
      
      Therefore, I'm going to settle with 95% coverage.
      3562bdae
    • Manuel Vazquez Acosta's avatar
      c7b4093c
  6. 02 Oct, 2019 1 commit
  7. 19 Aug, 2019 1 commit
  8. 24 Jun, 2019 1 commit
  9. 08 May, 2019 3 commits
  10. 30 Mar, 2019 6 commits
  11. 09 Mar, 2019 1 commit
  12. 31 Jan, 2019 2 commits
  13. 05 Dec, 2018 1 commit
    • Manuel Vazquez Acosta's avatar
      Simplify vclock equality algorithm. · 50d44266
      Manuel Vazquez Acosta authored
      For the comment in the code:
      
         ... we must ensure every process present in `self` is also present in
         `other` with the same counter ...
      
      if follows this is just the same as comparing the lists stripping all 0
      counters.
      50d44266
  14. 21 Nov, 2018 1 commit
    • Manuel Vazquez Acosta's avatar
      Fix ORSet 'reset' method. · 4986b5c7
      Manuel Vazquez Acosta authored
      It was feeding the items *unwrapped* to the internal USet.  The test
      'reset_all_replicas_with_item' now checks that this won't happen again (for
      any set).
      4986b5c7
  15. 08 Nov, 2018 2 commits