Closed 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 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 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 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 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 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 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 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 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 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 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 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 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: 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 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 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 ArticleClosed 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 Article