This website requires JavaScript.
Explore
Help
Sign In
QPQ-AG
/
sophia
Watch
10
Star
0
Fork
0
You've already forked sophia
Code
Issues
41
Pull Requests
5
Actions
Packages
Projects
Releases
16
Wiki
Activity
Labels
Milestones
New Issue
3 Open
1 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
duplicate
enhancement
help wanted
invalid
pig lipstick
question
wontfix
Milestone
All milestones
No milestones
Closed milestones
iris
Project
All projects
No project
Author
All users
Assignee
All assignees
No assignee
Pickmick
dimitar.p.ivanov
gchewy
hans_sv
pharpend
spivee
uwiger
zxq9
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
3 Open
1 Closed
Close
Label
Clear labels
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
duplicate
enhancement
help wanted
invalid
pig lipstick
question
wontfix
Milestone
No milestone
Closed milestones
iris
Projects
Clear projects
Assignee
Clear assignees
No assignee
Pickmick
dimitar.p.ivanov
gchewy
hans_sv
pharpend
spivee
uwiger
zxq9
Hash of source code should contain files included into main contract
bug
todo-in-rewrite
#478
opened
2023-08-04 17:42:22 +09:00
by davidyuk
Add annotations in the parser where they are left out
bug
todo-in-rewrite
#389
opened
2022-06-13 20:29:38 +09:00
by ghallak
Lambda types forget stateful constraint
bug
todo-in-rewrite
#217
opened
2020-02-08 01:00:30 +09:00
by zxq9