LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Python

proofslice

ProofSlice prototype

PythonEmerging

Stars

—

Forks

—

Contributors

1

Last push

8mo ago

Recent commits

Latest commits.

Add support for agnostic ifs
e0576b2Peter Backeman8mo ago
Add support for Lt(<)
a1262d9Peter Backeman8mo ago
Change name in help
50e2473Peter Backeman8mo ago
Add example nested ifs
af8e563Peter Backeman8mo ago
Change how SSA transformation work
a545555Peter Backeman8mo ago

Add check for ununrolled loops

3759561Peter Backeman9mo ago

Add support for if without else

760cb2dPeter Backeman9mo ago

Merge branch 'main' of https://github.com/ptrbman/proofslice

49905e0Peter Backeman9mo ago

Top contributors

Builders behind this project.