Commented 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 ArticleSource code checked in, #9c6f95cd427f
#7: stackoverflow on recursive definitions with substrate queries on simple logic engine fixed
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 ArticleUpdated Wiki: CompilingDKAL
Compiling DKAL If you are reading this is because you either synced with our Mercurial repository or you downloaded a snapshot of it. In any case, you will notice that the repository only contains...
View ArticleUpdated Wiki: ObtainingDKAL
Obtaining DKAL Before You Start Before downloading DKAL please take a second and review the DKAL engine License. DKAL is distributed under the Apache License Version 2.0. For more information about the...
View Article