bmw-software-engineering/trlc-vscode-extension

Issues

• Start LangServer with -O (--optimize) option to generate optimized bytecode files (.pyo)

  #13 opened 4 months ago by markusrosskopf
  0

• packed 'bin/cvc5-macOS' in vsix not executable by default

  #16 opened 4 months ago by markusrosskopf
  1

• Autocomplete non-optional components

  #4 opened a year ago by florianschanda
  1

• Context menu features

  #2 opened a year ago by florianschanda
  1

• Code completion

  #3 opened a year ago by florianschanda
  1

• Show user defined documentation

  #5 opened a year ago by florianschanda
  1

• Cross referencing / goto definition

  #10 opened a year ago by florianschanda
  1

• Extension keeps running in a seemingly endless loop

  #12 opened a year ago by markusrosskopf
  1

• parsing files not in workspace

  #6 opened a year ago by florianschanda
  0

• Server crashes when assigning integer to component of type decimal

  #14 opened a year ago by markusrosskopf
  0

• Integrate markup strings

  #9 opened a year ago by florianschanda
  0

• Synatax highlighting (semantic token based)

  #8 opened a year ago by florianschanda
  0

• Automatic indents

  #7 opened a year ago by florianschanda
  0

• manage events

  #1 opened a year ago by florianschanda
  0