Wheelodex » Projects » timewinder

timewinder

View on PyPI — Reverse Dependencies (0)

0.1.dev1 timewinder-0.1.dev1-py3-none-any.whl

Wheel Details

Project: timewinder
Version: 0.1.dev1
Filename: timewinder-0.1.dev1-py3-none-any.whl
Download: [link]
Size: 31549
MD5: 0b5df9626292a6d18d8ba6d8afc81707
SHA256: be3c33ad6adab973ba872cb8ec8c02a0c4d2d9b3862a8b2097848ff5e95bb831
Uploaded: 2021-03-22 08:59:18 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: timewinder
Version: 0.1.dev1
Summary: Temporal logic models for Python
Author: Barak Michener
Author-Email: me[at]barakmich.com
Home-Page: https://github.com/barakmich/timewinder
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Development Status :: 3 - Alpha
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.8
Requires-Dist: dataclasses
Requires-Dist: msgpack
Requires-Dist: varname
Description-Content-Type: text/markdown
[Description omitted; length: 3390 characters]

WHEEL

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

RECORD

Path Digest Size
timewinder/__init__.py sha256=cnxxXPaVXB4TP4_nhj2J8kF-3uI22g2LRiIy75CqnNs 494
timewinder/__main__.py sha256=Bp4HkaVl7r7viEF7oIZPujgEE2pFg9jcd8hWlAMPiQ8 61
timewinder/closure.py sha256=3w-y4dBl-Kxcu8rl8gKvql9fzvL5iDTQN25GDd8bzzM 189
timewinder/evaluation.py sha256=xk8wAsq25HzQx8r_4Fr0ngV6XeYzBxALzttub-Ovvl4 8154
timewinder/functions.py sha256=dbI1mrEWFH7gfclLusuh9SSRurGMgDxsiK_SvpuGBps 631
timewinder/generators.py sha256=RX4TrHOoQaTcFLku9W6Tcghv433ji_XizDBb6Ssjbqk 689
timewinder/ltl.py sha256=KUT_rqxeuTovkzSOsAKOJiMadgn-lT2asPV8E8QDTzA 3892
timewinder/object.py sha256=7oZfgvSR7zA-qgI14Q-bo7G9Kc-Rh_wX6YaXHps2u6k 1605
timewinder/pause.py sha256=7RqmGCz5meuuNzrTpnkMMyclCVVqgvtvVPGLucd5E5k 371
timewinder/predicate.py sha256=UwR0ID0tbSERFxSGTXBkrXzyMamH0hRpWX_2naGQwQk 2290
timewinder/process.py sha256=VYpZykjoRoh0coJ6vZbHW0VXfenvFotvreKUjTmwiOk 2294
timewinder/reinterp/__init__.py sha256=oBbeIQhPqDNdcTbbIOBSHErEUaRp0dJiAZMJ33c-IWI 132
timewinder/reinterp/interpreter.py sha256=pDv8HKjEgrhjAvzHUmqufiU0-oSYqWWHQgmBWqgBveI 4710
timewinder/reinterp/opcodes.py sha256=O6CHpmOWY6m3Bnml7mV-3Z7oIoa6PvlY3q_byiKHrFI 6758
timewinder/reinterp/predicate.py sha256=fJ0cj3oOoffIJFRk4ZtUwYMd8brucGJyrQcT7b_CmT4 756
timewinder/reinterp/process.py sha256=NLhTzd5AsHdlU3TAYDU_UGCnEAk3JkZlSY9l1MIq_ls 2079
timewinder/statetree/__init__.py sha256=NvaQJwwCWnQ7lcq7b2uLcL8OitRCNczUiielwM0EjYk 117
timewinder/statetree/cas.py sha256=cWiRsnCRjJKDNmTPlpxw1BScWr9PKuGT3xHE2o22sIg 1524
timewinder/statetree/controller.py sha256=qIyvD6b70yhEqMQsI5H6qKwP3QDNRzYZkKwrPOw2f_8 2765
timewinder/statetree/tree.py sha256=6NG0qzQzS0h3Hblo-i_5limD8bjbAoK3ORyNtKJ_Eeo 1924
timewinder-0.1.dev1.dist-info/AUTHORS.md sha256=go4Mb3vkcI_HC8q5kbOlXtVueGny2e0XLSwKmTM_G2c 92
timewinder-0.1.dev1.dist-info/LICENSE sha256=YL_bHP1Eyj06KXrI1koJeQKnatfhBqgCeQUE14_qMb4 35124
timewinder-0.1.dev1.dist-info/METADATA sha256=vhYSJeHxtuo23oLOnastbhQHSEGhb_Qdda4TvgwYrhU 3987
timewinder-0.1.dev1.dist-info/WHEEL sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA 92
timewinder-0.1.dev1.dist-info/top_level.txt sha256=ML98KVjNGHlOw0LmPTavJc9MscY-pWIgUG7TBVeQj1k 11
timewinder-0.1.dev1.dist-info/RECORD — —

top_level.txt

timewinder