| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | pkg/csource: fix handling of proc types | Dmitry Vyukov | 2017-12-22 | 1 | -3/+8 |
| | | | | | | | | | | | Generated program always uses pid=0 even when there are multiple processes. Make each process use own pid. Unfortunately required to do quite significant changes to prog, because the current format only supported fixed pid. Fixes #490 | ||||
| * | prog: use dense indexes for copyout instructions | Dmitry Vyukov | 2017-12-17 | 1 | -13/+22 |
| | | | | | Fixes #174 | ||||
| * | prog: add DeserializeExec | Dmitry Vyukov | 2017-12-17 | 1 | -0/+213 |
| Factor out program parsing from pkg/csource. csource code that parses program and at the same time formats output is very messy and complex. New aproach also allows to understand e.g. when a call has copyout instructions which is useful for better C source output. | |||||
