12 Commits

Author SHA1 Message Date
Mark Mossberg
23a1412e15 Finish changelog 2018-05-04 14:27:41 -04:00
Mark Mossberg
66640c8ed8 Initial changelog 2018-05-04 14:17:47 -04:00
Mark Mossberg
bda9c091b5
Manticore 0.1.8 (#851)
(thanks for 1k)

* Bump version numbers

* initial changelog update

* Add changelog content

* add contribs
2018-03-30 18:26:26 -04:00
Yan Ivnitskiy
a3ee31e6e6
Manticore 0.1.7 Release (#764) 2018-02-23 18:31:31 -05:00
Mark Mossberg
8a588c70f4
Manticore 0.1.6 (#662)
* Update CHANGELOG.md

* Add external contributors

* add categories

* Update CHANGELOG.md

* initial rough notes from commit log

* Update CHANGELOG.md

* Update CHANGELOG.md

* Bump version numbers

* Update CHANGELOG.md

* readme 2.0

* update tagline
2017-12-22 18:30:16 -05:00
Mark Mossberg
5aa681dc76 0.1.5 Release (#501)
* Update CHANGELOG.md

* Update 0.1.5 README

* Bump version/release date
2017-10-19 15:46:22 -04:00
Mark Mossberg
d3d1e9c924 Manticore 0.1.4 (#462)
* Bump version number

* Changelog updates

* Include changes to undocumented functionality, but mark as experimental

* Function notation

* Update CHANGELOG.md

* thanks!!!
2017-08-18 13:48:33 -04:00
JP Smith
ddc3b12848 Fixed CHANGELOG.md typo (#395) 2017-07-17 10:36:31 -04:00
JP Smith
4bb48af199 Manticore 0.1.3 (#390)
* Manticore 0.1.3

* fix compare URL
2017-07-14 11:56:21 -04:00
Mark Mossberg
9abef20b67 Manticore 0.1.2 (#306)
* Manticore 0.1.2

* Update changelog
2017-06-14 15:56:11 -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
Mark Mossberg
44d365ff4c Formalize API for constraining a State (#232)
* Rename state.add to state.constrain

* Update all uses of state.constrain

* Rm check param

* Added changelog

* Update changelog

* Update

* Minor clean
2017-05-05 13:31:43 -04:00