Commit Graph

4 Commits

Author SHA1 Message Date
Mark Mossberg
84aca4ac1b Add docs on symbolic input (#750)
* Change tagline

* Not sure socket support is a gotcha exactly

* initial docs

* Better docs

* Code blocks

* Links to the api docs

* Improve language

* Doc add_symbolic_file in public API

* Rm stray init
2018-02-13 19:15:54 -05:00
Yan
ca0d7b60d2 Add basic socket support (#428)
* Add a descriptor class for socket(2) return values

* Add basic socket(2) and bind(2)

* Basic accept(2)

* Basic recv(2) support

* Debug statements and accept(2)

* Add check for symbolic arg to open(2)

* Fix an example warning

* send/sendfile

* debug->info for some mcore output

* Produce socket data as part of state serialization

* Clean up SLinux.sys_open()

* Document socket(2) peculiarities
2017-08-29 17:00:17 -04:00
JP Smith
60a99d2f81 Seed random on policy init to make results deterministic (#466)
* seed random on policy init to make results deterministic

* document new random behavior
2017-08-23 16:37:26 -05:00
Mark Mossberg
22974ca65e Add gotchas docs (#459)
* Add gotchas docs

* always
2017-08-17 16:48:59 -04:00