OpShin/opshin issues and pull requests

#310 - Bump hypothesis from 6.92.2 to 6.94.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago - 2 comments
Labels: dependencies, python

#309 - Add support for dictionary comprehensions

Pull Request - State: closed - Opened by nielstron 9 months ago

#308 - Bump hypothesis from 6.92.2 to 6.93.2

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

#307 - Bump hypothesis from 6.92.2 to 6.93.0

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

#305 - Feat/allow empty lists

Pull Request - State: closed - Opened by nielstron 9 months ago

#304 - Use constant nth field access where possible

Pull Request - State: closed - Opened by nielstron 9 months ago

#303 - New minor version

Pull Request - State: closed - Opened by nielstron 9 months ago

#302 - Add proper tests for return statements

Pull Request - State: closed - Opened by nielstron 9 months ago

#301 - Add support for continue and break statements

Issue - State: open - Opened by nielstron 9 months ago - 2 comments
Labels: enhancement, bug bounty, bb: medium

#300 - Add testcases for the hebi-inherited return-anywhere feature

Issue - State: closed - Opened by nielstron 9 months ago - 1 comment
Labels: enhancement

#299 - Re-allow retyping for variables that are not bound by any function

Issue - State: open - Opened by nielstron 9 months ago
Labels: enhancement, bug bounty, bb: medium

#298 - Disallow retyping of variables to incompatible types

Pull Request - State: closed - Opened by nielstron 9 months ago

#297 - Remove the need for an explicit statemonad

Pull Request - State: closed - Opened by nielstron 10 months ago - 2 comments

#296 - Improve error messages for union type and make merging stronger

Pull Request - State: closed - Opened by nielstron 10 months ago

#295 - Add support for builtin list slicing

Pull Request - State: closed - Opened by nielstron 10 months ago

#294 - Make binary operations more accessible

Pull Request - State: closed - Opened by nielstron 10 months ago

#293 - Copy in right places to avoid reference capturing

Pull Request - State: closed - Opened by nielstron 10 months ago

#292 - Bump black from 23.11.0 to 23.12.0

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

#291 - Bump hypothesis from 6.88.1 to 6.92.0

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

#290 - Bump hypothesis from 6.88.1 to 6.91.0

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

#289 - Bump hypothesis from 6.88.1 to 6.90.0

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

#288 - Bump hypothesis from 6.88.1 to 6.89.1

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

#287 - Bump hypothesis from 6.88.1 to 6.89.0

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

#286 - Bump black from 23.10.1 to 23.11.0

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

#285 - Extend assert sum example and ensure determinism among union types

Pull Request - State: closed - Opened by nielstron 11 months ago - 1 comment

#284 - Inline constant expressions that are only read once

Pull Request - State: open - Opened by nielstron 11 months ago

#283 - Fix nondeterministic compilation

Pull Request - State: closed - Opened by nielstron 11 months ago

#282 - Non-deterministic behavior in two different scenarios

Issue - State: closed - Opened by ross-spencer 11 months ago - 8 comments
Labels: bug

#281 - Add a test case for forbidden overwrites

Pull Request - State: closed - Opened by nielstron 11 months ago

#280 - Feat/restructure opshin contract type

Pull Request - State: closed - Opened by nielstron 11 months ago

#279 - Plutus Blueprint support

Pull Request - State: closed - Opened by nielstron 11 months ago
Labels: hacktoberfest-accepted

#278 - Flatten comparison chains generated from taking apart chains

Pull Request - State: closed - Opened by nielstron 11 months ago

#277 - Allow ByteString and bytearray synonyms for bytes as type annotations

Pull Request - State: closed - Opened by nielstron 12 months ago

#276 - Enable decode/str for ByteString

Issue - State: closed - Opened by ross-spencer 12 months ago - 3 comments

#275 - Bump black from 23.9.1 to 23.10.1

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, python

#274 - Bump black from 23.9.1 to 23.10.0

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

#273 - Bump hypothesis from 6.87.1 to 6.88.1

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, python

#272 - Bump pre-commit from 3.4.0 to 3.5.0

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, python

#271 - Bump hypothesis from 6.87.1 to 6.88.0

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

#270 - Feat/len dict

Pull Request - State: closed - Opened by nielstron about 1 year ago
Labels: hacktoberfest-accepted

#269 - Support automatic constructor ids introduced in pycardano

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

#268 - Feat/prevent double import

