Quarterly report pursuant to Section 13 or 15(d)

Revenue from contracts with customers - Changes in Deferred License Revenue (Details)

v3.19.2
Revenue from contracts with customers - Changes in Deferred License Revenue (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jun. 30, 2019
Jun. 30, 2018
Jun. 30, 2019
Jun. 30, 2018
Revenue recognized during the period $ 300 $ 200 $ 700 $ 500
Deferred license revenue        
Deferred revenue, as of December 31, 2018     1,179  
Additions to deferred license revenue     111  
Revenue recognized during the period     (100)  
Deferred revenue, as of June 30, 2019 $ 1,190   $ 1,190