6 Commits

Author	SHA1	Message	Date
Theofilos Petsios	e2c0414dca	added _multiprocess_can_split_ directive (#351) ... * added _multiprocess_can_split_ directive * renamed Readme	2017-06-23 17:53:19 -04:00
Yan	3c977719f0	Linux platform refactoring (#264) ... * Clean up model syscall invocation * Move read_string to Cpu * move push/pop helpers to Cpu * Reorg Linux initialization * Update linux test * fstat64 test harness * assert read_string only considers concrete bytes * Ensure that correct aliases exist during ctor * Improve alias check	2017-05-23 15:30:58 -04:00
Mark Mossberg	e4a4916597	Rename os model terminology from "models" to "platforms" (#243) ... * Rename * rename in manticore.py * rename in executor.py * big rename * big rename * update changelog	2017-05-09 19:25:32 -04:00
Yan	50fd50ee12	Simplify linux model interfaces (#233)	2017-05-05 13:11:59 -04:00
Mark Mossberg	ffe758f5f3	Fix interpreter loader (#115) ... * Correctly compute total interp size * Rename * Make staticmethod * Add basic loading test	2017-03-31 13:22:59 -04:00
JP Smith	ca0bee2377	Rename test -> tests (#66) ... * rename test -> tests * re-add ignored tests	2017-03-13 14:06:36 -05:00