Wheelodex » Projects » whitesymex

whitesymex

View on PyPI — Reverse Dependencies (0)

0.1.0 whitesymex-0.1.0-py3-none-any.whl

Wheel Details

Project: whitesymex
Version: 0.1.0
Filename: whitesymex-0.1.0-py3-none-any.whl
Download: [link]
Size: 16835
MD5: a66a65d27b27077d58e533a174dfe5ff
SHA256: a5c58bfa36ffd438a358b8bc8c20e1a0e4dca47adda03f4c75c6a2aaee0277ea
Uploaded: 2021-05-30 13:45:18 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: whitesymex
Version: 0.1.0
Summary: Symbolic execution engine for Whitespace language.
Author: Umut Barış Öztunç
Author-Email: umutoztunc[at]gmail.com
Home-Page: https://github.com/umutoztunc/whitesymex
License: MIT License
Classifier: Operating System :: OS Independent
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.7
Requires-Dist: z3-solver
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 3430 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.36.2)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
whitesymex/__init__.py sha256=kUR5RAFc7HCeiqdlX36dZOHkUI5wI6V_43RpEcD8b-0 22
whitesymex/cli.py sha256=J7brShxhwok-Kg0JhzVhnkK6aulQtNEfnH9v5Xj3f6U 1947
whitesymex/errors.py sha256=E5TEXlEmctZR7LT8LJPFzEqFLEQ4JPmfcYK_IbA4bdk 723
whitesymex/imp.py sha256=jU2D9m1HDE6KPtYZgh_7Q_irc4GvAR3MmKFyo-XtdOA 710
whitesymex/instruction.py sha256=QNakZXqHGr6vZIwV__FuVxFNWbqgJ4cw80B7nLNXIsY 382
whitesymex/ops.py sha256=rH6p4lRH-sZEXbZ30lE88K_Lg5jRlht2Kr7KEY8rzhE 1483
whitesymex/parameter.py sha256=mr-MbLs3Lzug6XNF__6ukqPKKQl5wXf_sAlvHShSNiE 301
whitesymex/parser.py sha256=CTjd2otOcdaw3EPReL3AdviuENx026ag1tiT_FlgQdw 2730
whitesymex/path_group.py sha256=YN1L675jvHGPkBvraI0DYQfHVJaC1bnZEWLLVd5yG3E 4052
whitesymex/solver.py sha256=IKkueOqFZsOpTc_JQv3OapwXf955hm28i-bFswNg6Uc 2598
whitesymex/state.py sha256=QcxdYWm5mXunLnNHifwy3-jLp6T2ITtMXqbuQc7duuQ 14044
whitesymex/strategies/__init__.py sha256=mXNNMl6Tek3lfjW9H1gKChapYSZWEgUWCvx2vrVuDlY 246
whitesymex/strategies/bfs.py sha256=yPX4bSCI6Lw-kRBowMpT1yaSJN4ixbdx9ZOKfnyDEvg 199
whitesymex/strategies/dfs.py sha256=iBFcTrxcYJl3-3BBFLRk05zVRC6gVD1gBrhxQv5OoW8 163
whitesymex/strategies/random.py sha256=qYpz0nrJJdeJEtEmyyqQ-XURqYFl60et_Fkb8Yjenlk 248
whitesymex/strategies/strategy.py sha256=l-nD0fUt8oYhzzlfhZFo7j3XpxUT32geqSQv3q4YbVI 4869
whitesymex-0.1.0.dist-info/LICENSE sha256=DJOduWLSngcLPsKyH4HP4TSSZT_Y-go1OUgwRKmj3RM 1078
whitesymex-0.1.0.dist-info/METADATA sha256=NJsG_ecfOkgGwcIt8udFysdI8zFK9mP0Hg1eDeREaFY 4107
whitesymex-0.1.0.dist-info/WHEEL sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA 92
whitesymex-0.1.0.dist-info/entry_points.txt sha256=FyAQj0pYSTrQJYVpDpE1wGI2-vg3eYSW5Ykupxcgygg 52
whitesymex-0.1.0.dist-info/top_level.txt sha256=qXECYutCDyRvkdj8wBm-5u02AlSuXZqVCwSF3WMBFvU 11
whitesymex-0.1.0.dist-info/RECORD — —

top_level.txt

whitesymex

entry_points.txt

[console_scripts]
whitesymex = whitesymex.cli:main