invar-tools 1.2.0__py3-none-any.whl → 1.3.0__py3-none-any.whl

invar/decorators.py

@@ -1,94 +0,0 @@
-"""
-Invar contract decorators.
-
-Provides decorators that extend deal's contract system for additional
-static analysis by Guard.
-
-DX-12-B: Added @strategy for custom Hypothesis strategies.
-"""
-
-from __future__ import annotations
-
-from collections.abc import Callable
-from typing import Any, TypeVar
-
-F = TypeVar("F", bound=Callable)
-
-
-def must_use(reason: str | None = None) -> Callable[[F], F]:
-    """
-    Mark a function's return value as must-use.
-
-    Guard will warn if calls to this function discard the return value.
-    Inspired by Move's lack of drop ability and Rust's #[must_use].
-
-    Args:
-        reason: Explanation of why the return value must be used.
-
-    Returns:
-        A decorator that marks the function.
-
-    >>> @must_use("Error must be handled")
-    ... def may_fail() -> int:
-    ...     return 42
-    >>> may_fail.__invar_must_use__
-    'Error must be handled'
-
-    >>> @must_use()
-    ... def important() -> str:
-    ...     return "result"
-    >>> important.__invar_must_use__
-    'Return value must be used'
-    """
-
-    def decorator(func: F) -> F:
-        func.__invar_must_use__ = reason or "Return value must be used"  # type: ignore[attr-defined]
-        return func
-
-    return decorator
-
-
-def strategy(**param_strategies: Any) -> Callable[[F], F]:
-    """
-    Specify custom Hypothesis strategies for function parameters.
-
-    DX-12-B: Escape hatch when automatic strategy inference fails or
-    when you need precise control over generated values.
-
-    Args:
-        **param_strategies: Mapping of parameter names to Hypothesis strategies.
-
-    Returns:
-        A decorator that attaches strategies to the function.
-
-    Examples:
-        >>> from hypothesis import strategies as st
-        >>> @strategy(x=st.floats(min_value=1e-10, max_value=1e10))
-        ... def sqrt(x: float) -> float:
-        ...     return x ** 0.5
-        >>> hasattr(sqrt, '__invar_strategies__')
-        True
-        >>> 'x' in sqrt.__invar_strategies__
-        True
-
-        >>> # NumPy array with specific shape
-        >>> @strategy(arr="arrays(dtype=float64, shape=(10,))")
-        ... def normalize(arr):
-        ...     return arr / arr.sum()
-        >>> 'arr' in normalize.__invar_strategies__
-        True
-
-    Note:
-        Strategies can be either:
-        - Hypothesis strategy objects (e.g., st.floats())
-        - String representations (e.g., "floats(min_value=0)")
-
-        String representations are useful when you don't want to import
-        Hypothesis at module load time.
-    """
-
-    def decorator(func: F) -> F:
-        func.__invar_strategies__ = param_strategies  # type: ignore[attr-defined]
-        return func
-
-    return decorator

invar/invariant.py

@@ -1,58 +0,0 @@
-"""
-Loop invariant support for Invar.
-
-Provides runtime-checked loop invariants inspired by Dafny.
-Checking controlled by INVAR_CHECK environment variable (default: ON).
-"""
-
-from __future__ import annotations
-
-import os
-
-
-class InvariantViolation(Exception):
-    """Raised when a loop invariant is violated."""
-
-    pass
-
-
-# Read once at module load time - effectively a constant
-_INVAR_CHECK = os.environ.get("INVAR_CHECK", "1") == "1"
-
-
-# @invar:allow entry_point_too_thick: False positive - .get() matches router.get pattern
-def invariant(condition: bool, message: str = "") -> None:
-    """
-    Assert loop invariant. Checked at runtime when INVAR_CHECK=1.
-
-    Place at the START of loop body to check condition each iteration.
-    Invariants document what must remain true throughout loop execution.
-
-    Args:
-        condition: Boolean condition that must hold
-        message: Optional message describing the invariant
-
-    Raises:
-        InvariantViolation: When condition is False and INVAR_CHECK=1
-
-    Examples:
-        >>> invariant(True)  # OK
-
-        >>> invariant(True, "x is positive")  # OK with message
-
-        >>> try:
-        ...     invariant(False, "x must be positive")
-        ... except InvariantViolation as e:
-        ...     print(str(e))
-        Loop invariant violated: x must be positive
-
-    Typical usage in a binary search:
-
-        while lo < hi:
-            invariant(0 <= lo <= hi <= len(arr))
-            invariant(target not in arr[:lo])  # Already searched
-            ...
-    """
-    if _INVAR_CHECK and not condition:
-        msg = f"Loop invariant violated: {message}" if message else "Loop invariant violated"
-        raise InvariantViolation(msg)

