Quantcast
Channel: DKAL
Browsing all 148 articles
Browse latest View live

Updated Wiki: SyntaxBasic

Basic Syntax Guide In order to define the DKAL syntax we first introduce the DKAL variables, then the DKAL data types, and finally expand on how to construct terms of each type. DKAL Variables...

View Article



Updated Wiki: Logic Engines

Logic Engines DKAL have the following logic engines:"simple" - prolog-like engine with some simple 2nd order infon logic support. linear but incomplete.based on Propositional Primal Infon Logic: BPIL -...

View Article

Source code checked in, #349c513fc5b1

simplified clinial trial examples, without quantification

View Article

Source code checked in, #ed731059e3e0

removed path of fstar in Makefile

View Article

Source code checked in, #afb80b7c55cc

Add syntax highlighting to rise4fun webservice

View Article


Updated Wiki: Home

Project Description DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains an engine for running DKAL policies. It is implemented...

View Article

Released: DKAL 1.0.0.613 (Oct 21, 2012)

This is the second DKAL public release. New features:New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPIL Quantified Infon Terms ("forall")Updated syntax

View Article

Created Release: DKAL 1.0.0.613 (Oct 21, 2012)

This is the second DKAL public release. New features: New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPILQuantified Infon Terms ("forall")Updated syntax

View Article


Updated Wiki: Home

Project Description DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains an engine for running DKAL policies. It is implemented...

View Article


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

View Article

Source code checked in, #e482c374b514

#1: Parser should return the correct line number for the error location when returning an error fix bug in Lexer add line offset to MultiMain parsing

View Article

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: fixed in e482c374b514. error position now should point at erroneous word or next word to it.

View Article

Source code checked in, #2cdb37e4991e

replace hash function to xor in SPIL bugfix for release mode

View Article


Commented 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: http://dkal.codeplex.com/SourceControl/changeset/e482c374b514

View Article

Source code checked in, #6a6dda61431d

vs2012 project settings

View Article


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

Reopened 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: if parse error is in a substrate query then line number is still incorrect

View Article


Created Feature: Collections support [2]

`Type CollectionOfStrings = System.String[]`Add functions `exists` and `isEmpty`.

View Article

Source code checked in, #62562a2c475a

#2: Collections support. Add CollectionType, Collection constants, exists and isEmpty functions.

View Article

Source code checked in, #9b8bf6018f0d

Switch to dotnet v4.5

View Article
Browsing all 148 articles
Browse latest View live




Latest Images