Quantcast
Channel: dkal Source Code Rss Feed
Browsing latest articles
Browse All 107 View Live
↧

Source code checked in, #fb8170c9d3aa

experimental extension of TSPIL with (->&i) rule: (A->B)&(A->C) => A->B&C

View Article


Source code checked in, #35afe9f17b8c

+TSPIL2 test

View Article


Source code checked in, #fe948c02b002

tspil2.mdkal example for TSPIL2

View Article

Source code checked in, #2b0ba330af0d

DkalBackends upgrade to vs2012+nuget add DatalogTranslator and DkalParser as projects in ModularEngine solution.

View Article

Source code checked in, #a150e27544be

Merge with DkalBackendsVS2012

View Article


Source code checked in, #b3c28e0281e6

TPIL+ bugfixes with quotations.

View Article

Source code checked in, #7c735b27407b

dkal4fun config update

View Article

Source code checked in, #298a0758ee1c

update dkal4fun language.json

View Article


Source code checked in, #e5df3c9a725c

add libz3.dll dependency in UFOL

View Article


Source code checked in, #51fe00aa20fc

add VC redist libs as dependencies to UFOL

View Article

Source code checked in, #6ffa8bf13622

add quotation distributivity to SPIL+

View Article

Source code checked in, #c50a2d9f5348

extract Rise4Fun WS version

View Article

Source code checked in, #71f266ce00f8

SPILrnd: implement O(d*n) plagiarism checker.

View Article


Source code checked in, #6edc9bf65ff8

SPILrnd: setEquality without hashset

View Article

Source code checked in, #8df88392a819

SPILrnd: tests for disjunction, todos.

View Article


Source code checked in, #e9be88acb398

SPILrnd: expose SPILsufarr & SPILhash. bugfix in leafkey

View Article

Source code checked in, #ccc8d79804fc

PPIL: generalize stage1 for optional serialization (needed of BPIL,TPIL,SPILsufarr, not needed for others)

View Article


Source code checked in, #a151d5dc0158

SPILrnd: replace hashmaps to arrays.

View Article

Source code checked in, #43d21986c129

SPILrnd: rearrange fun's

View Article

Source code checked in, #56537e0a688b

update project settings to VS2013 (Community Edition)

View Article
Browsing latest articles
Browse All 107 View Live


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