invar/resource.py

@@ -1,99 +0,0 @@
-"""
-Resource management decorators for Invar.
-
-Provides @must_close for marking classes that require explicit cleanup.
-Inspired by Move language's resource semantics.
-"""
-
-from __future__ import annotations
-
-from typing import Any, TypeVar
-
-T = TypeVar("T")
-
-
-class ResourceWarning(UserWarning):
-    """Warning raised when a resource may not be properly closed."""
-
-    pass
-
-
-class MustCloseViolation(Exception):
-    """Raised when a @must_close resource is not properly managed."""
-
-    pass
-
-
-def must_close(cls: type[T]) -> type[T]:
-    """
-    Mark a class as a resource that must be explicitly closed.
-
-    The decorated class should have a `close()` method. The decorator:
-    1. Adds __invar_must_close__ marker for Guard detection
-    2. Adds context manager protocol if not present
-
-    Examples:
-        >>> @must_close
-        ... class TempFile:
-        ...     def __init__(self, path: str):
-        ...         self.path = path
-        ...         self.closed = False
-        ...     def write(self, data: str) -> None:
-        ...         if self.closed:
-        ...             raise ValueError("File is closed")
-        ...     def close(self) -> None:
-        ...         self.closed = True
-
-        >>> # Preferred: use as context manager
-        >>> with TempFile("test.txt") as f:
-        ...     f.write("hello")
-        >>> f.closed
-        True
-
-        >>> # Also works: explicit close
-        >>> f2 = TempFile("test2.txt")
-        >>> f2.write("world")
-        >>> f2.close()
-        >>> f2.closed
-        True
-    """
-    # Mark for Guard detection
-    cls.__invar_must_close__ = True  # type: ignore[attr-defined]
-
-    # Add context manager protocol if not present
-    if not hasattr(cls, "__enter__"):
-
-        def __enter__(self: Any) -> Any:
-            return self
-
-        cls.__enter__ = __enter__  # type: ignore[attr-defined]
-
-    if not hasattr(cls, "__exit__"):
-
-        def __exit__(self: Any, exc_type: Any, exc_val: Any, exc_tb: Any) -> None:
-            if hasattr(self, "close") and callable(self.close):
-                self.close()
-
-        cls.__exit__ = __exit__  # type: ignore[attr-defined]
-
-    return cls
-
-
-def is_must_close(cls_or_obj: Any) -> bool:
-    """
-    Check if a class or instance is marked with @must_close.
-
-    >>> @must_close
-    ... class Resource:
-    ...     def close(self): pass
-    >>> is_must_close(Resource)
-    True
-    >>> is_must_close(Resource())
-    True
-    >>> class Plain: pass
-    >>> is_must_close(Plain)
-    False
-    """
-    if isinstance(cls_or_obj, type):
-        return getattr(cls_or_obj, "__invar_must_close__", False)
-    return getattr(type(cls_or_obj), "__invar_must_close__", False)

invar/shell/update_cmd.py

