Inspections

Merge pull request #143 from kb2623/master

master . 8673a5...34690b . push triggered

  15 new issues, 2 fixed issues found.
12s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 2 fixed issues found.
59s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 2 fixed issues found.
01:00
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 2 fixed issues found.
56s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
01:03
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
47s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
52s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
49s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
45s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
48s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
45s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  20 new issues, 3 fixed issues found.
45s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
44s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
48s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  15 new issues, 3 fixed issues found.
51s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  138 new issues, 3 fixed issues found.
01:14
created
New algorithms and benchmarks

master . #143 . pull request triggered

  189 new issues, 3 fixed issues found.
04:47
created
New algorithms and benchmarks

master . #143 . pull request triggered

  No notable changes.
01:20
created
New algorithms and benchmarks

master . #143 . pull request triggered

  189 new issues, 2 fixed issues found.
56s
created
New algorithms and benchmarks

master . #143 . pull request triggered

  483 new issues, 2 fixed issues found.
01:55
created