QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Labels Milestones

New Issue
30 Open 28 Closed
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
Warning for executing stateful functions in non ANF positions
enhancement
#467 opened 2023-07-01 01:13:01 +09:00 by zxq9
Destructuring in lambda function headers
enhancement
#455 opened 2023-05-30 00:23:42 +09:00 by zxq9
Tuple projections
effort: low
enhancement
#452 opened 2023-05-13 18:30:55 +09:00 by zxq9
Partial function application
effort: medium
enhancement
#451 opened 2023-05-13 18:23:15 +09:00 by zxq9
Function composition operator
effort: low
enhancement
#450 opened 2023-05-13 18:17:57 +09:00 by zxq9
Partial reverse application operator
effort: low
enhancement
#449 opened 2023-05-13 18:16:47 +09:00 by zxq9
introduce rich documentation capabilities for functions & entrypoints
enhancement
#447 opened 2023-04-27 15:32:47 +09:00 by zxq9
.aec files - saved compiled contracts which can be reused by the compiler
effort: medium
enhancement
#446 opened 2023-04-07 20:48:35 +09:00 by zxq9
Unclear error if a cycle dependency between namespaces
enhancement
2
#444 opened 2022-12-16 17:01:29 +09:00 by davidyuk
All includes handled relative to the main file
enhancement
2
#443 opened 2022-12-16 16:11:36 +09:00 by davidyuk
Provide meaningful symbols for lambdas
enhancement
#425 opened 2022-11-06 00:05:52 +09:00 by zxq9
Consider is operator to check variant of datatypes
enhancement
1
#422 opened 2022-10-31 16:26:38 +09:00 by zxq9
Pointwise state modifications
effort: medium
enhancement
3
#416 opened 2022-09-16 17:37:16 +09:00 by zxq9
Module system
effort: high
enhancement
1
#400 opened 2022-07-09 03:55:34 +09:00 by zxq9
Improve inference of polymorphic types
enhancement
#392 opened 2022-06-17 20:52:26 +09:00 by ghallak
Resolve field constraints by the types of the fields
enhancement
#381 opened 2022-05-03 22:49:30 +09:00 by ghallak
Warnings should be reported when there are compiler errors
enhancement
#366 opened 2022-01-25 22:06:14 +09:00 by ghallak
Warnings for negative spends and division by zero do not evaluate expressions
enhancement
#356 opened 2021-11-24 19:04:55 +09:00 by ghallak
Add warning for non-exhaustive patterns
enhancement
#355 opened 2021-11-24 18:59:49 +09:00 by ghallak
Also support ChannelOffChainTx introspection in auth
consensus-breaking
effort: high
enhancement
#290 opened 2020-11-26 21:56:16 +09:00 by uwiger