Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / reilabs/lampe issues and pull requests

#36 - (wip) String literals

Pull Request - State: open - Opened by mpenciak 29 days ago

#35 - Update targeted Noir version

Issue - State: open - Opened by utkn about 1 month ago

#34 - Move Lean examples to a separate file

Issue - State: open - Opened by utkn about 1 month ago

#33 - Various small enhancements

Pull Request - State: open - Opened by utkn about 1 month ago
Labels: enhancement

#32 - chore: bump lean and mathlib to 4.15.0

Pull Request - State: open - Opened by mpenciak about 1 month ago

#31 - Minimize Mathlib imports

Pull Request - State: closed - Opened by mpenciak about 1 month ago

#30 - Higher order functions

Pull Request - State: closed - Opened by utkn about 1 month ago

#29 - Higher order functions

Pull Request - State: closed - Opened by utkn about 1 month ago
Labels: enhancement

#28 - Lens support

Pull Request - State: closed - Opened by utkn about 2 months ago
Labels: enhancement

#27 - Extended tuple, array, slice support

Pull Request - State: closed - Opened by utkn about 2 months ago
Labels: enhancement

#26 - Calldecl support

Pull Request - State: closed - Opened by utkn about 2 months ago
Labels: enhancement

#25 - Cast builtin and syntax refinements

Pull Request - State: closed - Opened by utkn about 2 months ago
Labels: enhancement

#24 - Extractor improvements

Pull Request - State: closed - Opened by utkn about 2 months ago
Labels: enhancement

#23 - Clarify builtins

Issue - State: open - Opened by utkn 2 months ago
Labels: help wanted, question

#23 - Clarify builtins

Issue - State: open - Opened by utkn 2 months ago
Labels: help wanted, question

#22 - Struct support

Pull Request - State: closed - Opened by utkn 2 months ago - 1 comment
Labels: enhancement

#21 - Proof simplifications & additional lemmas

Pull Request - State: open - Opened by utkn 2 months ago
Labels: enhancement

#20 - Trait support

Pull Request - State: closed - Opened by utkn 2 months ago
Labels: enhancement

#20 - Trait support

Pull Request - State: closed - Opened by utkn 2 months ago
Labels: enhancement

#19 - Additional lemmas

Issue - State: open - Opened by utkn 3 months ago

#18 - Basic traits

Pull Request - State: closed - Opened by kustosz 3 months ago

#18 - Basic traits

Pull Request - State: closed - Opened by kustosz 3 months ago

#17 - Traits

Pull Request - State: closed - Opened by kustosz 3 months ago

#17 - Traits

Pull Request - State: closed - Opened by kustosz 3 months ago

#16 - Lambda support

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#15 - Update to Lean v4.12.0

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#15 - Update to Lean v4.12.0

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#14 - If-then-else support

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#14 - If-then-else support

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#13 - Introduction rules for builtins

Pull Request - State: closed - Opened by utkn 3 months ago - 1 comment
Labels: enhancement

#13 - Introduction rules for builtins

Pull Request - State: closed - Opened by utkn 3 months ago - 1 comment
Labels: enhancement

#12 - Cleanup examples

Pull Request - State: closed - Opened by kustosz 3 months ago

#12 - Cleanup examples

Pull Request - State: closed - Opened by kustosz 3 months ago

#11 - Revive struct support

Issue - State: open - Opened by kustosz 3 months ago

#11 - Revive struct support

Issue - State: closed - Opened by kustosz 3 months ago

#9 - Semantics for if-then-(else)

Issue - State: closed - Opened by kustosz 3 months ago

#9 - Semantics for if-then-(else)

Issue - State: closed - Opened by kustosz 3 months ago

#8 - Support for traits

Issue - State: open - Opened by kustosz 3 months ago

#8 - Support for traits

Issue - State: closed - Opened by kustosz 3 months ago

#7 - Syntactic support for reference "lenses"

Issue - State: closed - Opened by kustosz 3 months ago

#6 - Lambdas

Issue - State: closed - Opened by kustosz 3 months ago

#5 - Separation Logic Based Hoare Semantics

Pull Request - State: closed - Opened by kustosz 3 months ago

#4 - Github actions (CI)

Pull Request - State: closed - Opened by utkn 3 months ago
Labels: enhancement

#3 - Many builtin implementations

Pull Request - State: closed - Opened by utkn 3 months ago - 2 comments
Labels: enhancement

#2 - Slice and uint builtints

Pull Request - State: closed - Opened by utkn 4 months ago
Labels: enhancement

#1 - Implement proper Lean emission

Pull Request - State: closed - Opened by iamrecursion 5 months ago
Labels: enhancement