Quantcast
Channel: dkal Issue Tracker Rss Feed
Browsing latest articles
Browse All 25 View Live
↧

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 Article


Edited 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 Article


Edited 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 Article

Edited 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 Article

Created 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 Article


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

Created 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 Article

Created 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 Article


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


Created 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 Article

Edited 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 Article

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

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 Article


Created 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 Article

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


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

Created 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


Edited 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

Edited 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

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 Article
Browsing latest articles
Browse All 25 View Live


<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>