larsrh/libisabelle

Issues

• Support Isabelle 2019

  #110 opened 5 years ago by dominique-unruh
  0

• Async lock does not get released

  #105 opened 5 years ago by larsrh
  0

• Support Isabelle 2019 release candidate

  #78 opened 6 years ago by dominique-unruh
  12

• Codec.string should fail on chars >=256

  #79 opened 6 years ago by dominique-unruh
  4

• Isabelle threads should be daemon threads

  #77 opened 6 years ago by dominique-unruh
  3

• Better tutorial/examples needed

  #75 opened 6 years ago by geneing
  1

• Runtime extensibility of Codec.exn

  #73 opened 6 years ago by dominique-unruh
  3

• Detection whether theory Protocol loaded does not work

  #72 opened 6 years ago by dominique-unruh
  1

• Local storage cannot be symlinked

  #71 opened 6 years ago by dominique-unruh
  2

• 2018-RC1 incompatibility

  #70 opened 6 years ago by dominique-unruh
  8

• No proper error message if resources are missing

  #69 opened 6 years ago by dominique-unruh
  0

• Cross-release doesn't work anymore

  #68 opened 6 years ago by larsrh
  0

• etc/components not cleaned up

  #66 opened 7 years ago by dominique-unruh
  7

• Change link in repo description to https

  #65 opened 7 years ago by dwijnand
  3

• Switch to Apache license

  #64 opened 7 years ago by larsrh
  2

• `validateSlow` builds both 2016 and 2016-1

  #62 opened 7 years ago by larsrh
  0

• Can we mention libisabelle in cats' README?

  #63 opened 7 years ago by kailuowang
  1

• refined plugin

  #23 opened 7 years ago by larsrh
  2

• Protocol_Main breaks simplifier

  #61 opened 7 years ago by dominique-unruh
  2

• Test XML ↔ YXML conversion

  #40 opened 8 years ago by larsrh
  0

• Missing operations in ML causes Scala future to hang

  #59 opened 8 years ago by larsrh
  1

• isabellectl: --fresh-user in combination with build does not rebuild heap files

  #52 opened 8 years ago by pruvisto
  0

• Rewrite XML ↔ YXML conversion

  #39 opened 9 years ago by larsrh
  0

• Use consistent executor services

  #14 opened 9 years ago by larsrh
  0

• Setup.makeEnvironment throws an exception if setup is incomplete

  #19 opened 9 years ago by fthomas
  1

• P.O.S.T.

  #28 opened 9 years ago by larsrh
  0

• Update coursier to 1.0.x

  #34 opened 9 years ago by larsrh
  1

• Can't run `bootstrap` twice in a row in SBT shell

  #15 opened 9 years ago by larsrh
  0

• Proper downloading of files

  #13 opened 9 years ago by larsrh
  0

• Manually creating environments is unsafe

  #11 opened 9 years ago by larsrh
  0