kframework/kweb

Issues

• kweb sometimes fails to kill jobs after timeout

  #27 opened 10 years ago by pdaian
  0

• Add (C, Java, Javascript) semantics to kweb

  #26 opened 10 years ago by pdaian
  0

• kweb does not kompile a definition typed in the original window

  #12 opened 10 years ago by grosu
  4

• No Default KRun/Kompile File Parameters

  #13 opened 10 years ago by pdaian
  0

• kweb does not open menus properly

  #25 opened 10 years ago by grosu
  13

• krun autofill broken

  #23 opened 10 years ago by pdaian
  1

• The options fields for kompile and krun are not editable

  #22 opened 10 years ago by cos
  5

• [critical] K or kweb or something opens up too many files on fslweb

  #19 opened 10 years ago by pdaian
  12

• kweb doesn't work with K + Z3 on fslweb

  #17 opened 10 years ago by pdaian
  0

• kweb doesn't allow spaces in filename

  #16 opened 10 years ago by pdaian
  0

• kweb does not allow me to remove temporary folder

  #15 opened 10 years ago by grosu
  0

• kweb extremely slow on Windows

  #14 opened 10 years ago by grosu
  0

• Kcompile does not work when user is logged in

  #11 opened 11 years ago by vlad-doru
  1

• KWeb: krun --help doesn't work

  #9 opened 11 years ago by adamsmd
  3

• KRun fails with message about device being full

  #10 opened 11 years ago by adamsmd
  1

• path to K definition set incorrectly

  #8 opened 11 years ago by grosu
  1

• Cannot create user -- probably a flask-login version mismatch

  #7 opened 11 years ago by osa1
  11

• Syntax Highlighting

  #4 opened 11 years ago by pdaian
  2

• "Sign Up" button after log in

  #5 opened 11 years ago by owolabileg
  3

• Forgot password not implemented.

  #3 opened 11 years ago by pdaian
  1

• Users canot create collections.

  #2 opened 11 years ago by pdaian
  1

• Menu button not clicking on mobile browsers

  #1 opened 11 years ago by pdaian
  1