This repository has been archived by the owner on Mar 26, 2019. It is now read-only.

Bug fix#1

Open

CerielJacobs wants to merge 162 commits intomaspadaru:masterfrom karmaresearch:master

+7,920-4,039

Commits on Mar 12, 2019

Commits on Mar 15, 2019

modified benchmark code
Mike Spadaru
committed
Merge branch 'master' of github.com:karmaresearch/laser-plus-plus
Mike Spadaru
committed

Commits on Apr 4, 2019

integrated restricted ordered chase algorithm into program evaluation
Mike Spadaru
committed

Commits on Apr 5, 2019

extended rule parser syntax to support rules that have an existential operator in the head
Mike Spadaru
committed

Commits on Apr 9, 2019

Initial working version of Existential quantifier
Mike Spadaru
committed
proper implementation of restrictive chase
Mike Spadaru
committed

Commits on Apr 11, 2019

Existential formula supports Time Reference as child. Testcases for Existential formulas
Mike Spadaru
committed

Commits on Apr 16, 2019

more testcases
Mike Spadaru
committed
fixed bug in GroundingTable
Mike Spadaru
committed

Commits on Apr 17, 2019

Existential formulas now support conjunctions in the head of the rule
Mike Spadaru
committed

Commits on Apr 18, 2019

added testcase for existential based on the example in the paper
Mike Spadaru
committed

Commits on Apr 23, 2019

before spliting chase algorithms
Mike Spadaru
committed
skolem chase
Mike Spadaru
committed

Commits on Apr 24, 2019

work on restricted chase implementation
Mike Spadaru
committed

Commits on Apr 25, 2019

restricted chase implementation
Mike Spadaru
committed

Commits on Apr 26, 2019

fixed bug in restrictive chase. more minor changes. work in progress
Mike Spadaru
committed
Refactoring Rule for better performance and design. Work in progress
Mike Spadaru
committed

Commits on Apr 29, 2019

Rule refactoring complete. Oblivious Chase added
Mike Spadaru
committed
Rule can identify bound variables.
Mike Spadaru
committed
new Skolem Chase implementation
Mike Spadaru
committed
new Restricted Chase implementation. Failing some tests a.t.m
Mike Spadaru
committed
Fixed restricted chase
Mike Spadaru
committed
cleanup old existential formula classes
Mike Spadaru
committed

Commits on Apr 30, 2019

added Settings class used for selecting chase algorithm
Mike Spadaru
committed
fixed tests
Mike Spadaru
committed
added command line argument for setting chase algorithm to SimpleApp and BenchApp. Some refactoring
Mike Spadaru
committed
Fixed simple app
Mike Spadaru
committed

Commits on May 3, 2019

before second tier SNE implementation
Mike Spadaru
committed
second tier SNE
Mike Spadaru
committed

Commits on May 4, 2019

removed hashes from skolem_filter.cpp.
Mike Spadaru
committed
README -> updated instructions on using Laser++
Mike Spadaru
committed
added benchmark.txt
Mike Spadaru
committed

Commits on May 6, 2019

eliminated hashes from box. Benchmark results added
Mike Spadaru
committed
Box optimization and benchmark
Mike Spadaru
committed

Commits on May 27, 2019

cleaun in Grounding class
Mike Spadaru
committed

Commits on May 29, 2019

indexed restricted chase - implementation and benchmark results
Mike Spadaru
committed

Commits on May 31, 2019

tweaks and benchmarks
Mike Spadaru
committed
fixed bug: the benchmark application was not writing any output to files
Mike Spadaru
committed
fixed conjunction out of memory bug
Mike Spadaru
committed
clean-up
Mike Spadaru
committed

Commits on Jun 3, 2019

fixed tests failing because conjunction evaluation result vector was ordered differently
Mike Spadaru
committed
benchmarks
Mike Spadaru
committed

Commits on Jun 4, 2019

conjunction using std::accumulate when computing hashes
Mike Spadaru
committed
.
Mike Spadaru
committed
chnaged scripts to reduce build times

Mike Spadaru
authored and
Mike Spadaru
committed

Commits on Jun 5, 2019

for benchmarking
Mike Spadaru
committed

Commits on Jun 6, 2019

more benchmarks and optimizations in Indexed Filter
Mike Spadaru
committed
more benchmarking
Mike Spadaru
committed

