Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.05Apr127Mar526Feb231820Nov131Oct2912Aug98Jun5Update current_failing_tests.txtmainmainUpload New File, all failing tests are recorded here, also all tests i am unhappy withUpdate GroundnessAnalyzer.hs, made it so infix operators stay infix for the analyser because otherwise it crashesUpdate Parsermaker.hs, according to the last commitUpdate Parsermaker.y, added a differenciation between Variables and other atoms, so functors containing a - are not split into twoRevert "Update kay4.pl, made it so the parser accepts"Update SymbolicEvaluationGraph.hs, took care of a small rare edgecaseUpdate kay4.pl, made it so the parser acceptsUpdate README.mdUpdate README.mdUpdate SymbolicEvaluationGraph.hs, corrected the error of Instances not being recognized when the same variable is substituted multiple times to another same variable multiple timesUpdate TermRewriteSystemMaker.hs connection paths shouldn't be created twice following generalized now, Update SymbolicEvaluationGraph.hs no more generalizing multigoal terms, equal rights for generalize and Instance, Update GroundnessAnalyzer.hs correcting hopefully the output on failed analysis, Update TermRewriteSystemMaker.hs to accept Instance following splitUpload testresultsDelete Tests_with_Benchmarks.xlsxUpload TestresultsUpdate GroundnessAnalyzer.hs Update TermRewriteSystemMaker.hs Update Main.hs Update TermRewriteSystemMaker.hs Update SymbolicEvaluationGraph.hs Update Parsermaker.hs Update GroundnessAnalyzer.hs Update Main.hs Update Parsermaker.y Update TermRewriteSystemMaker.hs made Connection Paths end on the correct spot at Generalisation nodes.Update SymbolicEvaluationGraph.hs added functionality for don't care variablesUpdate Parsermaker.y added multiline comments to lexerUpdate Parsermaker.hs added long comments to lexerUpdate GroundnessAnalyzer.hs now executes swipl instead of Prolog and can somewhat handle queries consisting of one atomUpdate Main.hs added the ability to treat don't care Variables adequatlyUpdate SymbolicEvaluationGraph.hs small logic mistakes, instance check now can have S' Variables substitute to functionsUpdate Main.hs, changed the default valuesUpdate SymbolicEvaluationGraph.hs, found a stupid mistake i have been carrying along propably since the beginning of the projectUpload New FileAdd new directoryReplace Main.hsUpdate makefile.sh