Inspections

Merge branch 'issue/12'

master . 13ffe5...c8742d . push triggered

  1 new issue, 1 fixed issue found.
02:50
created
Merge branch 'issue/9'

master . 33103d...13ffe5 . push triggered

  12 new issues, 17 fixed issues found.
02:55
created
MINOR: README.

master . f30bfa...33103d . push triggered

  No notable changes.
02:50
created
Merge branch 'issue/19'

master . 5c8e8f...f30bfa . push triggered

  No notable changes.
02:47
created
Merge branch 'issue/10'

master . 0386fd...5c8e8f . push triggered

  No notable changes.
03:16
created
Merge branch 'issue/17'

master . 871ab4...0386fd . push triggered

  No notable changes.
03:38
created
FIX: Added missing isInitial() check.

master . 1e1902...871ab4 . push triggered

  No notable changes.
02:51
created
FIX: End-to-end verificaiton process works A-OK

master . 4f4a61...1e1902 . push triggered

  1 new issue, 1 fixed issue found.
02:28
created
MINOR: README

master . a1c2d3...4f4a61 . push triggered

  No notable changes.
03:00
created
02:32
created
FIX: Standardised naming convention for proof types

master . b67e96...89cbd7 . push triggered

  2 new issues, 2 fixed issues found.
02:56
created
Merge branch 'fullproofs'

master . 71f500...b67e96 . push triggered

  11 new issues, 10 fixed issues found. 1 suggested patches.
03:25
created
FIX: Commented CronTask implementation so we can dev/build

master . 3abf71...71f500 . push triggered

  6 fixed issues found.
03:08
created
MINOR: README

master . 789e18...3abf71 . push triggered

  No notable changes.
05:39
created
MINOR: README

master . 813b2e...789e18 . push triggered

  No notable changes.
03:59
created
FIX:

master . b57500...813b2e . push triggered

  3 new issues, 6 fixed issues found.
06:35
created
02:52
created
MINOR: README

master . 4ae319...bfaca2 . push triggered

  No notable changes.
02:53
created
FIX:

master . 7266dd...4ae319 . push triggered

  9 new issues found.
04:39
created
02:37
created