Commits on Jun 17, 2019

benchmarks
Mike Spadaru
committed

Commits on Jun 21, 2019

work in progress - query answering
Mike Spadaru
committed

Commits on Jun 24, 2019

working prototype of query answering for simple atomic queries
Mike Spadaru
committed
restructuring
Mike Spadaru
committed
fixed laser hanging on query requests
Mike Spadaru
committed
demo application: initial commit
Mike Spadaru
committed

Commits on Jul 24, 2019

Removed benchmarking and demo applications. Added tests back to Laser. Clean-up. Fixed scripts, cmake lists, and readme.
Mike Spadaru
committed

Commits on Aug 5, 2019

performance improvements - Rule::make_atom_fact
Mike Spadaru
committed
performance improvements - Rule::make_atom_fact
Mike Spadaru
committed
minor performance tweaks
Mike Spadaru
committed

Commits on Aug 6, 2019

re-organised project to accomodate for acyclicity conditions
Mike Spadaru
committed

Commits on Aug 7, 2019

fixed bug in Rule copy constructor
Mike Spadaru
committed
updated Readme.md
Mike Spadaru
committed
work on smfa - computing critical instance
Mike Spadaru
committed

Commits on Aug 8, 2019

compute critical timeline
Mike Spadaru
committed
fix skolem chase: paramenters of skolem functions are now limited to only frontier variables
Mike Spadaru
committed

Commits on Aug 12, 2019

naive SMFA implementation
Mike Spadaru
committed
fixed NaiveSMFA bugs
Mike Spadaru
committed
acyclicity testcases
Mike Spadaru
committed

Commits on Aug 14, 2019

implemented event-based inertia operator support. Added testcases. Fixed bugs.
Mike Spadaru
committed

Commits on Aug 16, 2019

some work on math atoms
Mike Spadaru
committed
some work on math atoms - fix
Mike Spadaru
committed

Commits on Aug 19, 2019

restricted chase inertia operator - work in progress
Mike Spadaru
committed
restricted chase inertia operator - work in progress
Mike Spadaru
committed
restricted chase inertia operator - done
Mike Spadaru
committed

Commits on Aug 20, 2019

changed evaluation steps - step incremented after all rules are fired, not after each rule
Mike Spadaru
committed

Commits on Aug 21, 2019

changed a testcase
Mike Spadaru
committed
changed a testcase
Mike Spadaru
committed
changed a testcase
Mike Spadaru
committed
added testcase
Mike Spadaru
committed

Commits on Aug 22, 2019

fixed restricted chase + testcases
Mike Spadaru
committed

Commits on Aug 23, 2019

fix cmake for DAS-5
Mike Spadaru
committed
fix cmake for DAS-5
Mike Spadaru
committed

Commits on Aug 29, 2019

fix cmake for DAS-5
Mike Spadaru
committed

Commits on Aug 30, 2019

diamond only considers facts in the datastream
Mike Spadaru
committed
fixed bugs from testcases
Mike Spadaru
committed

Commits on Sep 2, 2019

Revert "fixed bugs from testcases"
Mike Spadaru
committed
Revert "diamond only considers facts in the datastream"
Mike Spadaru
committed
fix in script for DAS-5
Mike Spadaru
committed
fix script for DAS-5
Mike Spadaru
committed
fix in script for DAS-5
Mike Spadaru
committed

Commits on Sep 3, 2019

grounding deep and shallow clones
Mike Spadaru
committed
fix bug in restricted chase
Mike Spadaru
committed

Commits on Sep 4, 2019

labeled nulls use global counter
Mike Spadaru
committed
merging diamond groundings
Mike Spadaru
committed
improved mergin in diamond
Mike Spadaru
committed
Revert "improved mergin in diamond"
Mike Spadaru
committed
Revert "merging diamond groundings"
Mike Spadaru
committed

Commits on Oct 15, 2019

io manager
Mike Spadaru
committed

Commits on Nov 14, 2019

refoactoring raw pointers. work in progress, won't compile
Mike Spadaru
committed
removed all extended formulas to make refactoring and debugging easy. I will add them back when Laser++ works well for atoms
Mike Spadaru
committed
more refactoring. work in progress, won't compile
Mike Spadaru
committed
removed all chase filters except oblivious chase. Will add them back after refactoring
Mike Spadaru
committed
removed module Service. Will add it back after refactoring
Mike Spadaru
committed
removed module Acyclicity. Will add it back after refactoring
Mike Spadaru
committed

