Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
profiler_html		profiler_html
AST.dl		AST.dl
Alt.facts		Alt.facts
AltParameter.facts		AltParameter.facts
CBy.dl		CBy.dl
CFA.dl		CFA.dl
Call.facts		Call.facts
CallArgument.facts		CallArgument.facts
Case.facts		Case.facts
Check.dl		Check.dl
ClosureParameter.facts		ClosureParameter.facts
ClosureVariable.facts		ClosureVariable.facts
CodeArity.facts		CodeArity.facts
EvalMode.facts		EvalMode.facts
ExternalFunction.facts		ExternalFunction.facts
ExternalParameterType.facts		ExternalParameterType.facts
ExternalReturnType.facts		ExternalReturnType.facts
FirstInst.facts		FirstInst.facts
FunctionParameter.facts		FunctionParameter.facts
FunctionType.facts		FunctionType.facts
FunctionTypeParameterType.facts		FunctionTypeParameterType.facts
FunctionTypeReturnType.facts		FunctionTypeReturnType.facts
InitialReachable.facts		InitialReachable.facts
IsClosure.facts		IsClosure.facts
IsFunction.facts		IsFunction.facts
IsTypeVariable.facts		IsTypeVariable.facts
LVA.dl		LVA.dl
Move.facts		Move.facts
NextInst.facts		NextInst.facts
Node.facts		Node.facts
NodeArgument.facts		NodeArgument.facts
NodeRole.facts		NodeRole.facts
PointsTo.dl		PointsTo.dl
PrimOp-Addr.dl		PrimOp-Addr.dl
PrimOp-Arrays.dl		PrimOp-Arrays.dl
PrimOp-ByteArray.dl		PrimOp-ByteArray.dl
PrimOp-Bytecode.dl		PrimOp-Bytecode.dl
PrimOp-CCS.dl		PrimOp-CCS.dl
PrimOp-Compact.dl		PrimOp-Compact.dl
PrimOp-Concurrency.dl		PrimOp-Concurrency.dl
PrimOp-Exception.dl		PrimOp-Exception.dl
PrimOp-MVar.dl		PrimOp-MVar.dl
PrimOp-MutVar.dl		PrimOp-MutVar.dl
PrimOp-Parallelism.dl		PrimOp-Parallelism.dl
PrimOp-STM.dl		PrimOp-STM.dl
PrimOp-StablePtr.dl		PrimOp-StablePtr.dl
PrimOp-WeakPtr.dl		PrimOp-WeakPtr.dl
README.md		README.md
RecGroup.facts		RecGroup.facts
ReturnValue.facts		ReturnValue.facts
TypeNode.facts		TypeNode.facts
TypeNodeArgument.facts		TypeNodeArgument.facts
clean.sh		clean.sh
main.dl		main.dl
prof.sh		prof.sh
run.sh		run.sh
tsumupto.2.lambda		tsumupto.2.lambda
tsumupto.2.lambdabin		tsumupto.2.lambdabin
tsumupto.2.lambdabin.dl		tsumupto.2.lambdabin.dl
tsumupto.hs		tsumupto.hs
tsumupto.lambda		tsumupto.lambda
tsumupto.lambdabin		tsumupto.lambdabin
tsumupto.out		tsumupto.out

Repository files navigation

souffle-cfa-optimization-experiment

generate profile report: ./prof.sh

run cfa on the sample input: ./run.sh

grin-compiler/souffle-cfa-optimization-experiment

Folders and files

Latest commit

History

Repository files navigation

souffle-cfa-optimization-experiment

About

Topics

Resources

Stars

Watchers

Forks

Languages