Search results

fix for undump-pvs-files void variable overwrite issue

Status: Open.

#101 In SRI-CSL/PVS;

· tarball1024 opened on Mar 21, 2025

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

Status: Open.

#100 In SRI-CSL/PVS;

· quinn-dougherty opened on May 26, 2024

list of discrepancies between SBCL- and Allegro-PVS

Status: Open.

#97 In SRI-CSL/PVS;

· kai-e opened on Apr 3, 2023

Quicklisp installation

Status: Open.

#95 In SRI-CSL/PVS;

· pdo opened on Apr 2, 2023

Installation error (Fedora 37, Emacs 28.2)

Status: Open.

#92 In SRI-CSL/PVS;

· clementblaudeau opened on Mar 30, 2023

AUR package for PVS

Status: Open.

#91 In SRI-CSL/PVS;

· AlessandroZanatta opened on Mar 4, 2023

<code>powerset_finite</code> could be tighter

Status: Open.

#90 In SRI-CSL/PVS;

· kai-e opened on Mar 3, 2023

dump-sequent does not produce the promised <code>th-&lt;theory name&gt;.sequent</code> file

Status: Open.

#89 In SRI-CSL/PVS;

· kai-e opened on Mar 3, 2023

[Feature request] More generated subterm lemmas for a datatype

Status: Open.

#86 In SRI-CSL/PVS;

· clementblaudeau opened on Dec 11, 2021

latex rendering of tables is confused

Status: Open.

#85 In SRI-CSL/PVS;

· kai-e opened on Nov 2, 2021

Ability to disable macros

Status: Open.

#84 In SRI-CSL/PVS;

· BenHocking opened on Oct 15, 2021

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

Status: Open.

#83 In SRI-CSL/PVS;

· BenHocking opened on Oct 15, 2021