There is a newer version of the record available.

Published February 1, 2017 | Version v0.6.6
Software Open

larsrh/libisabelle: libisabelle 0.6.6

Creators

Description

Major changes

Improved error handling:

  • ping system after bootup (#58, #28)
    • this will detect whether or not the protocol theories are included in the session
    • previously, starting a system with missing theories resulted in hanging futures
  • invoking missing operations fails gracefully (6585d5a)
    • previously, this would result in hanging futures

Files

larsrh/libisabelle-v0.6.6.zip

Files (516.0 kB)

Name Size Download all
md5:f64163c8133202761b3391d882d58a86
516.0 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/larsrh/libisabelle/tree/v0.6.6 (URL)