viperproject/viperserver

Issues

• Some plugin interactions seem to be broken in ViperServer

  #184 opened 7 months ago by marcoeilers
  1

• Plugin input with `--plugin` in `customArguments` does not work

  #165 opened 7 months ago by totoyoyo
  0

• Cache does not seem to be initialized

  #111 opened a year ago by oeb25
  2

• Carbon doesn't seem to initialise correctly if paths contain whitespace

  #103 opened a year ago by alexanderjsummers
  7

• Minor: change exception reports to include runnable commands/quoted paths

  #106 opened a year ago by alexanderjsummers
  0

• Port Viper IDE to the LSP frontend of ViperServer

  #28 opened 2 years ago by aterga
  0

• Domain Ordering

  #52 opened 2 years ago by ArquintL
  0

• CI Failure with JDK 15

  #32 opened 3 years ago by ArquintL
  2

• Class path contains multiple SLF4J bindings

  #26 opened 3 years ago by fpoli
  10

• Revisit the CI

  #27 opened 3 years ago by aterga
  2

• Caching swallows counterexamples

  #37 opened 3 years ago by aterga
  0

• Some regression tests are halting

  #25 opened 3 years ago by fabiopakk
  3

• Move code computing program statistics to Silver.

  #19 opened 3 years ago by WissenIstNacht
  1

• Wrong error reported when cached

  #23 opened 3 years ago by tdardinier
  1

• Review the implementation of MessageStreamingTask.enqueueMessage

  #29 opened 3 years ago by aterga
  1

• Minimal ViperConfig for ViperCoreServer

  #21 opened 4 years ago by ArquintL
  0

• Cannot find file

  #18 opened 4 years ago by ArquintL
  3

• Streaming messages from ViperCoreServer

  #15 opened 4 years ago by aterga
  8

• VerificationWorker should add option --ignoreFile before calling method prepare of SilFrontend

  #16 opened 4 years ago by aterga
  1

• Debugger support

  #7 opened 4 years ago by viper-admin
  2

• Dependencies update in Viper Server

  #8 opened 4 years ago by viper-admin
  8

• Send dumb SymbExLog message via ViperServer

  #6 opened 4 years ago by viper-admin
  3

• Dynamic verification backends via reflection, stack trace messaging, proper logging support

  #5 opened 4 years ago by viper-admin
  1

• Http Server

  #4 opened 4 years ago by viper-admin
  0

• ViperServer

  #3 opened 4 years ago by viper-admin
  0

• reduced complexity by removing the unneeded second actor.

  #2 opened 4 years ago by viper-admin
  0

• Working Prototype

  #1 opened 4 years ago by viper-admin
  0