issues
search
c4-project
/
c4f
The C4 Concurrent C Fuzzer
MIT License
14
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Config overhaul
#102
MattWindsor91
closed
5 years ago
0
Thread-local threads mentioned in postcondition are erroneously deleted
#101
MattWindsor91
closed
5 years ago
1
Prepare for OCaml 4.08
#100
MattWindsor91
closed
5 years ago
5
Migrate user documentation from wiki to RTD
#99
MattWindsor91
closed
3 years ago
1
x86: add Herd7-based Litmus parser
#98
MattWindsor91
closed
4 years ago
1
Separate litmusifier/sanitiser from assembly operations
#97
MattWindsor91
closed
4 years ago
1
Lifting of local variables doesn't work if two threads share a variable name
#96
MattWindsor91
closed
3 years ago
2
Implement `act c compile`
#95
MattWindsor91
closed
5 years ago
0
Merging in and retiring `dev`
#94
MattWindsor91
closed
5 years ago
1
Move assembly-specific commands to `act asm` subcommand
#93
MattWindsor91
closed
5 years ago
0
(dev) Fix broken litmusifier
#92
MattWindsor91
closed
5 years ago
0
Implement Litmus stub generator
#91
MattWindsor91
closed
4 years ago
2
Implement x86 inline assembly block generator
#90
MattWindsor91
closed
4 years ago
1
Don't emit locations/init for 'dead' variables
#89
MattWindsor91
opened
5 years ago
0
Add check to limit store generation to one store per location
#88
MattWindsor91
closed
5 years ago
0
State set comparer doesn't handle deleted variables properly
#87
MattWindsor91
closed
5 years ago
0
Unify two separate implementations of redirects maps
#86
MattWindsor91
closed
5 years ago
1
Sanitiser doesn't handle unused variables properly
#85
MattWindsor91
closed
4 years ago
1
Support passing initial values in through `c-globals` and `c-locals`
#84
MattWindsor91
closed
4 years ago
3
'One or more locations aren't in the init' when litmusifying fuzzer output
#83
MattWindsor91
opened
5 years ago
1
Consider merging `litmusify` and `test`
#82
MattWindsor91
closed
5 years ago
1
`act litmusify -litmus` doesn't seem to terminate on certain inputs
#81
MattWindsor91
closed
5 years ago
2
Propagate locations stanza of C/Litmus file through litmusifier
#80
MattWindsor91
opened
5 years ago
0
Fuzzer: remove empty programs
#79
MattWindsor91
closed
5 years ago
0
Rationalise `act test` input
#78
MattWindsor91
closed
5 years ago
1
Fuzzer generates identifiers that Herd can't lex
#77
MattWindsor91
closed
5 years ago
0
Migrate to Jane Street libraries v0.12, and travesty v0.3
#76
MattWindsor91
closed
5 years ago
0
Consider migrating to `shexp` for external command running
#75
MattWindsor91
closed
4 years ago
1
Allow generation, and consumption, of statement-transforming paths
#74
MattWindsor91
closed
4 years ago
1
Fuzzer action: redundant control flow wrapping
#73
MattWindsor91
closed
4 years ago
1
Fuzzer action: new program
#72
MattWindsor91
closed
5 years ago
0
Fuzzer action: dead code insertion
#71
MattWindsor91
closed
4 years ago
2
Fuzzer action: duplicating if statement
#70
MattWindsor91
closed
4 years ago
1
Consider using FrontC (or similar) as C parser
#69
MattWindsor91
opened
5 years ago
0
Command suggestion: `act diff-states`
#68
MattWindsor91
closed
4 years ago
1
Investigating compiler optimisations
#67
johnwickerson
opened
5 years ago
0
C litmus test parser doesn't understand `locations` stanza
#66
MattWindsor91
closed
5 years ago
1
Validation of C litmus test function signatures missing
#65
MattWindsor91
closed
5 years ago
0
Delitmusifier isn't handling global indirections correctly
#64
MattWindsor91
closed
5 years ago
0
Delitmusifier mistakenly translates ints as atomic_ints
#63
MattWindsor91
closed
5 years ago
0
Propagate C variable list from C filters through litmusifier
#62
MattWindsor91
opened
5 years ago
0
Propagate postcondition of C/Litmus file through litmusifier
#61
MattWindsor91
closed
4 years ago
1
Filters: forward auxiliary output to auxiliary input in chains
#60
MattWindsor91
closed
5 years ago
0
Only connect filters with temporary files when necessary
#59
MattWindsor91
closed
3 years ago
1
C subset: support atomic compare-exchange
#58
MattWindsor91
closed
5 years ago
1
Add more malleable C program representation
#57
MattWindsor91
closed
5 years ago
1
Add parser error messages to C
#56
MattWindsor91
opened
5 years ago
0
Add initial config searcher
#55
MattWindsor91
closed
5 years ago
1
Add config parser expects tests
#54
MattWindsor91
opened
5 years ago
0
Add full support for the `litmus7` tool
#53
MattWindsor91
closed
5 years ago
2
Previous
Next