definiti/definiti-core issues and pull requests

#80 - [#70] Implements Closed type

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement, WIP

#79 - [#78] Restrict naming format

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#78 - Restrict naming format

Issue - State: closed - Opened by grizio over 6 years ago

#77 - [76] syntax simplification

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#76 - Simplify syntax

Issue - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#75 - Object creation

Issue - State: open - Opened by grizio over 6 years ago
Labels: enhancement

#74 - [#73] Use scala parsing

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#73 - User scala parsing combinator instead of Antlr

Issue - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#72 - [#64] Split type Number

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#71 - [#68] Add attribute type

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#70 - Opaque and transparent types

Issue - State: open - Opened by grizio over 6 years ago
Labels: enhancement

#69 - [#67] Restrict the type equality on alias types

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#68 - Create type when creating attribute

Issue - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#67 - Restriction on alias types

Issue - State: closed - Opened by grizio over 6 years ago - 1 comment
Labels: enhancement

#66 - Command/Query system

Issue - State: open - Opened by grizio over 6 years ago
Labels: enhancement

#65 - 60 implicit type

Pull Request - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#64 - Split type Number

Issue - State: closed - Opened by grizio over 6 years ago
Labels: enhancement

#63 - Uses cats for Program

Pull Request - State: closed - Opened by grizio over 6 years ago

#62 - 57 improve helpers

Pull Request - State: closed - Opened by grizio almost 7 years ago

#61 - Object transformation

Issue - State: open - Opened by grizio almost 7 years ago
Labels: enhancement

#60 - Implicit type for parameters and attributes

Issue - State: closed - Opened by grizio almost 7 years ago - 1 comment
Labels: enhancement

#59 - [#56] Trigger validation for extended context on root namespace

Pull Request - State: closed - Opened by grizio almost 7 years ago

#58 - Do not trim context content

Issue - State: closed - Opened by grizio almost 7 years ago - 1 comment
Labels: bug

#57 - Improve helpers for plugins

Issue - State: closed - Opened by grizio almost 7 years ago
Labels: enhancement

#56 - Validation of extended contexts on root package are not triggered

Issue - State: closed - Opened by grizio almost 7 years ago
Labels: bug

#55 - [#41] Add verification system with external parameters

Pull Request - State: closed - Opened by grizio almost 7 years ago

#54 - 47 parameters

Pull Request - State: closed - Opened by grizio almost 7 years ago

#53 - Parameters

Pull Request - State: closed - Opened by grizio almost 7 years ago
Labels: invalid

#52 - Improve message system

Pull Request - State: closed - Opened by grizio almost 7 years ago

#51 - Improve validation

Pull Request - State: closed - Opened by grizio about 7 years ago

#50 - Improve validation system

Issue - State: closed - Opened by grizio about 7 years ago

#49 - [#48] Accept verifications into alias type

Pull Request - State: closed - Opened by grizio about 7 years ago

#48 - Inlined verifications on types

Issue - State: closed - Opened by grizio about 7 years ago - 1 comment

#47 - Parametered types

Issue - State: closed - Opened by grizio about 7 years ago

#46 - [#44] Add enumeration system

Pull Request - State: closed - Opened by grizio about 7 years ago

#45 - [#43] Accept executables instead of scala plugins only

Pull Request - State: closed - Opened by grizio about 7 years ago

#44 - Add enumeration system

Issue - State: closed - Opened by grizio about 7 years ago - 1 comment

#43 - Remove the strong dependency on scala and sbt

Issue - State: closed - Opened by grizio about 7 years ago

#42 - [#40] It is now possible to have generics with alias type

Pull Request - State: closed - Opened by grizio over 7 years ago

#41 - Verification on the universe

Issue - State: closed - Opened by grizio over 7 years ago - 1 comment

#40 - Generics with alias types

Issue - State: closed - Opened by grizio over 7 years ago - 1 comment

#39 - Partial types

Issue - State: open - Opened by grizio over 7 years ago
Labels: enhancement

