Welcome to the pifm repository

pifm is a tool to teach in-formal methods.

Initial setup

To use the system, you can do the following:

$ git clone git@github.com:COMP6721UNSW/pifm.git pifm
$ cd pifm
$ run_pifm ./my_example.py

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution for pifm 0.0.1
File	Size	Uploaded
pifm-0.0.1.tar.gz	8.6 kB	Jun 16, 2022	Details

Table of built distributions (wheels) for pifm 0.0.1
File	Interpreter	ABI	Platform	Reset
pifm-0.0.1-py3-none-any.whl 9.8 kB Jun 16, 2022	Python 3	none	any	Details

Total release size: 18.5 kB

Download URL	pifm-0.0.1.tar.gz
Size	8.6 kB
Tags	Source
SHA-256 checksum How to use checksums	`b6d7e4610a6abcf010184151a9dbbc1ee4199865805933a99abd74e83f65d207`
BLAKE2b-256 checksum How to use checksums	`51b119e88cfcf1b4271557bf6b7d9ac86f0bd4589f592de311d5448343fbfdcc`
Upload date	Jun 16, 2022
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.1 CPython/3.8.10`

Download URL	pifm-0.0.1-py3-none-any.whl
Size	9.8 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`5d8b1e0393f54b0e18f03644bed3716b04335c9805a1df5b86614ea3474bcd17`
BLAKE2b-256 checksum How to use checksums	`47893d960f20691de1c02e30f2765fb3cf858d9d7dbd064ee65675a94633691b`
Upload date	Jun 16, 2022
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/4.0.1 CPython/3.8.10`

This release

0.0.1 This release