@@ -1,193 +0,0 @@
-"""
-Update command for Invar.
-
-Shell module: handles updating Invar-managed files to latest version.
-"""
-
-from __future__ import annotations
-
-import re
-from pathlib import Path
-
-import typer
-from returns.result import Failure, Result, Success
-from rich.console import Console
-
-from invar.shell.templates import copy_examples_directory, get_template_path
-
-console = Console()
-
-# Version pattern: matches "v3.23" or "v3.23.1"
-VERSION_PATTERN = re.compile(r"v(\d+)\.(\d+)(?:\.(\d+))?")
-
-
-# @shell_orchestration: Version parsing helper for update command
-def parse_version(text: str) -> tuple[int, int, int] | None:
-    """
-    Parse version string from text.
-
-    >>> parse_version("Protocol v3.23")
-    (3, 23, 0)
-    >>> parse_version("v3.23.1")
-    (3, 23, 1)
-    >>> parse_version("no version here")
-    """
-    match = VERSION_PATTERN.search(text)
-    if match:
-        major = int(match.group(1))
-        minor = int(match.group(2))
-        patch = int(match.group(3)) if match.group(3) else 0
-        return (major, minor, patch)
-    return None
-
-
-def get_current_version(path: Path) -> Result[tuple[int, int, int], str]:
-    """Get version from current INVAR.md file."""
-    invar_md = path / "INVAR.md"
-    if not invar_md.exists():
-        return Failure("INVAR.md not found. Run 'invar init' first.")
-
-    try:
-        content = invar_md.read_text()
-        version = parse_version(content)
-        if version is None:
-            return Failure("Could not parse version from INVAR.md")
-        return Success(version)
-    except OSError as e:
-        return Failure(f"Failed to read INVAR.md: {e}")
-
-
-def get_template_version() -> Result[tuple[int, int, int], str]:
-    """Get version from template INVAR.md."""
-    template_result = get_template_path("INVAR.md")
-    if isinstance(template_result, Failure):
-        return template_result
-
-    template_path = template_result.unwrap()
-    try:
-        content = template_path.read_text()
-        version = parse_version(content)
-        if version is None:
-            return Failure("Could not parse version from template")
-        return Success(version)
-    except OSError as e:
-        return Failure(f"Failed to read template: {e}")
-
-
-def format_version(version: tuple[int, int, int]) -> str:
-    """Format version tuple as string."""
-    if version[2] == 0:
-        return f"v{version[0]}.{version[1]}"
-    return f"v{version[0]}.{version[1]}.{version[2]}"
-
-
-def update_invar_md(path: Path, console: Console) -> Result[bool, str]:
-    """Update INVAR.md by overwriting with template."""
-    template_result = get_template_path("INVAR.md")
-    if isinstance(template_result, Failure):
-        return template_result
-
-    template_path = template_result.unwrap()
-    dest_file = path / "INVAR.md"
-
-    try:
-        dest_file.write_text(template_path.read_text())
-        return Success(True)
-    except OSError as e:
-        return Failure(f"Failed to update INVAR.md: {e}")
-
-
-def update_examples(path: Path, console: Console) -> Result[bool, str]:
-    """Update .invar/examples/ directory."""
-    import shutil
-
-    examples_dest = path / ".invar" / "examples"
-
-    # Remove existing examples
-    if examples_dest.exists():
-        try:
-            shutil.rmtree(examples_dest)
-        except OSError as e:
-            return Failure(f"Failed to remove old examples: {e}")
-
-    # Copy new examples
-    return copy_examples_directory(path, console)
-
-
-# @shell_complexity: Update command with template comparison
-def update(
-    path: Path = typer.Argument(Path(), help="Project root directory"),
-    force: bool = typer.Option(
-        False, "--force", "-f", help="Update even if already at latest version"
-    ),
-    check: bool = typer.Option(
-        False, "--check", help="Check for updates without applying"
-    ),
-) -> None:
-    """
-    Update Invar-managed files to latest version.
-
-    Updates INVAR.md and .invar/examples/ from the installed python-invar package.
-    User-managed files (CLAUDE.md, .invar/context.md) are never modified.
-
-    Use --check to see if updates are available without applying them.
-    Use --force to update even if already at latest version.
-    """
-    # Get current version
-    current_result = get_current_version(path)
-    if isinstance(current_result, Failure):
-        console.print(f"[red]Error:[/red] {current_result.failure()}")
-        raise typer.Exit(1)
-    current_version = current_result.unwrap()
-
-    # Get template version
-    template_result = get_template_version()
-    if isinstance(template_result, Failure):
-        console.print(f"[red]Error:[/red] {template_result.failure()}")
-        raise typer.Exit(1)
-    template_version = template_result.unwrap()
-
-    current_str = format_version(current_version)
-    template_str = format_version(template_version)
-
-    # Compare versions
-    needs_update = template_version > current_version
-
-    if check:
-        # Check mode: just report status
-        if needs_update:
-            console.print(f"[yellow]Update available:[/yellow] {current_str} → {template_str}")
-        else:
-            console.print(f"[green]Up to date:[/green] {current_str}")
-        return
-
-    if not needs_update and not force:
-        console.print(f"[green]Already at latest version:[/green] {current_str}")
-        console.print("[dim]Use --force to update anyway[/dim]")
-        return
-
-    # Perform update
-    console.print("\n[bold]Updating Invar files...[/bold]")
-    console.print(f"  Version: {current_str} → {template_str}")
-    console.print()
-
-    # Update INVAR.md
-    result = update_invar_md(path, console)
-    if isinstance(result, Failure):
-        console.print(f"[red]Error:[/red] {result.failure()}")
-        raise typer.Exit(1)
-    console.print(f"[green]Updated[/green] INVAR.md ({template_str})")
-
-    # Update examples
-    result = update_examples(path, console)
-    if isinstance(result, Failure):
-        console.print(f"[yellow]Warning:[/yellow] {result.failure()}")
-    else:
-        console.print("[green]Updated[/green] .invar/examples/")
-
-    # Remind about user-managed files
-    console.print()
-    console.print("[dim]User-managed files unchanged:[/dim]")
-    console.print("[dim]  ○ CLAUDE.md[/dim]")
-    console.print("[dim]  ○ .invar/context.md[/dim]")
-    console.print("[dim]  ○ pyproject.toml [tool.invar][/dim]")

