intrepid-studio 0.1.0__py3-none-any.whl

intrepid_studio-0.1.0.dist-info/METADATA

@@ -0,0 +1,92 @@
+Metadata-Version: 2.4
+Name: intrepid-studio
+Version: 0.1.0
+Summary: The Intrepid editors in your browser, on a folder of yours: requirements, circuits, simulation, verification, MC/DC tests
+Author: Roberto Bruttomesso
+Author-email: roberto.bruttomesso@gmail.com
+Maintainer: Roberto Bruttomesso
+Maintainer-email: roberto.bruttomesso@gmail.com
+License-Expression: PolyForm-Noncommercial-1.0.0 AND Apache-2.0 AND CC-BY-4.0 AND MIT
+Project-URL: Homepage, https://intrepid-studio.eu
+Project-URL: intrepyd, https://pypi.org/project/intrepyd/
+Keywords: formal verification,model checking,requirements,MC/DC,circuits,simulink,lustre,plc
+Classifier: Development Status :: 4 - Beta
+Classifier: Environment :: Web Environment
+Classifier: Intended Audience :: Science/Research
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: MacOS
+Classifier: Operating System :: Microsoft :: Windows
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Software Development :: Testing
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE.md
+License-File: THIRD_PARTY_NOTICES.txt
+Requires-Dist: intrepyd>=0.25
+Dynamic: license-file
+
+# Intrepid Studio
+
+The Intrepid editors in your browser, on a folder of yours: write the
+requirements of a design, draw the circuit that implements it, simulate it,
+**prove** its properties or get the steps that break them, and generate the
+**MC/DC tests** that show each condition of a decision counts. The model
+checker [intrepyd](https://pypi.org/project/intrepyd/) works underneath, out
+of sight.
+
+```
+pip install intrepid-studio
+intrepid-studio ./my-project
+```
+
+The command serves the editors on the folder, made if missing, and opens the
+browser on them. Leave it running while you work; Ctrl+C stops it.
+
+- **Requirements**: a table of requirements, each with its text for
+  reviewers and a formula for its logic, from which its circuit is built.
+- **Circuits**: a canvas in the style of Simulink, with logic, comparisons,
+  arithmetic, delays, timers, counters and subsystems, checked as you draw.
+- **Simulation**: the inputs step by step, the outputs on the canvas, the
+  signals in a scope.
+- **Verification**: assertions proved at every step, or broken by a trace;
+  targets reached, or proved unreachable; proof certificates any SMT solver
+  checks.
+- **MC/DC tests**, and a **report** to print, a page per requirement.
+- **Lustre** models and intrepyd programs opened as circuits; circuits
+  exported as Python programs.
+
+The project is the folder: its files are JSON, made for version control, and
+the same as those of the Intrepid Circuit Editor for VS Code.
+
+## Options
+
+```
+intrepid-studio [FOLDER] [--port N] [--no-browser] [--python PYTHON] [--license FILE]
+```
+
+- `--port N`: the port on 127.0.0.1 (default: a free one);
+- `--no-browser`: print the address, do not open a browser;
+- `--python PYTHON`: the Python with intrepyd the runs use (default: this one);
+- `--license FILE`: the license file intrepid's engines run under.
+
+## On your machine only
+
+The studio listens on 127.0.0.1, with a random token in the address it opens,
+asked of every call; no path leaves the folder. Nothing is sent anywhere.
+
+## License
+
+intrepid-studio is free for noncommercial purposes, such as personal use and
+use by educational institutions and public research organizations, under the
+PolyForm Noncommercial License 1.0.0; any other use, in particular by
+companies, requires a commercial license: write to license@intrepid-studio.eu.
+The same holds for the engines of intrepyd, which verify and generate the
+tests: intrepyd's wheels carry a noncommercial license, and the studio's
+status bar shows the license in use, and helps to ask for another.
+
+Requires Python 3.11 or newer, on a platform where intrepyd has its wheels:
+Linux (x86-64) and Windows (x86-64); macOS 13.3 or newer on Apple
+silicon as soon as intrepyd's wheels support it.

intrepid_studio-0.1.0.dist-info/RECORD

@@ -0,0 +1,29 @@
+intrepid_studio-0.1.0.dist-info/licenses/LICENSE.md,sha256=X6Si7hkWHTOt-DHV7MW5H37GtDczS15pAr7L7cn6JX0,5496
+intrepid_studio-0.1.0.dist-info/licenses/THIRD_PARTY_NOTICES.txt,sha256=rd4EBJXJizDmnzZR_Idxl2p1joX1uEX46WRQnCyaJlk,33294
+intrepid_web/__init__.py,sha256=o6v-zdHbPdoZjiWRSGUGnXCxmi7gA7iJNl89isytCH4,130
+intrepid_web/config.py,sha256=BkoVfPLOt8YWAv_mysrPacLtdQmLd4Hcnsvd7kisSOU,4675
+intrepid_web/local.py,sha256=xOnDYs7fCUArK6z4uMerDFTSVlVwebLPWyjm2QVG5x0,21287
+intrepid_web/lustre.py,sha256=j5KiRzGFY7tEW-SRG7HH0KaX916ekguAGZ_9SxplJpQ,2603
+intrepid_web/pages.py,sha256=ukKYZCtp1qLk4D9iD17-iCheWML6ePXQk9gvaCR7nRc,5096
+intrepid_web/runner.py,sha256=NkQ-FDkLsaJYNmjt1g5p5FeMfxVBtsKeeEeZLQeDfkw,5669
+intrepid_web/site/THIRD_PARTY_NOTICES.txt,sha256=rd4EBJXJizDmnzZR_Idxl2p1joX1uEX46WRQnCyaJlk,33294
+intrepid_web/site/acknowledgements.html,sha256=iDvQlnDRV0itWijn-OAMg9ACbN4k-CdL17wB5SDrBKk,3556
+intrepid_web/site/app.js,sha256=6NfjpYnvVKu_WUsaAGAGdri0GWj0L8uHX0KX-CkG0vE,214694
+intrepid_web/site/frame.js,sha256=2hufqNSDrNX6etVmkjmi1sxLVWVxvCls4qEVedgfeMg,1221
+intrepid_web/site/icon.svg,sha256=bdsQi7AbE_VFofMQCdvaRffYleIMBw3dtxGhR98kT-M,469
+intrepid_web/site/index.html,sha256=jk8-g2Os5ESjzoGh9MPHN65IEg3BT9HblDDIukb360Y,3087
+intrepid_web/site/site.css,sha256=6AKIkaSGFZuP4xVbLTe4u0QO1UBkLM02Bcwe-LFE1_M,13610
+intrepid_web/site/theme.css,sha256=_c5mp31Qn4wM4R6qtyXmQL7giDrSHQQjUxn3BUDwM8E,4824
+intrepid_web/site/codicons/codicon.css,sha256=BPyhCJLY8r5RBMkgtkDZpY3c-H9JAuowD88I3mY08_Y,33699
+intrepid_web/site/codicons/codicon.ttf,sha256=K7VYy2k0Uec8KMM_5kqom8GbGktw-VlIMiwkP5NHaSA,125828
+intrepid_web/site/pages/editor.css,sha256=r522pcPXHyHqzECjM1Rkrhymn9od2kkQAFVItksLcWY,25466
+intrepid_web/site/pages/editor.html,sha256=keWjfMSgcqADbYU7r5nP9DTrtOSJljQUfkPhLvBv2Ko,1055
+intrepid_web/site/pages/editor.js,sha256=doMqrx3sOK-r_MxZPuIFYxumcrvL1hljHExE0HqKu6Q,541261
+intrepid_web/site/pages/requirements.css,sha256=OIUtjGsQfONfHk9QEVi5jQsQ223OR0S-QeErellTecQ,11718
+intrepid_web/site/pages/requirements.html,sha256=sfGfQ4Vf9foETVPK8HUv13xV6llfvnjWoy0AjLClYiU,825
+intrepid_web/site/pages/requirements.js,sha256=jTlHuTXOOxIsFFNH-RFrqeuK2t1WbHa4LDD0UBjFFNM,50266
+intrepid_studio-0.1.0.dist-info/METADATA,sha256=O3IpLyJZqfO7PBVkeYX5APw23URses7SNAjx6v4O9bk,4078
+intrepid_studio-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+intrepid_studio-0.1.0.dist-info/entry_points.txt,sha256=K2PeFuG8QTg9jfJf5kH_tisa446b0aAIuMnLBd6yWy0,60
+intrepid_studio-0.1.0.dist-info/top_level.txt,sha256=y-pJePLlAU3m86mt32S9u6Um0KdKz7y8icU6FLOMLjU,13
+intrepid_studio-0.1.0.dist-info/RECORD,,

intrepid_studio-0.1.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

intrepid_studio-0.1.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+intrepid-studio = intrepid_web.local:main

intrepid_studio-0.1.0.dist-info/licenses/LICENSE.md

@@ -0,0 +1,89 @@
+This license covers intrepid-studio, the package that serves the Intrepid
+editors on one's own machine: it is free for noncommercial purposes, such as
+personal use and use by educational institutions and public research
+organizations, as the PolyForm Noncommercial License 1.0.0 below defines them.
+Any other use, in particular by companies for a commercial purpose, requires a
+commercial license, which the author grants on request: write to
+license@intrepid-studio.eu. This matches the license of intrepyd, which the
+editors drive.
+
+This license covers only intrepid-studio's own code. The free and open source
+software in its pages (maxGraph, the codicons) keeps its own licenses, whose
+texts are in THIRD_PARTY_NOTICES.txt; intrepyd and the intrepid library, which
+intrepid-studio runs in the user's own Python environment, keep theirs.
+
+Required Notice: Copyright (c) 2016-2026 Roberto Bruttomesso (https://intrepid-studio.eu)
+
+# PolyForm Noncommercial License 1.0.0
+
+<https://polyformproject.org/licenses/noncommercial/1.0.0>
+
+## Acceptance
+
+In order to get any license under these terms, you must agree to them as both strict obligations and conditions to all your licenses.
+
+## Copyright License
+
+The licensor grants you a copyright license for the software to do everything you might do with the software that would otherwise infringe the licensor's copyright in it for any permitted purpose.  However, you may only distribute the software according to [Distribution License](#distribution-license) and make changes or new works based on the software according to [Changes and New Works License](#changes-and-new-works-license).
+
+## Distribution License
+
+The licensor grants you an additional copyright license to distribute copies of the software.  Your license to distribute covers distributing the software with changes and new works permitted by [Changes and New Works License](#changes-and-new-works-license).
+
+## Notices
+
+You must ensure that anyone who gets a copy of any part of the software from you also gets a copy of these terms or the URL for them above, as well as copies of any plain-text lines beginning with `Required Notice:` that the licensor provided with the software.  For example:
+
+> Required Notice: Copyright Yoyodyne, Inc. (http://example.com)
+
+## Changes and New Works License
+
+The licensor grants you an additional copyright license to make changes and new works based on the software for any permitted purpose.
+
+## Patent License
+
+The licensor grants you a patent license for the software that covers patent claims the licensor can license, or becomes able to license, that you would infringe by using the software.
+
+## Noncommercial Purposes
+
+Any noncommercial purpose is a permitted purpose.
+
+## Personal Uses
+
+Personal use for research, experiment, and testing for the benefit of public knowledge, personal study, private entertainment, hobby projects, amateur pursuits, or religious observance, without any anticipated commercial application, is use for a permitted purpose.
+
+## Noncommercial Organizations
+
+Use by any charitable organization, educational institution, public research organization, public safety or health organization, environmental protection organization, or government institution is use for a permitted purpose regardless of the source of funding or obligations resulting from the funding.
+
+## Fair Use
+
+You may have "fair use" rights for the software under the law. These terms do not limit them.
+
+## No Other Rights
+
+These terms do not allow you to sublicense or transfer any of your licenses to anyone else, or prevent the licensor from granting licenses to anyone else.  These terms do not imply any other licenses.
+
+## Patent Defense
+
+If you make any written claim that the software infringes or contributes to infringement of any patent, your patent license for the software granted under these terms ends immediately. If your company makes such a claim, your patent license ends immediately for work on behalf of your company.
+
+## Violations
+
+The first time you are notified in writing that you have violated any of these terms, or done anything with the software not covered by your licenses, your licenses can nonetheless continue if you come into full compliance with these terms, and take practical steps to correct past violations, within 32 days of receiving notice.  Otherwise, all your licenses end immediately.
+
+## No Liability
+
+***As far as the law allows, the software comes as is, without any warranty or condition, and the licensor will not be liable to you for any damages arising out of these terms or the use or nature of the software, under any kind of legal claim.***
+
+## Definitions
+
+The **licensor** is the individual or entity offering these terms, and the **software** is the software the licensor makes available under these terms.
+
+**You** refers to the individual or entity agreeing to these terms.
+
+**Your company** is any legal entity, sole proprietorship, or other kind of organization that you work for, plus all organizations that have control over, are under the control of, or are under common control with that organization.  **Control** means ownership of substantially all the assets of an entity, or the power to direct its management and policies by vote, contract, or otherwise.  Control can be direct or indirect.
+
+**Your licenses** are all the licenses granted to you for the software under these terms.
+
+**Use** means anything you do with the software requiring one of your licenses.