Issues

• PVS doesn't start under Emacs 31 (speedbar-disable-update, emacs-lisp-file-regexp)

  SRI-CSL/PVS#121 · Filter by author j-tanner-slagel opened on Sep 26, 2026

• PVS2C emits undefined integer bit-operation calls; related primitive attachment errors

  SRI-CSL/PVS#119 · Filter by author delenius opened on Jul 31, 2026

• SBCL Memory Issues

  SRI-CSL/PVS#112 · Filter by author karthiknukala opened on May 23, 2026

• Error: The value 21065 is not of type (INTEGER -8192 16383) when binding SB-ASSEM:LABEL

  SRI-CSL/PVS#104 · Filter by author marianomoscato opened on Dec 17, 2025
  1

• fix for undump-pvs-files void variable overwrite issue

  SRI-CSL/PVS#101 · Filter by author tarball1024 opened on Mar 21, 2025
  2

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

  SRI-CSL/PVS#100 · Filter by author quinn-dougherty opened on May 26, 2024

• list of discrepancies between SBCL- and Allegro-PVS

  SRI-CSL/PVS#97 · Filter by author kai-e opened on Apr 3, 2023

• Quicklisp installation

  SRI-CSL/PVS#95 · Filter by author pdo opened on Apr 2, 2023

• Installation error (Fedora 37, Emacs 28.2)

  SRI-CSL/PVS#92 · Filter by author clementblaudeau opened on Mar 30, 2023
  18

• AUR package for PVS

  SRI-CSL/PVS#91 · Filter by author AlessandroZanatta opened on Mar 4, 2023

• powerset_finite could be tighter

  SRI-CSL/PVS#90 · Filter by author kai-e opened on Mar 3, 2023
  1

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

  SRI-CSL/PVS#89 · Filter by author kai-e opened on Mar 3, 2023
  2

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

  SRI-CSL/PVS#86 · Filter by author clementblaudeau opened on Dec 11, 2021

• latex rendering of tables is confused

  SRI-CSL/PVS#85 · Filter by author kai-e opened on Nov 2, 2021

• Ability to disable macros

  SRI-CSL/PVS#84 · Filter by author BenHocking opened on Oct 15, 2021

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

  SRI-CSL/PVS#83 · Filter by author BenHocking opened on Oct 15, 2021

• Declaration parameters example not working as expected

  SRI-CSL/PVS#82 · Filter by author kai-e opened on May 5, 2021
  1

• Reappearing TCC from Instantiation Argument

  SRI-CSL/PVS#70 · Filter by author marianomoscato opened on Dec 27, 2019