OpShin/opshin issues and pull requests

#208 - Bump pytest from 7.3.2 to 7.4.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#207 - Bump hypothesis from 6.79.1 to 6.79.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#206 - Stringification

Pull Request - State: closed - Opened by nielstron over 1 year ago

#205 - Introduce exponentiation by squaring

Pull Request - State: closed - Opened by nielstron over 1 year ago

#204 - Introduce a bitmap implementation and aux functionality

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#203 - Bump hypothesis from 6.75.6 to 6.79.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#202 - Bump hypothesis from 6.75.6 to 6.78.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#201 - Bump pre-commit from 3.3.2 to 3.3.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#200 - Bump hypothesis from 6.75.6 to 6.78.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#199 - Bump hypothesis from 6.75.6 to 6.78.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#198 - Bump uplc from 0.6.6 to 0.6.7

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#197 - Bump pytest from 7.3.1 to 7.3.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#196 - Fix typo in type_inference.py

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#195 - Error when causing errors in list comprehensions

Issue - State: closed - Opened by nielstron over 1 year ago - 2 comments
Labels: bug

#194 - Bump hypothesis from 6.75.6 to 6.76.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#193 - Implement support for formatted strings

Issue - State: closed - Opened by chrissiwaffler over 1 year ago - 2 comments
Labels: enhancement

#192 - fix: wrong line counting

Pull Request - State: closed - Opened by chrissiwaffler over 1 year ago - 3 comments

#191 - Implement List Slicing

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement

#190 - Fix deriving the constant type of recursive plutus data

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#189 - Building the interval library with constant folding fails

Issue - State: closed - Opened by nielstron over 1 year ago
Labels: bug

#188 - Bump hypothesis from 6.75.6 to 6.75.9

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#187 - Bump hypothesis from 6.75.6 to 6.75.7

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#186 - Update version

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: dependencies

#185 - Create a proper temporary directory for importing the file (thread-safe)

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#184 - Bump hypothesis from 6.75.3 to 6.75.6

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#183 - Bump JRubics/poetry-publish from 1.16 to 1.17

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, github_actions

#182 - Added the vesting with fee and oracle check example

Pull Request - State: closed - Opened by cardano-apexpool over 1 year ago - 1 comment

#181 - Add version cli flag

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: documentation

#180 - Catch any error when linting

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment

#179 - add linting outputs to all exceptions and assertions

Issue - State: closed - Opened by chrissiwaffler over 1 year ago

#178 - Fix/handle missing validator

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#177 - Fix/no-validator-func

Pull Request - State: closed - Opened by chrissiwaffler over 1 year ago - 1 comment

#176 - Add check for number of parameters of validator

Pull Request - State: closed - Opened by nielstron over 1 year ago

#175 - (Invalid) script produces an unexpected exception

Issue - State: closed - Opened by chrissiwaffler over 1 year ago - 2 comments

#174 - Unexpected output of compiling/linting a smart contract w/o a validator function

Issue - State: closed - Opened by chrissiwaffler over 1 year ago - 3 comments

#173 - Add a --version cli option for opshin

Issue - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#172 - Warn the user when they are defining b"..." hex bytestrings

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment

#171 - Add a compilation purpose `lib` for compiling / linting libraries

Pull Request - State: closed - Opened by nielstron over 1 year ago - 2 comments
Labels: enhancement

#170 - Add flags for constant folding as experimental feature

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#169 - Add flags for constant folding as experimental feature

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#168 - Optimization levels for OpShin

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement, good first issue

#167 - Test arbitrarily generated opshin validators with hypothesmith

Issue - State: open - Opened by juliusfrost over 1 year ago - 5 comments
Labels: enhancement, bug bounty, bb: medium

#166 - Add first version of constant foldign that propagates intermediates

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment

#165 - Move docs to separate branch

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement, meta, bug bounty, bb: minor

#164 - Shebang for distinction of python files #159

Pull Request - State: closed - Opened by chrissiwaffler over 1 year ago - 3 comments

#163 - Feat/bytes hex

Pull Request - State: closed - Opened by nielstron over 1 year ago

#162 - Add bytes.hex()

Issue - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#161 - Implement proper mapping of folded constant lists and dicts directly to constant data

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#160 - Linter/Compiler: output more than one syntactic error at the same time

Issue - State: open - Opened by chrissiwaffler over 1 year ago - 3 comments
Labels: enhancement

#159 - Add a way to distinct between opshin files and normal python files

Issue - State: closed - Opened by chrissiwaffler over 1 year ago - 7 comments

