Quarterly report pursuant to Section 13 or 15(d)

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

v3.19.3
Revenue from contracts with customers - Changes in Deferred License Revenue (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Sep. 30, 2019
Sep. 30, 2018
Sep. 30, 2019
Sep. 30, 2018
Revenue recognized during the period $ 200 $ 100 $ 900 $ 600
Deferred license revenue        
Deferred revenue, as of December 31, 2018     1,179  
Additions to deferred license revenue     111  
Revenue recognized during the period     (148)  
Deferred revenue, as of September 30, 2019 $ 1,142   $ 1,142