Commits on Nov 19, 2019

fixed memory management in Atom and Formula
Mike Spadaru
committed
memory management fixes
Mike Spadaru
committed

Commits on Nov 22, 2019

fixed conjunction and chase
Mike Spadaru
committed

Commits on Nov 25, 2019

added back acyclicity
Mike Spadaru
committed
added back service module
Mike Spadaru
committed

Commits on Nov 26, 2019

added back formulas and tests. Passes all tests. No leaks are possible.
Mike Spadaru
committed
fixed bug in parser
Mike Spadaru
committed

Commits on Nov 27, 2019

fixed bug where time reference would not return values from the past
Mike Spadaru
committed

Commits on Dec 7, 2019

work
Mike Spadaru
committed

Commits on Jan 3, 2020

reasoner no longer measures evaluation time
Mike Spadaru
committed

Commits on Jan 12, 2020

fixed bug in conjunction, added testcase
Mike Spadaru
committed

Commits on Jan 14, 2020

fixed bug in restricted chase
Mike Spadaru
committed

Commits on Jan 16, 2020

using map find instead of count for performance
Mike Spadaru
committed
performance improvements to conjunction
Mike Spadaru
committed

Commits on Jan 17, 2020

printing count conclusions
Mike Spadaru
committed
fixed budy waiting on output thread. Changed labeled null string constant
Mike Spadaru
committed

Commits on Jan 18, 2020

work on new restricted implementation
Mike Spadaru
committed
more work on new restricted chase
Mike Spadaru
committed
more work on restricted chase
Mike Spadaru
committed

Commits on Jan 19, 2020

more work on restricted chase
Mike Spadaru
committed
more work on restricted chase
Mike Spadaru
committed
restricted chase
Mike Spadaru
committed
printing stats
Mike Spadaru
committed
added Threads library back
Mike Spadaru
committed
fixed restricted chase bug not re-using facts derived by other rules at the same step
Mike Spadaru
committed

Commits on Jan 20, 2020

restricted filter was not actually filtering anything
Mike Spadaru
committed
fix adding too many facts to database
Mike Spadaru
committed
removed debug statements
Mike Spadaru
committed
computing runtimes for each time ponit
Mike Spadaru
committed
merge
Mike Spadaru
committed

Commits on Jan 30, 2020

some fixes
Mike Spadaru
committed

Commits on Jan 31, 2020

some refactoring
Mike Spadaru
committed

Commits on Feb 1, 2020

checkpoint
Mike Spadaru
committed
work on formulas
Mike Spadaru
committed

Commits on Feb 3, 2020

work on changing GT to distinguish between old and new facts
Mike Spadaru
committed
Revert "work on changing GT to distinguish between old and new facts"
Mike Spadaru
committed
Revert "work on formulas"
Mike Spadaru
committed
diamond grounding table update
Mike Spadaru
committed

Commits on Feb 5, 2020

refactoring to allow for math atoms
Mike Spadaru
committed
rule built with list of atoms
Mike Spadaru
committed
Revert "rule built with list of atoms"
Mike Spadaru
committed
Revert "refactoring to allow for math atoms"
Mike Spadaru
committed
minor fix
Mike Spadaru
committed
implemented math - assignment atom
Mike Spadaru
committed

Commits on Feb 7, 2020

math - work in progress
Mike Spadaru
committed
math - work in progress
Mike Spadaru
committed
Merge branch 'master' of github.com:karmaresearch/laser-plus-plus
Mike Spadaru
committed

Commits on Feb 8, 2020

math atom
Mike Spadaru
committed
working math assignment
Mike Spadaru
committed

Commits on Feb 9, 2020

work on math - algebra atom
Mike Spadaru
committed

Commits on Feb 10, 2020

fixes for algebra
Mike Spadaru
committed

Commits on Feb 11, 2020

algebra values are represented as integers instead of doubles
Mike Spadaru
committed
implementation of condition atoms
Mike Spadaru
committed
conditions suport for string values
Mike Spadaru
committed

Commits on Feb 19, 2020

reasoner counts conclusions
Mike Spadaru
committed

Commits on Feb 20, 2020

string pool for grounding
Mike Spadaru
committed
Revert "string pool for grounding"
Mike Spadaru
committed