#38 - Improve message system

Issue - State: closed - Opened by grizio over 7 years ago - 1 comment

#37 - [#36] Verification and named functions can have generics

Pull Request - State: closed - Opened by grizio over 7 years ago

#36 - It is not possible to have verification with generics

Issue - State: closed - Opened by grizio over 7 years ago

#35 - [#34] Correct link injection

Pull Request - State: closed - Opened by grizio over 7 years ago

#34 - Project linking does not work with named functions

Issue - State: closed - Opened by grizio over 7 years ago

#33 - Travis integration

Pull Request - State: closed - Opened by grizio over 7 years ago

#32 - 30 correct range

Pull Request - State: closed - Opened by grizio over 7 years ago

#31 - 23 split ast

Pull Request - State: closed - Opened by grizio over 7 years ago

#30 - Correct range and position of AST elements

Issue - State: closed - Opened by grizio over 7 years ago

#29 - 28 named functions

Pull Request - State: closed - Opened by grizio over 7 years ago

#28 - Explicit return type of named functions

Issue - State: closed - Opened by grizio over 7 years ago

#27 - Context system

Pull Request - State: closed - Opened by grizio over 7 years ago

#26 - Make the language extensible

Issue - State: closed - Opened by grizio over 7 years ago

#25 - 24 plugin system

Pull Request - State: closed - Opened by grizio over 7 years ago - 2 comments

#24 - Plugin system

Issue - State: closed - Opened by grizio over 7 years ago - 1 comment

#23 - Divide core AST for parsing and verification and public definiti AST

Issue - State: closed - Opened by grizio over 7 years ago

#22 - 2 http api

Pull Request - State: closed - Opened by grizio over 7 years ago

#21 - 10 function as first class citizen

Pull Request - State: closed - Opened by grizio over 7 years ago

#20 - [#11] When referencing a `Verification`, it is now possible to override its message

Pull Request - State: closed - Opened by grizio over 7 years ago

#19 - 15 simplify declaration in type verification

Pull Request - State: closed - Opened by grizio over 7 years ago

#18 - Attributes can have verification directly

Pull Request - State: closed - Opened by grizio over 7 years ago

#17 - Create the module system

Pull Request - State: closed - Opened by grizio almost 8 years ago

#16 - Create a command-line interface

Issue - State: closed - Opened by grizio almost 8 years ago - 1 comment

#15 - Restrict function in `type`/`verify` blocks

Issue - State: closed - Opened by grizio almost 8 years ago

#14 - Simple api

Pull Request - State: closed - Opened by grizio almost 8 years ago

#13 - Native functions accept functions as parameters.

Pull Request - State: closed - Opened by grizio almost 8 years ago

#12 - Generate PUML diagrammes

Issue - State: open - Opened by grizio almost 8 years ago

#11 - Be able to override the verification message

Issue - State: closed - Opened by grizio almost 8 years ago - 1 comment

#10 - Define function as first-class citizen

Issue - State: closed - Opened by grizio almost 8 years ago - 1 comment

#9 - Add verification directly on attribute

Issue - State: closed - Opened by grizio almost 8 years ago - 1 comment

#8 - Implement generic system

Pull Request - State: closed - Opened by grizio almost 8 years ago

#7 - Module system

Issue - State: closed - Opened by grizio almost 8 years ago

#6 - Accept functions as parameter type

Issue - State: closed - Opened by grizio almost 8 years ago - 1 comment

#5 - Use antlr parsing instead of homemade one for core definition files.

Pull Request - State: closed - Opened by grizio almost 8 years ago

#4 - Show location of errors

Pull Request - State: closed - Opened by grizio almost 8 years ago

#3 - Add generic type system

Issue - State: closed - Opened by grizio almost 8 years ago

#2 - Define a http API

Issue - State: closed - Opened by grizio almost 8 years ago

#1 - Show location of syntax error

Issue - State: closed - Opened by grizio almost 8 years ago

GitHub / definiti/definiti-core issues and pull requests