sri-csl/pvs issues and pull requests

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

Issue - State: open - Opened by quinn-dougherty 9 months ago

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

Issue - State: open - Opened by quinn-dougherty 9 months ago

#99 - Cope with Quicklisp being installed in a non-standard location.

Pull Request - State: open - Opened by pdo over 1 year ago

#99 - Cope with Quicklisp being installed in a non-standard location.

Pull Request - State: open - Opened by pdo over 1 year ago

#98 - PVS2rust

Pull Request - State: closed - Opened by ghost over 1 year ago

#98 - PVS2rust

Pull Request - State: closed - Opened by ghost over 1 year ago

#97 - list of discrepancies between SBCL- and Allegro-PVS

Issue - State: open - Opened by kai-e almost 2 years ago

#97 - list of discrepancies between SBCL- and Allegro-PVS

Issue - State: open - Opened by kai-e almost 2 years ago

#96 - Fix C errors for the SBCL-based ARM Mac build

Pull Request - State: open - Opened by kai-e almost 2 years ago

#96 - Fix C errors for the SBCL-based ARM Mac build

Pull Request - State: open - Opened by kai-e almost 2 years ago

#95 - Quicklisp installation

Issue - State: open - Opened by pdo almost 2 years ago

#95 - Quicklisp installation

Issue - State: open - Opened by pdo almost 2 years ago

#94 - Don't load user .emacs when batch processing during build.

Pull Request - State: closed - Opened by pdo almost 2 years ago

#94 - Don't load user .emacs when batch processing during build.

Pull Request - State: closed - Opened by pdo almost 2 years ago

#93 - Use xcrun to find location of macOS SDK.

Pull Request - State: closed - Opened by pdo almost 2 years ago - 1 comment

#93 - Use xcrun to find location of macOS SDK.

Pull Request - State: closed - Opened by pdo almost 2 years ago - 1 comment

#92 - Installation error (Fedora 37, Emacs 28.2)

Issue - State: open - Opened by clementblaudeau almost 2 years ago - 18 comments

#92 - Installation error (Fedora 37, Emacs 28.2)

Issue - State: open - Opened by clementblaudeau almost 2 years ago - 18 comments

#91 - AUR package for PVS

Issue - State: open - Opened by AlessandroZanatta almost 2 years ago

#91 - AUR package for PVS

Issue - State: open - Opened by AlessandroZanatta almost 2 years ago

#90 - `powerset_finite` could be tighter

Issue - State: open - Opened by kai-e almost 2 years ago - 1 comment

#90 - `powerset_finite` could be tighter

Issue - State: open - Opened by kai-e almost 2 years ago - 1 comment

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

Issue - State: open - Opened by kai-e almost 2 years ago - 2 comments

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

Issue - State: open - Opened by kai-e almost 2 years ago - 2 comments

#88 - PVS on M1 Mac

Issue - State: closed - Opened by yl182 about 2 years ago - 3 comments

#88 - PVS on M1 Mac

Issue - State: closed - Opened by yl182 about 2 years ago - 3 comments

#87 - updated pvsio-web to the latest version

Pull Request - State: closed - Opened by pmasci almost 3 years ago

#87 - updated pvsio-web to the latest version

Pull Request - State: closed - Opened by pmasci almost 3 years ago

#86 - [Feature request] More generated subterm lemmas for a datatype

Issue - State: open - Opened by clementblaudeau about 3 years ago

#86 - [Feature request] More generated subterm lemmas for a datatype

Issue - State: open - Opened by clementblaudeau about 3 years ago

#85 - latex rendering of tables is confused

Issue - State: open - Opened by kai-e over 3 years ago

#85 - latex rendering of tables is confused

Issue - State: open - Opened by kai-e over 3 years ago

#84 - Ability to disable macros

Issue - State: open - Opened by BenHocking over 3 years ago

#84 - Ability to disable macros

Issue - State: open - Opened by BenHocking over 3 years ago

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

Issue - State: open - Opened by BenHocking over 3 years ago

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

Issue - State: open - Opened by BenHocking over 3 years ago

#82 - Declaration parameters example not working as expected

Issue - State: open - Opened by kai-e almost 4 years ago - 1 comment

#82 - Declaration parameters example not working as expected

Issue - State: open - Opened by kai-e almost 4 years ago - 1 comment

#81 - unable to run PVS 6.0 after applying security update to macOS 10.15.7

Issue - State: open - Opened by kiniry almost 4 years ago

#81 - unable to run PVS 6.0 after applying security update to macOS 10.15.7

Issue - State: open - Opened by kiniry almost 4 years ago

#80 - unable to start PVS 7.1.x on OSX

Issue - State: open - Opened by kiniry almost 4 years ago - 3 comments

#80 - unable to start PVS 7.1.x on OSX

Issue - State: open - Opened by kiniry almost 4 years ago - 3 comments

#79 - Mention autoconf.

Pull Request - State: open - Opened by maxvonhippel about 4 years ago