issues
search
viperproject
/
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CI Improvements
#46
ArquintL
closed
2 years ago
0
CI Improvements
#45
ArquintL
closed
2 years ago
0
Write Cache to file
#44
jogasser
closed
2 years ago
3
Fixes Caching
#43
ArquintL
closed
3 years ago
0
Wait for Server Start
#42
ArquintL
closed
3 years ago
0
Support typed definitions in ProgramDefinitionsProvider
#41
aterga
closed
3 years ago
0
Create Nightly Release Only on Change
#40
ArquintL
closed
3 years ago
2
Remove Viper Tools Creation
#39
ArquintL
closed
3 years ago
0
Fixes Termination of HTTP Server
#38
ArquintL
closed
3 years ago
0
Caching swallows counterexamples
#37
aterga
opened
3 years ago
0
Create Viper Tools
#36
ArquintL
closed
3 years ago
0
CI Improvements and Making Tests Great Again
#35
ArquintL
closed
3 years ago
5
Reporter in verifier
#34
aterga
closed
3 years ago
0
Normalize pipelines while parsing inconsistent programs
#33
aterga
closed
3 years ago
3
CI Failure with JDK 15
#32
ArquintL
closed
3 years ago
2
Fix for Issue 23
#31
ArquintL
closed
3 years ago
4
Unit Tests with Concurrent Verifications
#30
ArquintL
closed
3 years ago
0
Review the implementation of MessageStreamingTask.enqueueMessage
#29
aterga
closed
3 years ago
1
Port Viper IDE to the LSP frontend of ViperServer
#28
aterga
closed
2 years ago
0
Revisit the CI
#27
aterga
closed
3 years ago
2
Class path contains multiple SLF4J bindings
#26
fpoli
closed
3 years ago
10
Some regression tests are halting
#25
fabiopakk
closed
3 years ago
3
Better Control over Concurrency
#24
ArquintL
closed
3 years ago
6
Wrong error reported when cached
#23
tdardinier
closed
3 years ago
1
Generalization of VSI towards job pipelining + streaming AST construction messages + adaptation to latest changes in Silver
#22
aterga
closed
3 years ago
2
Minimal ViperConfig for ViperCoreServer
#21
ArquintL
opened
4 years ago
0
Language server based on LSP
#20
WissenIstNacht
closed
3 years ago
0
Move code computing program statistics to Silver.
#19
WissenIstNacht
closed
3 years ago
1
Cannot find file
#18
ArquintL
closed
4 years ago
3
Adds and Updates Copyright Headers
#17
ArquintL
closed
4 years ago
2
VerificationWorker should add option --ignoreFile before calling method prepare of SilFrontend
#16
aterga
closed
4 years ago
1
Streaming messages from ViperCoreServer
#15
aterga
closed
4 years ago
8
Verification Server Interface
#14
WissenIstNacht
closed
4 years ago
0
ViperCoreServer Refactoring
#13
ArquintL
closed
4 years ago
2
ViperCoreServer
#12
WissenIstNacht
closed
4 years ago
2
Scope-based SymbExLogger
#11
viper-admin
closed
3 years ago
3
mapVerificationResult is now applied automatically in Silver
#10
viper-admin
closed
4 years ago
0
Make the HTTP bind interface configurable
#9
viper-admin
opened
4 years ago
2
Dependencies update in Viper Server
#8
viper-admin
closed
4 years ago
8
Debugger support
#7
viper-admin
closed
4 years ago
2
Send dumb SymbExLog message via ViperServer
#6
viper-admin
closed
4 years ago
3
Dynamic verification backends via reflection, stack trace messaging, proper logging support
#5
viper-admin
closed
4 years ago
1
Http Server
#4
viper-admin
closed
4 years ago
0
ViperServer
#3
viper-admin
closed
4 years ago
0
reduced complexity by removing the unneeded second actor.
#2
viper-admin
closed
4 years ago
0
Working Prototype
#1
viper-admin
closed
4 years ago
0
Previous