This repository has been archived by the owner on Sep 7, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 55
Issues: accordproject/ergo
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Ergo/ergoc version mismatch?
1.0-build
1.0
Type: Bug π
Something isn't working
Type: Chore π§Ό
#305
opened Jul 18, 2018 by
kach
Support for instanceof
Range: Semantics
Range: Typing
Type: Feature Request ποΈ
New feature or request
#36
opened Mar 14, 2018 by
jeromesimeon
Refactor backend module instantiation
Category: Backend
Category: Coq
Category: QCert
Range: Typing
#39
opened Mar 23, 2018 by
jeromesimeon
2 of 4 tasks
Generalize production of Ergo runtime
1.0-compiler
1.0
Category: QCert
Type: Feature Request ποΈ
New feature or request
#57
opened Apr 13, 2018 by
jeromesimeon
3 tasks done
Emacs mode for Ergo
Difficulty: Medium
Help Wanted π
Extra attention is needed
Range: Tooling
#102
opened Apr 25, 2018 by
jeromesimeon
Java target for Ergo
Category: Backend
Type: Feature Request ποΈ
New feature or request
#104
opened Apr 25, 2018 by
jeromesimeon
4 of 6 tasks
Monetary Amount Support
Difficulty: Challenging
Help Wanted π
Extra attention is needed
Type: Feature Request ποΈ
New feature or request
Type: Question β
Further information is requested
#187
opened May 25, 2018 by
dselman
Emitted events should have a contract relationship
1.0-feature
1.0
Type: Feature Request ποΈ
New feature or request
#200
opened Jun 5, 2018 by
mttrbrts
Clause declarations should be modular to allow reuse
1.0-feature
1.0
Type: Feature Request ποΈ
New feature or request
Version tag on .ergo files
1.0-feature
1.0
Difficulty: Starter
Good First Issue
Good for newcomers
Type: Chore π§Ό
Type: Documentation π
Information and guides for clarification

#245
opened Jun 25, 2018 by
kach
Improvements to location information
1.0-QA
1.0
Range: Tooling
Type: Feature Request ποΈ
New feature or request
#254
opened Jul 1, 2018 by
jeromesimeon
1 of 2 tasks
Globalization for strings
Type: Feature Request ποΈ
New feature or request
#269
opened Jul 9, 2018 by
mttrbrts
Add support for relationships
1.0-feature
1.0-typing
1.0
Type: Feature Request ποΈ
New feature or request
Add some testing support for the REPL
1.0-QA
1.0
Difficulty: Starter
Good First Issue
Good for newcomers
Type: Tests π§ͺ
Test coverage

#279
opened Jul 10, 2018 by
jeromesimeon
There are lots of contexts; possibly merge some in the future? Kind of confusing right now.
1.0-QA
1.0
Type: Chore π§Ό
#311
opened Jul 19, 2018 by
kach
Implement DateTime within Ergo
Difficulty: Starter
Good First Issue
Good for newcomers
Help Wanted π
Extra attention is needed

#345
opened Jul 25, 2018 by
kach
Printing branded values with no brands is wrong
1.0-typing
1.0
Type: Bug π
Something isn't working
#420
opened Aug 16, 2018 by
kach
Dispatching requests to contracts: requirements and semantics!
1.0-feature
1.0
Range: Semantics
Type: Question β
Further information is requested
#550
opened Feb 15, 2019 by
jeromesimeon
18 tasks
Parsing dates in online REPL
Type: Bug π
Something isn't working
#553
opened Feb 20, 2019 by
jeromesimeon
Should a contract be able to specify when it is considered Further information is requested
completed
?
1.0-feature
1.0
Type: Question β
#595
opened Mar 29, 2019 by
jeromesimeon
Add support for "ErgoDoc"
Difficulty: Challenging
Range: Tooling
Range: Usability
Type: Documentation π
Information and guides for clarification
Type: Feature Request ποΈ
New feature or request
#613
opened May 1, 2019 by
dselman
Ambiguous concept definitions are not highlighted
1.0-feature
1.0-typing
1.0
#723
opened May 16, 2019 by
adrianffletcher
Syntax for invoking clauses and alignment with terminology in CLI&API
1.0-feature
1.0
Difficulty: Medium
Range: Syntax
Range: Usability
#710
opened Nov 13, 2019 by
jeromesimeon
3 tasks
Compiled JS always declares emitted
org.accordproject.base.Event
1.0-typing
1.0
#714
opened Nov 22, 2019 by
mttrbrts
Previous Next
ProTip!
no:milestone will show everything without a milestone.