dvoits z3test issues - Githubissues

dvoits / z3test

Test and benchmark repository for Z3.

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Modify multiple benchmark files (low priority)

#39 dvoits opened 7 years ago
0
Use already uploaded files from another person

#38 dvoits opened 7 years ago
0
Implement custom domains in WPF UI

#37 dvoits opened 7 years ago
0
Support for custom domains

#36 dvoits opened 7 years ago
1
Measuring multithreaded and multiprocess programs

#35 dvoits opened 7 years ago
0
Initialization of testing environment in Azure

#34 dvoits opened 7 years ago
0
Run reference experiment for each of the Azure Batch VMs

#33 dvoits opened 7 years ago
0
Implement AzureBatchExperimentManager

#32 dvoits opened 7 years ago
0
Azure Batch performance test environment intialization

#31 dvoits opened 7 years ago
0
Implement Azure Batch jobs

#30 dvoits opened 7 years ago
0
Implement benchmark and results storage

#29 dvoits opened 7 years ago
0
Implement experiments table storage

#28 dvoits opened 7 years ago
0
Generate HTML reports

#27 dvoits opened 7 years ago
0
Implement web app Nightly

#26 dvoits opened 7 years ago
1
Implement command line tool to get results of an experiment

#25 dvoits opened 7 years ago
0
Implement command line to to start new experiment

#24 dvoits opened 7 years ago
0
WPF: implement context menu commands for experiment jobs table

#23 dvoits opened 7 years ago
0
WPF: Show jobs table for an experiment

#22 dvoits opened 7 years ago
0
WPF: Add new job

#21 dvoits opened 7 years ago
0
WPF: Show Jobs Groups

#20 dvoits opened 7 years ago
0
Implement main menu commands

#19 dvoits opened 7 years ago
0
WPF: Show jobs table

#18 dvoits opened 7 years ago
0
Progress information for WPF app should be a separate request

#17 dvoits opened 7 years ago
0
Initialization of performance environment

#16 dvoits opened 7 years ago
0
Previously collected experiment results must be available through new applications

#15 dvoits opened 7 years ago
1
Export a part of Azure Table with experiments result to a backup drive or locally (PowerShell script?)

#14 dvoits opened 7 years ago
0
Use existing statistics to check consistency of normalized performance

#13 dvoits opened 7 years ago
0
Measure a normalized performance index which is not dependent on a particular machine type

#12 dvoits opened 7 years ago
0
If multiple VMs share same physical machine, they can non-deterministically interfere and affect performance measurements

#11 dvoits opened 7 years ago
3
Document deployment of performance tests

#10 dvoits opened 7 years ago
0
Design decomposition and abstraction of experiments data storage and job scheduler.

#9 dvoits opened 7 years ago
0
Investigate how to get consistent performance measurements on Azure Batch or find another solution

#8 dvoits opened 7 years ago
1
Research how to generalize performance testing infrastructure.

#7 dvoits opened 7 years ago
0
Generalization of the performance test infrastructure so it could be applied to different console applications

#6 dvoits opened 7 years ago
0
Prompt access to data without limits on number of connections

#5 dvoits opened 7 years ago
1
Run performance tests in Microsoft Azure

#4 dvoits opened 7 years ago
0
Provide consistency of performance measurements

#3 dvoits opened 7 years ago
0
Update existing tools

#2 dvoits opened 7 years ago
0
Nightly performance tests of Z3

#1 dvoits opened 7 years ago
1