#158 - Bump pre-commit from 3.3.1 to 3.3.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#157 - Add a linter

Pull Request - State: closed - Opened by chrissiwaffler over 1 year ago - 3 comments

#156 - replace old imperatorlang url

Pull Request - State: closed - Opened by chrissiwaffler over 1 year ago

#155 - Bump hypothesis from 6.75.2 to 6.75.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#154 - Add support for comparison chaining

Issue - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement

#153 - Bump hypothesis from 6.75.1 to 6.75.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#152 - Bump uplc from 0.6.4 to 0.6.5

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#151 - Bump pre-commit from 3.3.0 to 3.3.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#150 - Bump pre-commit from 3.2.2 to 3.3.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#149 - Wrong type

Issue - State: closed - Opened by SebastianKuppa over 1 year ago - 1 comment

#148 - Bump hypothesis from 6.72.1 to 6.75.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#147 - Bump hypothesis from 6.72.1 to 6.74.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#146 - Bump hypothesis from 6.72.1 to 6.74.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#145 - Bump hypothesis from 6.72.1 to 6.72.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#144 - Bump hypothesis from 6.72.1 to 6.72.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#143 - Add parameter check when using native build command

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement, good first issue

#142 - Fix scoping for shadowed variables

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: bugfix

#141 - Feat/restructure tests

Pull Request - State: closed - Opened by nielstron over 1 year ago

#140 - Add failing testcase handling function access to global variables

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bug

#139 - Constant term pre-evaluation

Pull Request - State: closed - Opened by nielstron over 1 year ago - 5 comments

#138 - Bump hypothesis from 6.72.0 to 6.72.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#137 - Bump hypothesis from 6.71.0 to 6.72.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, python

#136 - Implement to_cbor, mapping to serialiseData

Pull Request - State: closed - Opened by nielstron over 1 year ago

#135 - Enable direct access to uplc builtins

Pull Request - State: closed - Opened by nielstron over 1 year ago

#134 - Add all UPLC builtins as Python functions

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement

#133 - Fix overzealous optimization of unsafe type casts

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#132 - Feat/overwrite import location

Pull Request - State: closed - Opened by nielstron over 1 year ago

#131 - Fix/no ret annotation

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#130 - Fix compiling bodies that only contain pass

Pull Request - State: closed - Opened by nielstron over 1 year ago
Labels: bugfix

#129 - Remove constant expressions (such as multiline comments)

Pull Request - State: closed - Opened by nielstron over 1 year ago - 3 comments

#128 - Feat/dict subscript

Pull Request - State: closed - Opened by nielstron over 1 year ago

#127 - Compile all example scripts

Pull Request - State: closed - Opened by nielstron over 1 year ago

#126 - Fix upcasting by using annotated assignment

Pull Request - State: closed - Opened by nielstron over 1 year ago

#125 - Bump hypothesis from 6.70.2 to 6.71.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#124 - Bump pytest from 7.2.2 to 7.3.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#123 - Add function to load a contract from directory/file

Issue - State: closed - Opened by nielstron over 1 year ago
Labels: enhancement, good first issue

#122 - Split building and artifacts creation

Pull Request - State: closed - Opened by nielstron over 1 year ago

#121 - Use functools.singledispatch to create overloaded functions

Issue - State: open - Opened by nielstron over 1 year ago
Labels: enhancement

#120 - Feat/simplify interval

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment

#119 - Add support for formal verification tools

Issue - State: open - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement

#118 - Make all plutusdata definitions used internally hashable

Pull Request - State: closed - Opened by nielstron over 1 year ago

#117 - Make PlutusData frozen per default

Issue - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: enhancement

#116 - Introduce dict.items and allow tuple deconstruction in for loops

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment

#115 - Default to return/parameter type Anything

Pull Request - State: closed - Opened by nielstron over 1 year ago

#114 - Bump pre-commit from 3.2.1 to 3.2.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#113 - Bump hypothesis from 6.70.1 to 6.70.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#112 - Force the user to specify a purpose for the validator script

Pull Request - State: closed - Opened by nielstron over 1 year ago - 1 comment
Labels: breaking

#111 - Move the plutus ledger definition into a seperate module

Pull Request - State: closed - Opened by nielstron over 1 year ago

#110 - Add (non-command-line) option to choose a validator name

Pull Request - State: closed - Opened by nielstron over 1 year ago

#109 - Bump black from 22.12.0 to 23.3.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

GitHub / OpShin/opshin issues and pull requests