LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

PythonEmerging

Stars

—

Forks

—

Contributors

8

Last push

6mo ago

Recent commits

Latest commits.

Updates to the audit wall allowing (1) Directories to be white listed for writes and (2) A complete disabiling of the audits. WARNING: Turning off the audits may have consequences unknown to me.... the idea would be to run them in a container so be careful
eb6031eESPR3SS06mo ago
Bump version to 0.0.99
aca6832Phillip Schanely7mo ago
Enable dict view copies only for 3.10+
c02985dPhillip Schanely7mo ago
Transform dict views across realization boundaries
dd99cefPhillip Schanely7mo ago
Bump version to 0.0.98
cab143aPhillip Schanely

7mo ago

Update changelog

7703c41Phillip Schanely7mo ago

Handle missing as_long in z3=4.15.4.0

4cc192bPhillip Schanely7mo ago

Temporarily disable icontract test

4728916Phillip Schanely7mo ago

Top contributors

Builders behind this project.