40a789c | phoebe jenkins | 11 April 2018, 18:12:22 UTC | Fix typo | 11 April 2018, 18:12:22 UTC |
11a1a4d | phoebe jenkins | 11 April 2018, 17:23:55 UTC | Fix typo | 11 April 2018, 17:23:55 UTC |
89e134e | phoebe jenkins | 11 April 2018, 17:21:17 UTC | Tweak concolic.py imports | 11 April 2018, 17:21:17 UTC |
76ff279 | phoebe jenkins | 11 April 2018, 16:09:23 UTC | Small fixes | 11 April 2018, 16:09:23 UTC |
162838b | phoebe jenkins | 10 April 2018, 15:26:04 UTC | Add more helpers for encoding issues | 10 April 2018, 15:26:04 UTC |
b1279ed | phoebe jenkins | 10 April 2018, 15:25:36 UTC | Open -> with open | 10 April 2018, 15:25:36 UTC |
ab7c1ce | phoebe jenkins | 10 April 2018, 15:25:20 UTC | Fix some encoding issues in example scripts | 10 April 2018, 15:25:20 UTC |
bf2899a | phoebe jenkins | 10 April 2018, 15:24:20 UTC | Fix print statements in example scripts | 10 April 2018, 15:24:20 UTC |
2946736 | phoebe jenkins | 09 April 2018, 15:39:54 UTC | Have travis tests use correct pip version | 09 April 2018, 15:39:54 UTC |
aec111e | phoebe jenkins | 09 April 2018, 15:26:50 UTC | Clean up more post-merge artifacts | 09 April 2018, 15:26:50 UTC |
544b1e9 | phoebe jenkins | 09 April 2018, 15:23:44 UTC | Add travis job for multiple python versions | 09 April 2018, 15:23:44 UTC |
f34140b | phoebe jenkins | 06 April 2018, 18:01:55 UTC | Remove last merge artifact | 06 April 2018, 18:01:55 UTC |
27e269a | phoebe jenkins | 06 April 2018, 18:01:44 UTC | Fix encoding issues post-merge | 06 April 2018, 18:01:44 UTC |
6c8ca15 | phoebe jenkins | 06 April 2018, 14:29:37 UTC | Merge branch 'imerge/origin/python3-staging' into python3 | 06 April 2018, 14:29:37 UTC |
8c6da8a | phoebe jenkins | 06 April 2018, 14:21:34 UTC | Fix minor encoding issues | 06 April 2018, 14:21:34 UTC |
4c23ab0 | phoebe jenkins | 06 April 2018, 14:13:46 UTC | Fix merge artifacts | 06 April 2018, 14:13:46 UTC |
16e9c9a | phoebe jenkins | 04 April 2018, 17:59:05 UTC | Clean up merge artifacts | 04 April 2018, 17:59:05 UTC |
0d276d0 | phoebe jenkins | 03 April 2018, 21:53:38 UTC | Merge branch 'python3-staging' into python3 | 03 April 2018, 21:53:38 UTC |
a85dd7b | feeb | 03 April 2018, 21:00:04 UTC | Merge pull request #850 from trailofbits/python3-python27 Python3 compatibility, Python2.7 tests passing | 03 April 2018, 21:00:04 UTC |
8861cd1 | phoebe jenkins | 03 April 2018, 19:52:37 UTC | Remove commented lines | 03 April 2018, 19:52:37 UTC |
80f403e | phoebe jenkins | 03 April 2018, 19:52:26 UTC | Relocate comment | 03 April 2018, 19:52:26 UTC |
4b3a699 | phoebe jenkins | 03 April 2018, 19:51:50 UTC | Fix typo in integer check | 03 April 2018, 19:51:50 UTC |
a179b42 | phoebe jenkins | 03 April 2018, 19:01:56 UTC | Fix typo in bytes call | 03 April 2018, 19:01:56 UTC |
eb21fee | phoebe jenkins | 03 April 2018, 18:52:26 UTC | Re-add comment | 03 April 2018, 18:52:26 UTC |
b9cff34 | phoebe jenkins | 03 April 2018, 18:36:10 UTC | Remove unnecessary loop | 03 April 2018, 18:36:10 UTC |
3526033 | phoebe jenkins | 02 April 2018, 18:04:22 UTC | Merge branch 'master' into python3-staging | 02 April 2018, 18:04:22 UTC |
9ce28c1 | phoebe jenkins | 02 April 2018, 18:02:17 UTC | Merge branch 'master' of github.com:trailofbits/manticore | 02 April 2018, 18:02:17 UTC |
70c337a | yan | 02 April 2018, 17:15:42 UTC | Fix workspace tests hang | 02 April 2018, 17:15:42 UTC |
bda9c09 | Mark Mossberg | 30 March 2018, 22:26:26 UTC | Manticore 0.1.8 (#851) (thanks for 1k) * Bump version numbers * initial changelog update * Add changelog content * add contribs | 30 March 2018, 22:26:26 UTC |
3c370e6 | yan | 30 March 2018, 22:14:52 UTC | Disable resource warnings since theyre probably not relevant for testing | 30 March 2018, 22:14:52 UTC |
ae85980 | yan | 30 March 2018, 21:41:28 UTC | Revert master merge | 30 March 2018, 21:41:28 UTC |
6aadf88 | phoebe jenkins | 30 March 2018, 20:35:56 UTC | Fix typo for number of fields in Create.__reduce__ | 30 March 2018, 20:35:56 UTC |
afa547c | phoebe jenkins | 30 March 2018, 20:34:48 UTC | Re-add accidentally deleted import | 30 March 2018, 20:34:48 UTC |
6bf738d | phoebe jenkins | 30 March 2018, 20:34:14 UTC | Add isint helper | 30 March 2018, 20:34:14 UTC |
ccfffec | yan | 30 March 2018, 20:12:47 UTC | Merge branch 'master' into python3 | 30 March 2018, 20:12:47 UTC |
3bd8a91 | yan | 30 March 2018, 20:06:26 UTC | Dont fail tests if we cant get coverage info | 30 March 2018, 20:06:26 UTC |
62d11fd | yan | 30 March 2018, 19:32:20 UTC | assertEqual->assertEquals | 30 March 2018, 19:32:20 UTC |
8ea0d12 | yan | 30 March 2018, 19:32:05 UTC | py3-ize example scripts | 30 March 2018, 19:32:05 UTC |
541b7c6 | yan | 30 March 2018, 18:52:23 UTC | make sure import works on py2 and py3 | 30 March 2018, 18:52:23 UTC |
6fef336 | yan | 30 March 2018, 18:52:12 UTC | try bumping py version to 3.6 | 30 March 2018, 18:52:12 UTC |
4b2b7b8 | phoebe jenkins | 30 March 2018, 18:45:26 UTC | Clean up imports | 30 March 2018, 18:45:26 UTC |
6b5cc8f | phoebe jenkins | 30 March 2018, 18:43:40 UTC | Remove debug output | 30 March 2018, 18:43:40 UTC |
59bfc6a | yan | 30 March 2018, 18:35:36 UTC | Merge branch 'python3' of github.com:trailofbits/manticore into python3 | 30 March 2018, 18:35:36 UTC |
ce738bb | phoebe jenkins | 30 March 2018, 18:33:12 UTC | Fix encoding error | 30 March 2018, 18:33:12 UTC |
dee896f | phoebe jenkins | 30 March 2018, 17:21:10 UTC | Merge branch 'python3' of github.com:trailofbits/manticore into python3 | 30 March 2018, 17:21:10 UTC |
c93a3b8 | phoebe jenkins | 30 March 2018, 17:17:37 UTC | Fix typos | 30 March 2018, 17:17:37 UTC |
7320480 | phoebe jenkins | 30 March 2018, 17:17:07 UTC | Remove Binary.__new__ | 30 March 2018, 17:17:07 UTC |
21463c7 | phoebe jenkins | 30 March 2018, 17:16:20 UTC | Fix more encoding issues | 30 March 2018, 17:16:20 UTC |
79d7df0 | yan | 30 March 2018, 17:16:20 UTC | Open stdin files correctly for mcore integration test | 30 March 2018, 17:16:20 UTC |
bcdfc33 | yan | 30 March 2018, 17:06:34 UTC | modernize a few things in evm | 30 March 2018, 17:06:34 UTC |
3d3db9b | yan | 30 March 2018, 17:06:11 UTC | Use new getfullargspec api when available | 30 March 2018, 17:06:11 UTC |
8c822da | yan | 30 March 2018, 17:02:25 UTC | clean up test output | 30 March 2018, 17:02:25 UTC |
710528a | yan | 30 March 2018, 16:59:25 UTC | Update test api, use ctx manager for opening and remove dbg output | 30 March 2018, 16:59:25 UTC |
a99da58 | yan | 30 March 2018, 16:58:31 UTC | Be better about iteration | 30 March 2018, 16:58:31 UTC |
abf3285 | yan | 30 March 2018, 16:57:44 UTC | Be specific about exception types | 30 March 2018, 16:57:44 UTC |
29b80e8 | yan | 30 March 2018, 16:57:04 UTC | Use new-style cmp | 30 March 2018, 16:57:04 UTC |
583eb56 | yan | 30 March 2018, 16:11:41 UTC | Update smtlib reading/writing | 30 March 2018, 16:11:41 UTC |
62a7c82 | yan | 30 March 2018, 15:15:57 UTC | Make solver use io and make disable debug log by default | 30 March 2018, 15:15:57 UTC |
2f382a9 | Arun John Kuruvilla | 30 March 2018, 14:44:34 UTC | Added KeyError Exception for offsets not in srcmap. Issue #832 (#839) | 30 March 2018, 14:44:34 UTC |
d0c9f05 | yan | 30 March 2018, 13:51:44 UTC | use the right exception | 30 March 2018, 13:51:44 UTC |
0f5ba2c | yan | 30 March 2018, 04:20:06 UTC | try a few ways to import mockmem | 30 March 2018, 04:20:09 UTC |
9331ca9 | yan | 30 March 2018, 03:29:17 UTC | more encoding updates | 30 March 2018, 03:29:17 UTC |
acb5034 | yan | 30 March 2018, 03:06:13 UTC | more encoding fixes | 30 March 2018, 03:06:13 UTC |
b6be6f5 | yan | 30 March 2018, 03:06:01 UTC | decode read strings as acscii | 30 March 2018, 03:06:01 UTC |
390e4b5 | yan | 30 March 2018, 02:34:00 UTC | port more tests | 30 March 2018, 02:35:39 UTC |
d703f7c | yan | 30 March 2018, 02:33:53 UTC | Open interpreter elf correctly | 30 March 2018, 02:33:53 UTC |
1f512d9 | yan | 30 March 2018, 02:10:39 UTC | fix hex_encode | 30 March 2018, 02:10:39 UTC |
0ed3fdf | yan | 30 March 2018, 02:10:30 UTC | add test helper to test_slam_regre | 30 March 2018, 02:10:30 UTC |
8fc4d77 | yan | 30 March 2018, 02:09:58 UTC | Update pickling | 30 March 2018, 02:09:58 UTC |
c0976cb | yan | 30 March 2018, 02:09:49 UTC | Update serialization | 30 March 2018, 02:09:49 UTC |
e7177c9 | yan | 30 March 2018, 02:09:19 UTC | New exceptions dont necessarily have a message field | 30 March 2018, 02:09:19 UTC |
66df447 | phoebe jenkins | 29 March 2018, 22:06:18 UTC | Fix remaining broken instances of assertItemsEqual | 29 March 2018, 22:06:18 UTC |
c28114c | phoebe jenkins | 29 March 2018, 19:37:42 UTC | Stop repeatedly appending to a string | 29 March 2018, 20:47:22 UTC |
44b8e56 | phoebe jenkins | 29 March 2018, 20:04:14 UTC | Remove verbose flag for travis tests | 29 March 2018, 20:04:14 UTC |
c9249c4 | yan | 29 March 2018, 20:03:13 UTC | str->bytes | 29 March 2018, 20:03:13 UTC |
eb175e1 | yan | 29 March 2018, 20:03:04 UTC | Dont need __del__ in lazy wrapper | 29 March 2018, 20:03:04 UTC |
0e4adaf | yan | 29 March 2018, 20:02:40 UTC | py3 doesnt capture enclosing scope and py2 doesnt have nonlocal | 29 March 2018, 20:02:40 UTC |
b98a0cf | yan | 29 March 2018, 20:01:40 UTC | str->unicode | 29 March 2018, 20:02:10 UTC |
321d88d | yan | 29 March 2018, 19:48:06 UTC | str/bytes issues | 29 March 2018, 19:48:06 UTC |
1f79ad6 | yan | 29 March 2018, 19:47:12 UTC | Update how workspace writes strings | 29 March 2018, 19:47:12 UTC |
ff63274 | yan | 29 March 2018, 19:46:29 UTC | Update executor logging | 29 March 2018, 19:46:29 UTC |
d43064c | phoebe jenkins | 29 March 2018, 19:41:06 UTC | Unskip slow tests | 29 March 2018, 19:41:06 UTC |
d2179f0 | phoebe jenkins | 29 March 2018, 19:37:42 UTC | Stop repeatedly appending to a string | 29 March 2018, 19:37:42 UTC |
d7b7cf0 | phoebe jenkins | 29 March 2018, 17:58:25 UTC | Temporarily disable tests that timeout on travis | 29 March 2018, 18:04:44 UTC |
4c7418c | phoebe jenkins | 29 March 2018, 18:04:09 UTC | Revert "Temporarily disable tests that timeout on travis" This reverts commit 922067d2dbab65de92704580e51c2917edbdd35f. | 29 March 2018, 18:04:09 UTC |
922067d | phoebe jenkins | 29 March 2018, 17:58:25 UTC | Temporarily disable tests that timeout on travis | 29 March 2018, 17:58:25 UTC |
2c6e24d | phoebe jenkins | 29 March 2018, 17:30:52 UTC | Have added test output print newlines | 29 March 2018, 17:30:52 UTC |
d0780ea | phoebe jenkins | 29 March 2018, 16:54:47 UTC | Update slow-running tests to have more verbosity | 29 March 2018, 16:54:47 UTC |
ecb6cfa | phoebe jenkins | 29 March 2018, 16:54:13 UTC | Remove travis_wait | 29 March 2018, 16:54:13 UTC |
b4b5d08 | phoebe jenkins | 29 March 2018, 16:29:57 UTC | Temporarily increase timeout for travis_test.sh | 29 March 2018, 16:29:57 UTC |
92bf189 | yan | 29 March 2018, 16:21:42 UTC | Add test portability to pcmxstrx tests | 29 March 2018, 16:21:42 UTC |
42ff6c8 | phoebe jenkins | 29 March 2018, 16:15:25 UTC | Revert __bool__ simplification | 29 March 2018, 16:15:25 UTC |
e40b1c8 | phoebe jenkins | 29 March 2018, 15:51:32 UTC | Fix typo in travis_test.sh | 29 March 2018, 15:51:32 UTC |
db1a82c | yan | 29 March 2018, 14:59:23 UTC | Make sure we don't initialize a SyncManager in file scope | 29 March 2018, 15:50:18 UTC |
6a63360 | yan | 29 March 2018, 15:42:36 UTC | Update LazyZ3Solver.__del__ | 29 March 2018, 15:42:36 UTC |
a39aae2 | yan | 29 March 2018, 15:36:45 UTC | minor py3 updates | 29 March 2018, 15:36:45 UTC |
caafa25 | yan | 29 March 2018, 15:35:08 UTC | Make some x86 tests py3 compatible | 29 March 2018, 15:35:08 UTC |
031b9cd | phoebe jenkins | 29 March 2018, 15:34:52 UTC | Temporarily add verbose output to travis tests | 29 March 2018, 15:34:52 UTC |
18ab1a7 | yan | 29 March 2018, 15:34:50 UTC | Add a lazy z3 wrapper | 29 March 2018, 15:34:50 UTC |
c10f278 | yan | 29 March 2018, 14:59:23 UTC | Make sure we don't initialize a SyncManager in file scope | 29 March 2018, 14:59:23 UTC |