issues
search
xiaohe27
/
LogReader
The log reader which can read log files
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
some idea
#68
xiaohe27
closed
9 years ago
0
Eg
#67
xiaohe27
closed
9 years ago
0
Eg
#66
xiaohe27
closed
9 years ago
0
Customized log reader
#65
xiaohe27
closed
9 years ago
0
Liveness property
#64
xiaohe27
opened
9 years ago
2
Try this using Monpoly
#63
xiaohe27
closed
9 years ago
1
Write Monpoly style formulas in RVM using raw logic plugin
#62
xiaohe27
opened
9 years ago
0
Check the ltl plugin of RVM
#61
xiaohe27
opened
9 years ago
6
Idea about the MFOTL
#60
xiaohe27
opened
9 years ago
0
config file specifying for each event, which cols to display in the output of violations
#59
xiaohe27
opened
9 years ago
0
Transform normal rvm spec to rvm_m
#58
xiaohe27
opened
9 years ago
0
Embed the method info inside specialized log reader
#57
xiaohe27
closed
9 years ago
1
Test multiple specs in a single file
#56
xiaohe27
closed
9 years ago
1
Add test cases for LogReader generator
#55
xiaohe27
opened
9 years ago
1
Gen log reader
#54
xiaohe27
closed
9 years ago
0
strategy for log-reader generator
#53
xiaohe27
opened
9 years ago
1
gen classic test case for customized log reader
#52
xiaohe27
opened
9 years ago
0
test perf of output to std out and then redirect to file
#51
xiaohe27
closed
9 years ago
1
Gen log reader
#50
xiaohe27
closed
9 years ago
0
use maven to build the proj
#49
xiaohe27
closed
9 years ago
2
try a new approach of parsing int
#48
xiaohe27
closed
9 years ago
1
make it a proj in RV family!
#47
xiaohe27
opened
9 years ago
1
fix a bug in log extractor
#46
xiaohe27
closed
9 years ago
0
Exp
#45
xiaohe27
closed
9 years ago
0
Rm rvm
#44
xiaohe27
closed
9 years ago
0
Output
#43
xiaohe27
closed
9 years ago
0
Is RVM only support 128 monitors?
#42
xiaohe27
closed
9 years ago
2
a test for happensBefore
#41
xiaohe27
opened
9 years ago
0
test rvm's perf
#40
xiaohe27
closed
9 years ago
0
More exp
#39
xiaohe27
closed
9 years ago
0
process all the violations in a log entry at one time
#38
xiaohe27
closed
9 years ago
1
exp on monpoly
#37
xiaohe27
opened
9 years ago
0
different outputs for violations in the property insert to db2
#36
xiaohe27
closed
9 years ago
1
extract a refill method
#35
xiaohe27
closed
9 years ago
1
optimize method invocation!
#34
xiaohe27
closed
9 years ago
1
use rv-monitor to test single violation of publish before approve
#33
xiaohe27
closed
9 years ago
1
test the time to output huge amount of data to file
#32
xiaohe27
closed
9 years ago
6
add support for comments in the log file
#31
xiaohe27
closed
9 years ago
0
Syntax
#30
xiaohe27
closed
9 years ago
0
string in Monpoly
#29
xiaohe27
closed
9 years ago
0
monpoly supports two consecutive event names!
#28
xiaohe27
closed
9 years ago
1
exp
#27
xiaohe27
closed
9 years ago
1
Revise bb
#26
xiaohe27
closed
9 years ago
0
Monitor
#25
xiaohe27
closed
9 years ago
1
provide two methods for parsing event args
#24
xiaohe27
closed
9 years ago
0
test bytebuffer with allocateDirect again, well, quite good in the test ...
#23
xiaohe27
closed
9 years ago
0
Make it faster
#22
xiaohe27
closed
9 years ago
1
Huge
#21
xiaohe27
closed
9 years ago
0
Do an interesting experiment to Monpoly
#20
xiaohe27
closed
9 years ago
1
Test the behavior of mappedbytebuffer when reading 0 byte
#19
xiaohe27
opened
9 years ago
0
Next