invar_tools-1.2.0.dist-info/RECORD

@@ -1,77 +0,0 @@
-invar/__init__.py,sha256=gvCf_VzCH3gMfq6dvsvncxicAEv7_FhgBoQTBdbqcFM,1256
-invar/contracts.py,sha256=xAqk901hd3ep7ItxCln7Q0fID3rm47OROgEugmFnRY4,4631
-invar/decorators.py,sha256=EaZUgt4JzlhSgRTeRmKIEb-KgU8L5Npn8-oJuMuygRU,2677
-invar/invariant.py,sha256=V-qd2yMDmomz-eiTxvTaFbtsEwqNnNix1tpRfhSfsPo,1698
-invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-invar/resource.py,sha256=uX3V8R8_e5uFRO6ksOt_RN62g6nmf_wzpjyr9JXNhoc,2680
-invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
-invar/core/contracts.py,sha256=hdpMieO5I0BSuW4n5lLtiintTPqhutqB0UkdbkxB-Ao,19081
-invar/core/entry_points.py,sha256=6wqofuXOXWjOKX0aSl7WM8_R8rSGkfTSGRqMcS6UVDE,9082
-invar/core/extraction.py,sha256=NEGtpmPLIg0O_EnXGEDQcTRXudwJneysYCM3rpy0a2g,6058
-invar/core/format_specs.py,sha256=pjr_6zl81IAOJnptr5LuPTvCwfom-c5abQ95d_vdI_g,5640
-invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
-invar/core/formatter.py,sha256=wB4J9b-CMoooeYzPbRR2UTo5GuDueSzEXybyeVzdI14,10566
-invar/core/hypothesis_strategies.py,sha256=KTk0X_pJ-9AVduYm_xiv6AdGtIAd01VjOfk2Z4mXYKA,16468
-invar/core/inspect.py,sha256=5OX-c3BJ7GEiJWqIY77GYoP0Ox15cTcrmlNfjh9Hvfg,4380
-invar/core/lambda_helpers.py,sha256=pt_5GezT3kQoOiyJDAdLDLzRl-xEN1yWMQ7NYAVuWzI,6371
-invar/core/models.py,sha256=K6_-t7mOXa8k3TQK2aR-qm2G0lLHu3vmJpilGaTzTlc,9653
-invar/core/must_use.py,sha256=R8VsIIWqLXtVov1kf5RqiKfkvqI1o2Bn4rKKNo5KFSw,5376
-invar/core/parser.py,sha256=hlxLtqmS8eaXmcLO5BnD7HfTfRpxbpfTBmFSHGW2tzc,9079
-invar/core/property_gen.py,sha256=PpPYcKpPHqvx0XmCb8ktliigcFkxvKPbhAXm8qksokE,13990
-invar/core/purity.py,sha256=Wi_6wRLshSFLzaNxJfjoa0-4frCWJkQJliPpQfdUeq8,11980
-invar/core/purity_heuristics.py,sha256=dcdYqJJh-RLZHZR_G1j1gViH3Cqe37RfE3leaA2MU34,4748
-invar/core/references.py,sha256=iOIivmQ3Qcp38XiFpzaa7EZa01Ab75Q-G7KR2PRn-tI,6107
-invar/core/review_trigger.py,sha256=sCsBX9YOv9xnEhJqVJDhyAE5YzIC3p1MFrKbjCiD3Hk,11377
-invar/core/rule_meta.py,sha256=5bTrr6I7-Qi-ubqUQi-3Hva0E3mJBc-MadV0K77dwWs,9772
-invar/core/rules.py,sha256=3HY9A_9sVw72XNTA7CV8gWSG5xBqBqfS1v_agQzIj_s,19699
-invar/core/shell_analysis.py,sha256=IumoT0qjfZ4ElYBq6etwQL7ETSFS-a3sJnPKgOvUprg,6676
-invar/core/shell_architecture.py,sha256=41JE0hM8-PCSLyNlJB0fy6l1zPSnd9t_r3HxUTqZ4qQ,6521
-invar/core/strategies.py,sha256=AhiEJl-5SxXKSmprpeT4OdCmEk7dS3Di7Eb90I7QENQ,8797
-invar/core/suggestions.py,sha256=Y3b9hprG4M2fCNGgo2fNfMox4TDPKD9nyfmzCsBbF-Q,11500
-invar/core/tautology.py,sha256=Vk_FSP8q7uHeR5ZcyE28NWqxq1_WG-sJXwyKiClxdv4,5610
-invar/core/timeout_inference.py,sha256=NOLwNuadLAKvGTtAnd3qppZikVfKlo2ZPxHFVg4Vupk,3544
-invar/core/utils.py,sha256=aImcrQaiz1LkH_eJIgPAgl0HSPI3UBeE-tdUu92bIFc,14481
-invar/core/verification_routing.py,sha256=09qqOac3DjOWACmRAY4CJiOuri7J2cN2kXztBJ9ch0I,5126
-invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
-invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
-invar/mcp/server.py,sha256=EYXZZQ8IPLVer0Cv5vw8wHu4OuLQxqK6uRQo1byE45k,8832
-invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
-invar/shell/cli.py,sha256=wDFQsLnO--S1Au4AKo3ayNXEJY6JJhv-DdIWnk9tcOk,13674
-invar/shell/config.py,sha256=TxCuEQIjKbutpSCU2SxY7H7jPA6CIWNL9QDCe2KjNqc,16163
-invar/shell/fs.py,sha256=wVD7DPWsCIJXuTyY_pi-5_LS82mXRdn_grJCOLn9zpU,3699
-invar/shell/git.py,sha256=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
-invar/shell/guard_helpers.py,sha256=XPWpWUovKDnD100WUop7PqdOzxODXvE84ALPng2ujHo,14007
-invar/shell/guard_output.py,sha256=pxOTp7jGfpjOwOX2FaATDcmM_rsaLQ8CrZDqEMa0zSQ,11523
-invar/shell/init_cmd.py,sha256=a0Lk45wP1RF71jyVFDSrBTJgPjIeSstrKWbpCJiPPw4,10622
-invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,4580
-invar/shell/mutate_cmd.py,sha256=GwemiO6LlbGCBEQsBFnzZuKhF-wIMEl79GAMnKUWc8U,5765
-invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
-invar/shell/perception.py,sha256=TyH_HpqyKkmE3-zcU4YyBG8ghwJaSFeRC-OQMVBDTbQ,3837
-invar/shell/property_tests.py,sha256=1ycvPXA0_2cnJP5lIP4HukL8VQshWcc7xJ3Md-iacLQ,7408
-invar/shell/prove.py,sha256=jPxLKgxAjako2dqgcxwe2bcfdbZA_Cj1acayTWRVtrg,15644
-invar/shell/prove_accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
-invar/shell/prove_cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
-invar/shell/prove_fallback.py,sha256=UOhD6c6YIVcR1Q3wG6W9ySMnuJXZ6x8hTL6O1HG5zrU,9628
-invar/shell/templates.py,sha256=joJA6ASSCGi8GcApPY6kxoSbrFElpsxVhHVzJGAnsXc,15083
-invar/shell/test_cmd.py,sha256=DKnlSbUydKq6skHLLKhZGg42qTAKtiLxrTU3oyFDmAo,4189
-invar/shell/testing.py,sha256=2aG_4-VTRmvFKGz7IOdY_o0QqP29fs5yUgV00QUL0Js,8766
-invar/shell/update_cmd.py,sha256=PbXN0UwmUcFmy0IKFmyO9oBXEjwy77gZG3j7gFJA8lA,6317
-invar/templates/CLAUDE.md.template,sha256=dBZkhmBQhSZ-uEDWozlZsrrt4Qo8xhzx4XYJiJ9gi8A,2943
-invar/templates/INVAR.md,sha256=BDihvntGUXHeaSlwVNA8HSTidfQFH4dCqmzZtEIPPWo,6635
-invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
-invar/templates/aider.conf.yml.template,sha256=hPWt5-_q53Ex00v-fNL-80db8wNdxT2q8PLbpbO6GQw,842
-invar/templates/context.md.template,sha256=D4mIAbj33io5_xe0uTcZh5JuSfpzXpv_t5h6k0B6UIA,1168
-invar/templates/cursorrules.template,sha256=AYZumL5oSXuvfs3HZ6fziDvbaAWaDCvGf-CFSXmFHsg,987
-invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE88YOlL5IZ93wkjCgQGo,1737
-invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
-invar/templates/commands/review.md,sha256=fIOt_aFxn5KlDptJmE1USlmNbJs-_5sZgn6_ABl-S6w,6037
-invar/templates/examples/README.md,sha256=dkS5QI1mzDsQp23dJGCoTZzM_1SQg1vos37sZAS-Wsc,485
-invar/templates/examples/contracts.py,sha256=VFlu9N1Zg8YcTO3UYeSvh1HCBPGZWFktpQN_jtE8ue0,3204
-invar/templates/examples/core_shell.py,sha256=HhTAxo3M7MhiQn05I3BClx43pshtxOnEjtVh974PFXc,3820
-invar_tools-1.2.0.dist-info/METADATA,sha256=WbedCOQ1a6lN9Px4qJScVlzd5xLnnvzHDdC7Stymg1g,11534
-invar_tools-1.2.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.2.0.dist-info/entry_points.txt,sha256=C7R-M4tvNd6UHDOcG98RQVS9plLyJ-c939z8qLLzTj8,46
-invar_tools-1.2.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.2.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.2.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.2.0.dist-info/RECORD,,

invar_tools-1.2.0.dist-info/entry_points.txt

@@ -1,2 +0,0 @@
-[console_scripts]
-invar = invar.shell.cli:app