source:
CIVL/examples/slice@
c6faecb
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| interprocedural_one_dependency.c | 356 bytes | 1f7787c | – | – | – |
| interprocedural_one_dependency_0.trace.slice | 71 bytes | 1f7787c | – | – | – |
| interprocedural_two_dependencies.c | 350 bytes | 1f7787c | – | – | – |
| interprocedural_two_dependencies_0.trace.slice | 131 bytes | 1f7787c | – | – | – |
| intraprocedural.c | 494 bytes | 1f7787c | – | – | – |
| intraprocedural_0.trace.slice | 225 bytes | 1f7787c | – | – | – |
| simple.c | 242 bytes | 1f7787c | – | – | – |
| simple_0.trace.slice | 71 bytes | 1f7787c | – | – | – |
| subsumption.c | 273 bytes | 1f7787c | – | – | – |
| subsumption_0.trace.slice | 86 bytes | 1f7787c | – | – | – |
|
Note:
See TracBrowser
for help on using the repository browser.
