Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Issues: accordproject/ergo

43 Open 216 Closed
43 Open 216 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Depreciation and not recognized errors
#887 opened Oct 23, 2022 by semihtheresearcher
1
ergo compile issue - Unknown arguments: ./model/model.cto, ./logic/logic.ergo
#877 opened Aug 28, 2022 by ajamestech
Maintainers Needed Help Wanted 🆘 Extra attention is needed Need More Info ℹ️ Extra information is required Type: Discussion 🗣 Type: Feature Request 🛍️ New feature or request Type: Need Investigation 🔬 Type: Question ❓ Further information is requested
#876 opened Jul 13, 2022 by dselman
4
Cannot build from sources due to incompatible coq-jsast.3.0.0
#874 opened Jul 5, 2022 by prekel
Optional DateTime always return TRUE for some(myDate)
#851 opened Feb 25, 2022 by martinhalford
3
Can't emit an array of obligations formed from an array of values Difficulty: Medium Type: Feature Request 🛍️ New feature or request
#838 opened Jul 3, 2021 by frbrkoala
@jeromesimeon
1
GitHub Actions code coverage step doesn't report properly on Windows 1.0-build Type: Bug 🐛 Something isn't working Type: Need Investigation 🔬
#805 opened Apr 8, 2021 by jeromesimeon
types definitions Range: Typing Range: Usability Type: Feature Request 🛍️ New feature or request
#785 opened Nov 3, 2020 by j4m3sb0mb
@j4m3sb0mb
1
Refactor, simplify and clean up Engine API 1.0-compiler Backend: WASM WebAssembly Backend Category: API
#769 opened Aug 14, 2020 by jeromesimeon
3 of 7 tasks
Document and Clarify Determinism of Ergo Range: Semantics Type: Discussion 🗣 Type: Documentation 📝 Information and guides for clarification
#762 opened Jul 25, 2020 by jeromesimeon
1
Wasm backend: discussion on Datetime support Backend: WASM WebAssembly Backend
#759 opened Jul 18, 2020 by pkel
@jeromesimeon @pkel
1
Align Ergo throw/enforce errors with the standard Accord Project Error hierarchy
#755 opened Apr 13, 2020 by jeromesimeon
Cicero should not allow stateful clause templates without an init method
#735 opened Feb 17, 2020 by adrianffletcher
Provide default init method implementation Difficulty: Challenging Range: Semantics Range: Syntax Range: Usability Type: Feature Request 🛍️ New feature or request
#734 opened Feb 11, 2020 by adrianffletcher
22
Unexpected behaviour of DateTime getDay method
#731 opened Jan 10, 2020 by adrianffletcher
5
Wasm Interoperability Backend: WASM WebAssembly Backend Difficulty: Challenging Type: Discussion 🗣 Type: Feature Request 🛍️ New feature or request
#727 opened Dec 18, 2019 by jeromesimeon
@jeromesimeon @pkel
7
Ergo 1.0 Goals and Feature List 1.0-build 1.0-compiler 1.0-feature 1.0-QA 1.0-typing 1.0
#725 opened Dec 13, 2019 by jeromesimeon
@jeromesimeon
Determination of whether a clause is stateful is confusing 1.0-feature 1.0-typing 1.0
#722 opened Nov 27, 2019 by DianaLease
2
Compiled JS always declares emitted org.accordproject.base.Event 1.0-typing 1.0
#714 opened Nov 22, 2019 by mttrbrts
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
Ambiguous concept definitions are not highlighted 1.0-feature 1.0-typing 1.0
#723 opened May 16, 2019 by adrianffletcher
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
9
Should a contract be able to specify when it is considered completed? 1.0-feature 1.0 Type: Question ❓ Further information is requested
#595 opened Mar 29, 2019 by jeromesimeon
1
Parsing dates in online REPL Type: Bug 🐛 Something isn't working
#553 opened Feb 20, 2019 by jeromesimeon
2
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
4
ProTip! Exclude everything labeled bug with -label:bug.