Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
90
Closed
1
All
91
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Add IDP-Z3 as back-end solver
!51
· created
Dec 22, 2020
by
Simon Vandevelde
dev
Merged
updated
Dec 22, 2020
New version
!50
· created
Dec 15, 2020
by
Simon Vandevelde
Merged
updated
Dec 15, 2020
Collect parsing issues instead of crashing on a single one
!49
· created
Dec 15, 2020
by
Simon Vandevelde
dev
Merged
updated
Dec 15, 2020
Remove unneeded references to alias
!48
· created
Nov 10, 2020
by
Simon Vandevelde
dev
Merged
updated
Nov 10, 2020
Remove function syntax restrictions
!47
· created
Nov 10, 2020
by
Simon Vandevelde
dev
Merged
updated
Nov 10, 2020
Update master
!46
· created
Nov 09, 2020
by
Simon Vandevelde
Merged
updated
Nov 09, 2020
Rename the Execute table to the Goal table
!45
· created
Nov 06, 2020
by
Simon Vandevelde
dev
Merged
updated
Nov 06, 2020
Add domain size operator
!44
· created
Oct 29, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 29, 2020
Rename autoconfig to interactive consultant
!43
· created
Oct 28, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 28, 2020
Merge definitions that define the same concepts
!42
· created
Oct 16, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 16, 2020
Irrelevant tables are no longer generated when errorchecking
!41
· created
Oct 13, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 13, 2020
Use table id to identify table instead of last output column var
!40
· created
Oct 13, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 13, 2020
Add support for the IDPz3 main block
!39
· created
Oct 06, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 06, 2020
Automatically set the goal of a DMN specification
!38
· created
Oct 06, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 06, 2020
Fix issue where float values in the struct would be rounded down to int
!37
· created
Oct 02, 2020
by
Simon Vandevelde
dev
Merged
updated
Oct 02, 2020
Update master
!36
· created
Aug 07, 2020
by
Simon Vandevelde
Merged
updated
Aug 07, 2020
Fix bug where output column was not correct when overlap checking A tables
!35
· created
Aug 07, 2020
by
Simon Vandevelde
dev
Merged
updated
Aug 07, 2020
Create new release
!34
· created
Aug 06, 2020
by
Simon Vandevelde
Merged
updated
Aug 06, 2020
Data tables without inputs are detected correctly
!33
· created
Aug 06, 2020
by
Simon Vandevelde
dev
Merged
updated
Aug 06, 2020
Fix multitiple documentation errors
!32
· created
Aug 06, 2020
by
Simon Vandevelde
dev
Merged
updated
Aug 06, 2020
Prev
1
2
3
4
5
Next