Issues

• Implement cancellation for twelf execution

  jcreedcmu/twelf-mac#36 · Filter by author jcreedcmu opened on May 19, 2024
  

• Implement Print command

  jcreedcmu/twelf-mac#30 · Filter by author jcreedcmu opened on Apr 21, 2024
  3

  

• Figure out how to allow twelf code to control event loop

  jcreedcmu/twelf-mac#26 · Filter by author jcreedcmu opened on Apr 9, 2024
  4

  

• Twelf FFI

  jcreedcmu/twelf-mac#25 · Filter by author jcreedcmu opened on Apr 9, 2024
  

• Better OOM support

  jcreedcmu/twelf-mac#22 · Filter by author agoode opened on Apr 8, 2024

• Twelf should avoid long-running uninterruptable computation

  jcreedcmu/twelf-mac#21 · Filter by author agoode opened on Apr 8, 2024
  8

  

• About box needs more licenses

  jcreedcmu/twelf-mac#20 · Filter by author agoode opened on Apr 8, 2024
  9

  

• Twelf output pretty-printing wrong after a certain point

  jcreedcmu/twelf-mac#16 · Filter by author jcreedcmu opened on Apr 7, 2024
  3