SRI-CSL/PVS

Issues

• SBCL Dynamic Memory Allocation

  #73 opened 5 years ago by nmoore771
  2

• Installation error (Fedora 37, Emacs 28.2)

  #92 opened 2 years ago by clementblaudeau
  18

• "Cannot open load file: no such file or directory 'lmenu'"

  #100 opened 10 months ago by quinn-dougherty
  0

• PVS fails to close

  #56 opened 2 years ago by ivanperez-keera
  2

• list of discrepancies between SBCL- and Allegro-PVS

  #97 opened 2 years ago by kai-e
  0

• Quicklisp installation

  #95 opened 2 years ago by pdo
  0

• PVS on M1 Mac

  #88 opened 2 years ago by yl182
  3

• `powerset_finite` could be tighter

  #90 opened 2 years ago by kai-e
  1

• AUR package for PVS

  #91 opened 2 years ago by AlessandroZanatta
  0

• dump-sequent does not produce the promised `th-<theory name>.sequent` file

  #89 opened 2 years ago by kai-e
  2

• unable to start PVS 7.1.x on OSX

  #80 opened 4 years ago by kiniry
  3

• [Feature request] More generated subterm lemmas for a datatype

  #86 opened 3 years ago by clementblaudeau
  0

• latex rendering of tables is confused

  #85 opened 3 years ago by kai-e
  0

• name-replace and name-replace* silently fail when a name cannot be used

  #83 opened 3 years ago by BenHocking
  0

• Ability to disable macros

  #84 opened 3 years ago by BenHocking
  0

• Declaration parameters example not working as expected

  #82 opened 4 years ago by kai-e
  1

• unable to run PVS 6.0 after applying security update to macOS 10.15.7

  #81 opened 4 years ago by kiniry
  0

• find-declaration indicates wrong declaration range when the command is executed after find-declaration

  #58 opened 4 years ago by pmasci
  0

• inconsistent behavior of 'show-declaration' and 'find-declaration' when used on function arguments

  #59 opened 4 years ago by pmasci
  0

• Instalation problem

  #54 opened 5 years ago by jcr2015
  1

• Warnings about slow type-checking of lists

  #53 opened 5 years ago by BrunoDutertre
  1

• Slow type checking of lists

  #52 opened 5 years ago by BrunoDutertre
  4

• difficult to install on fedora

  #42 opened 5 years ago by jwaldmann
  4

• "decl-file" is None sometimes

  #28 opened 5 years ago by happyhuman
  1

• Selecting a "No" after quit, still quits the proof manager.

  #23 opened 5 years ago by happyhuman
  1

• Selecting "No" after an undo, still performs an undo.

  #22 opened 5 years ago by happyhuman
  1

• Missing Contextual Hypothesis in TCC

  #69 opened 5 years ago by marianomoscato
  1

• Duplicate Assuming TCC

  #71 opened 5 years ago by marianomoscato
  0

• Reappearing TCC from Instantiation Argument

  #70 opened 5 years ago by marianomoscato
  0

• Missing TCC in Abbreviated Subtype

  #68 opened 5 years ago by marianomoscato
  0

• Parsing inconstistency - pvs7.0-1057-g6caccf27-ix86_64-Linux-allegro

  #67 opened 5 years ago by clementblaudeau
  2

• Partial theory instantiation

  #66 opened 5 years ago by disteph
  0

• Assertion Fails in unusedby-proofs-of-formulas

  #61 opened 6 years ago by dMaggot
  0

• The type language---records in particular

  #57 opened 6 years ago by stever00
  3

• skippable build error "when binding SB-IMPL::START"

  #55 opened 7 years ago by holtzermann17
  0

• PVS does not compile

  #51 opened 8 years ago by BrunoDutertre
  2

• the binary package is a "tar bomb"

  #43 opened 8 years ago by jwaldmann
  2

• SBCL build error: package lock when compiling strategies.lisp

  #44 opened 10 years ago by ptroja
  2

• get-pvs-patches.in missing

  #40 opened 10 years ago by ptroja
  3

• The checkmarks in the view menu are not correctly displayed with respect to shown plugins

  #21 opened 11 years ago by happyhuman
  0

• Implement the proper way to parse the command line parameters

  #24 opened 11 years ago by happyhuman
  0

• The GUI should be able to get the latest files directly from Git

  #25 opened 11 years ago by happyhuman
  0

• Typeing a double quote in a PVS file causes a mysterious error to show up.

  #26 opened 11 years ago by happyhuman
  2

• Changing the syntax highligting configuration in the config file needs more work

  #27 opened 11 years ago by happyhuman
  1

• After creating a new file, no item is added to the file tree.

  #31 opened 11 years ago by happyhuman
  1

• Saving Unicode files has problems

  #30 opened 11 years ago by happyhuman
  1

• Updating file tree properly when "save as" is chosen

  #32 opened 11 years ago by happyhuman
  1

• When closing a file, it is not shown in the recently opened file right away

  #34 opened 11 years ago by happyhuman
  1

• Copy and Paste are not working properly anymore

  #33 opened 11 years ago by happyhuman
  1

• json schema for the error object

  #29 opened 11 years ago by happyhuman
  0