Pull Request - State: closed - Opened by nielstron about 1 year ago
Labels: hacktoberfest-accepted

#267 - Introduce a proper configuration object

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

#266 - Bump hypothesis from 6.84.1 to 6.87.0

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

#265 - Enable code reuse through patternization

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

#264 - Bump pluthon from 0.3.9 to 0.4.0

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

#263 - Bump hypothesis from 6.84.1 to 6.86.2

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

#262 - Bump hypothesis from 6.84.1 to 6.86.1

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

#261 - Comparison chaining evaluates values several times

Issue - State: open - Opened by nielstron about 1 year ago
Labels: bug, bug bounty, bb: medium

#260 - Optimization: Function inlining

Issue - State: open - Opened by nielstron about 1 year ago - 1 comment
Labels: enhancement, bug bounty, bb: medium

#259 - Bump hypothesis from 6.84.1 to 6.84.3

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

#258 - Bump black from 23.7.0 to 23.9.1

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

#257 - Bump actions/checkout from 3 to 4

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

#256 - Bump pytest from 7.4.1 to 7.4.2

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

#255 - Bump hypothesis from 6.84.1 to 6.84.2

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

#254 - Bump hypothesis from 6.84.0 to 6.84.1

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

#253 - Add code to apply UPLC parameters to a contract

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

#252 - Add convenience function to load contract

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

#251 - Bump hypothesis from 6.83.1 to 6.84.0

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

#250 - Implement integrity check for lists and dicts

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

#249 - Bump hypothesis from 6.82.7 to 6.83.1

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

#248 - Bump pytest from 7.4.0 to 7.4.1

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

#247 - Bump pre-commit from 3.3.3 to 3.4.0

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

#246 - Feat/copy only attributes

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

#245 - Fix/attribute has no lineno

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

#244 - Bump hypothesis from 6.81.1 to 6.82.7

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

#243 - Bump hypothesis from 6.81.1 to 6.82.6

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

#242 - Error when checking instance of Datum containing Union Type

Issue - State: closed - Opened by chrissiwaffler about 1 year ago - 4 comments
Labels: bug

#241 - Builtin Function to check integrity of Datums

Issue - State: closed - Opened by nielstron about 1 year ago - 2 comments
Labels: enhancement

#240 - Bump hypothesis from 6.81.1 to 6.82.4

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

#239 - Feat/force nothing three params

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

#238 - Feat/chaining

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

#237 - Fix/missing locations

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

#236 - Bump hypothesis from 6.81.1 to 6.82.3

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

#235 - Support for keyword arguments in function calls

Issue - State: closed - Opened by chrissiwaffler about 1 year ago - 3 comments
Labels: enhancement, bug bounty, bb: medium

#234 - Bump hypothesis from 6.81.1 to 6.82.2

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

#233 - Fix usage of FrozenList/frozenlist

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

#232 - Fix an error where UnionType was always allowed to be compared with List[X]

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

#231 - Bump hypothesis from 6.81.1 to 6.82.0

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

#229 - Bump hypothesis from 6.81.1 to 6.81.2

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

#228 - Bump black from 23.3.0 to 23.7.0

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

#227 - Bump hypothesis from 6.80.1 to 6.81.1

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

#226 - Allow retyping

Pull Request - State: closed - Opened by nielstron about 1 year ago - 2 comments

#225 - Bump hypothesis deadline to 1s or more per default

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

#224 - Allow changing types (and Union types after branching)

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

#223 - Allow accessing attributes with shared name but differing position

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

#222 - Bump hypothesis from 6.80.0 to 6.80.1

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

#221 - Automatically derive non-classes from type checks

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

#220 - Make isinstance more powerful

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

#219 - Automatically wrap boolean operations in an implicit cast to bool

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

#218 - Bump poetry-bumpversion from 0.3.0 to 0.3.1

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

#217 - Fix/int from str

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

#216 - Add polymorphic constructors for bool and bytes

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

#215 - Polymorphic constructors

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

#214 - implicitly wrap conditions in a bool() constructor

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

#213 - Restore Python 3.11

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

#212 - Provide executables

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

#211 - Bump hypothesis from 6.79.3 to 6.80.0

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

#210 - Bump hypothesis from 6.79.1 to 6.79.3

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

#209 - Bump pluthon from 0.3.7 to 0.3.9

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

GitHub / OpShin/opshin issues and pull requests