Skip to content

Actions: SRI-CSL/PVS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Release Builds Release Builds #55: Manually run by karthiknukala
7m 31s dev
dev
7m 31s
Linux x86 Build Linux x86 Build #1: Manually run by karthiknukala
3m 14s master
master
3m 14s
Linux ARM Build Linux ARM Build #1: Manually run by karthiknukala
3m 24s master
master
3m 24s
Apple x86 Build Apple x86 Build #1: Manually run by karthiknukala
4m 29s master
master
4m 29s
Apple Silicon Build Apple Silicon Build #1: Manually run by karthiknukala
7m 43s master
master
7m 43s
Fixed handling of regenerating the refers-to of declarations Release Builds #53: Commit d9699df pushed by samowre
10m 38s dev
dev
10m 38s
merge Release Builds #52: Commit dd36d2c pushed by karthiknukala
6m 36s dev
dev
6m 36s
Merge branch 'dev' of github.com:SRI-CSL/PVS into dev Release Builds #51: Commit 7698044 pushed by samowre
10m 26s dev
dev
10m 26s
pvs.lisp: incremental typechecking breaking for non-empty TYPE+ Release Builds #50: Commit fded2dc pushed by karthiknukala
12m 19s dev
dev
12m 19s
Fix issue on parsing after starting a pvsio session in server mode Release Builds #49: Commit 7f4448f pushed by marianomoscato
9m 2s dev
dev
9m 2s
Modified dbg so that '(dbg nil)' changes to the optimmized settings Release Builds #48: Commit eb761b1 pushed by samowre
6m 9s dev
dev
6m 9s
Merge pull request #114 from SRI-CSL/dev Release Builds #47: Commit 51914cc pushed by samowre
37m 21s pvs8.1
pvs8.1
37m 21s
[proveit,provethem] Updates scripts. Release Builds #46: Commit c9da536 pushed by cesaramh
2h 11m 25s dev
dev
2h 11m 25s
Merge branch 'dev' of github.com:SRI-CSL/PVS into dev Release Builds #45: Commit aa4f5cb pushed by samowre
8m 37s dev
dev
8m 37s
Add proof metadata timestamps and fix thread quit handling Release Builds #44: Commit 8952cbe pushed by marianomoscato
7m 12s dev
dev
7m 12s
[proveit,provethem] Implemented --purge Release Builds #43: Commit 21ff497 pushed by cesaramh
9m 30s dev
dev
9m 30s
Fix for handling of var-decls in theories generated by theory-decls Release Builds #42: Commit 3d893bf pushed by samowre
7m 55s dev
dev
7m 55s
Modified editable-justification to default to no-escape? t, as it dou… Release Builds #41: Commit 6e7121e pushed by samowre
9m 40s dev
dev
9m 40s
pvs-meta-info: add build-date info Release Builds #40: Commit a3e8119 pushed by marianomoscato
8m 33s dev
dev
8m 33s
pvs-meta-info: adding git-current-commit-date in ISO format Release Builds #39: Commit 12ddd60 pushed by karthiknukala
6m 36s dev
dev
6m 36s
pvs-meta-info: removing struct + changing keys to strings Release Builds #38: Commit 83e3ca9 pushed by karthiknukala
9m 14s dev
dev
9m 14s
Merge branch 'dev' of https://github.com/SRI-CSL/PVS into dev Release Builds #37: Commit 44ef4e6 pushed by karthiknukala
7m 32s dev
dev
7m 32s
Reverted collect-infix-conjuncts to previous version, as the attempte… Release Builds #36: Commit e0e64e7 pushed by samowre
7m 2s dev
dev
7m 2s
Added no-inform to pvs script Release Builds #35: Commit b12331a pushed by cesaramh
8m 12s dev
dev
8m 12s
Extrategies: Fixed extra-get-theory Release Builds #34: Commit 17e4323 pushed by cesaramh
7m 6s dev
dev
7m 6s