Search results

Depreciation and not recognized errors

Status: Open.

#887 In accordproject/ergo;

· alisemihc opened on Oct 23, 2022

ergo compile issue - Unknown arguments: ./model/model.cto, ./logic/logic.ergo

Status: Open.

#877 In accordproject/ergo;

· ajamestech opened on Aug 28, 2022

Maintainers Needed

Help Wanted 🆘Extra attention is neededExtra attention is needed

Need More Info ℹ️Extra information is requiredExtra information is required

Type: Discussion 🗣

Type: Feature Request 🛍️New feature or requestNew feature or request

Type: Need Investigation 🔬

Type: Question ❓Further information is requestedFurther information is requested

Status: Open.

#876 In accordproject/ergo;

· dselman opened on Jul 13, 2022

Cannot build from sources due to incompatible coq-jsast.3.0.0

Status: Open.

#874 In accordproject/ergo;

· prekel opened on Jul 5, 2022

Optional DateTime always return TRUE for <code>some(myDate)</code>

Status: Open.

#851 In accordproject/ergo;

· martinhalford opened on Feb 25, 2022

Can't emit an array of obligations formed from an array of values

Difficulty: Medium

Type: Feature Request 🛍️New feature or requestNew feature or request

Status: Open.

#838 In accordproject/ergo;

· frbrkoala opened on Jul 3, 2021

GitHub Actions code coverage step doesn't report properly on Windows

1.0-build

Type: Bug 🐛Something isn't workingSomething isn't working

Type: Need Investigation 🔬

Status: Open.

#805 In accordproject/ergo;

· jeromesimeon opened on Apr 8, 2021

types definitions

Range: Typing

Range: Usability

Type: Feature Request 🛍️New feature or requestNew feature or request

Status: Open.

#785 In accordproject/ergo;

· j4m3sb0mb opened on Nov 3, 2020

Refactor, simplify and clean up Engine API

1.0-compiler

Backend: WASMWebAssembly BackendWebAssembly Backend

Category: API

Status: Open.

#769 In accordproject/ergo;

· jeromesimeon opened on Aug 14, 2020

Document and Clarify Determinism of Ergo

Range: Semantics

Type: Discussion 🗣

Type: Documentation 📝Information and guides for clarificationInformation and guides for clarification

Status: Open.

#762 In accordproject/ergo;

· jeromesimeon opened on Jul 25, 2020

Wasm backend: discussion on Datetime support

Backend: WASMWebAssembly BackendWebAssembly Backend

Status: Open.

#759 In accordproject/ergo;

· pkel opened on Jul 18, 2020

Align Ergo throw/enforce errors with the standard Accord Project Error hierarchy

Status: Open.

#755 In accordproject/ergo;

· jeromesimeon opened on Apr 13, 2020