Closed Issue: Parser should return the correct line number for the error...
Fix the parser to return the correct line number for the error location when returning anerror.Comments: substrate query case fixed in http://dkal.codeplex.com/SourceControl/changeset/11ad5a46237c
View ArticleEdited Feature: Collections support [2]
type declaration:<br />`Type CollectionOfStrings = System.String[]`<br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br />`<br />relation rel(A:...
View ArticleEdited Feature: Collections support [2]
type declaration:<br />{{ Type CollectionOfStrings = System.String[] }}<br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br />{{<br />relation rel(A:...
View ArticleEdited Feature: Collections support [2]
type declaration:<br /><br />Type CollectionOfStrings = System.String[]<br /><br />usage (see ModularEngine/samples/MultiMain/collections.mdkal):<br /><br />relation...
View ArticleCreated Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.
View ArticleClosed Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.Comments: fixed in...
View ArticleCreated Feature: Multi-state conditional expressions [4]
Add support for multi-state conditional expressions in rules (`if/then/else`)Semantics for `else` is that condition does not return any substitutions or substrate query returns false.
View ArticleCreated Task: Cleanup substrate query syntax [5]
0. Make double quotation marks `"` optional for datasource namespaces. To write `asInfon({|ns|query|})`instead of `asInfon({|"ns"|query|})`1. Make `asInfon` syntax construct optional:`if {|ns|query|}...
View ArticleClosed Task: Cleanup substrate query syntax [5]
0. Make double quotation marks `"` optional for datasource namespaces. To write `asInfon({|ns|query|})`instead of `asInfon({|"ns"|query|})`1. Make `asInfon` syntax construct optional:`if {|ns|query|}...
View ArticleCreated Issue: Move all deps to NuGet package manager. Enable Package Restore...
NuGet extension is included in VS2012.With "Enable NuGet Package Restore" we can store only references to dependencies in VCS, without binaries.Use FSharpPowerPack dependency from NuGet, so we don't...
View ArticleEdited Feature: Collections support [2]
type declaration:```type CollectionOfStrings = System.String[]```usage (see ModularEngine/samples/MultiMain/collections.mdkal):```relation rel(A: CollectionOfStrings)knows rel(["qwe"; "asd";...
View ArticleClosed Feature: Collections support [2]
type declaration:```type CollectionOfStrings = System.String[]```usage (see ModularEngine/samples/MultiMain/collections.mdkal):```relation rel(A: CollectionOfStrings)knows rel(["qwe"; "asd";...
View ArticleCommented Feature: DateTime type support [3]
Add `System.DateTime` type support for DKAL.Add functions `date` to create DateTime's (via DateTime.Parse) and `now` to get current DateTime.Support comparison operators on DateTime.Comments: Example...
View ArticleCreated Issue: stackoverflow on recursive definitions with substrate queries...
Example:```knows forall O: Object, O1: Object, G: Group notowned(O) && {|x| "//objects//$O/.." | O1 |} && permitg(G, O1) -> permitg(G, O)```
View ArticleClosed Issue: stackoverflow on recursive definitions with substrate queries...
Example:```knows forall O: Object, O1: Object, G: Group notowned(O) && {|x| "//objects//$O/.." | O1 |} && permitg(G, O1) -> permitg(G, O)```Comments: fixed in 9c6f95cd427f
View ArticleClosed Issue: Move all deps to NuGet package manager. Enable Package Restore...
NuGet extension is included in VS2012.With "Enable NuGet Package Restore" we can store only references to dependencies in VCS, without binaries.Use FSharpPowerPack dependency from NuGet, so we don't...
View ArticleCreated Feature: Reflection Substrate [8]
Reflection substrate allows DKAL to call specific methods in external libraries via reflection.This can be used to integrate DKAL into some complex systems.Substrate declaration:```datasource...
View ArticleEdited Feature: Reflection Substrate [8]
Reflection substrate allows DKAL to call specific methods in external libraries via reflection.This can be used to integrate DKAL into some complex systems.Substrate declaration:```datasource...
View ArticleEdited Feature: Reflection Substrate [8]
Reflection substrate allows DKAL to call specific methods in external libraries via reflection.This can be used to integrate DKAL into some complex systems.Substrate declaration:```datasource...
View ArticleClosed Feature: Reflection Substrate [8]
Reflection substrate allows DKAL to call specific methods in external libraries via reflection.This can be used to integrate DKAL into some complex systems.Substrate declaration:```datasource...
View Article