Files

 master

/

src

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

mmcgr

Print infix operators correctly from AST

Nov 5, 2020

8132bc8 · Nov 5, 2020

History

History

This branch is 2226 commits behind souffle-lang/souffle:master.

/

src

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ast		ast	Print infix operators correctly from AST	Nov 5, 2020
ast2ram		ast2ram	Added a sneaky arg printout during ungrounded crashes.	Oct 16, 2020
include/souffle		include/souffle	Print infix operators correctly from AST	Nov 5, 2020
interpreter		interpreter	remove leftover code	Nov 5, 2020
parser		parser	Merge branch 'master' into getprogram	Sep 19, 2020
ram		ram	Reformatting	Oct 12, 2020
reports		reports	Reduce forward declaration use in the ram	Sep 7, 2020
synthesiser		synthesiser	Merge branch 'master' into rel-wrapper-deduplicate	Oct 24, 2020
tests		tests	the variadic overload was a bad idea anyways	Oct 18, 2020
.gitignore		.gitignore	Add generated file to .gitignore	Sep 28, 2020
AggregateOp.h		AggregateOp.h	Reduce forward declaration use in non ast/ram	Sep 7, 2020
FunctorOps.cpp		FunctorOps.cpp	Renaming IntrinsicFunctorInfo	Sep 15, 2020
FunctorOps.h		FunctorOps.h	Renaming IntrinsicFunctorInfo	Sep 15, 2020
Global.cpp		Global.cpp	Standardise license text capitalisation	Sep 3, 2020
Global.h		Global.h	Standardise license text capitalisation	Sep 3, 2020
GraphUtils.h		GraphUtils.h	Move public headers into public directory	Aug 15, 2020
LogStatement.h		LogStatement.h	Move SrcLocation to parser	Aug 4, 2020
Makefile.am		Makefile.am	seperate generator into .h and .cpp	Oct 26, 2020
RelationTag.h		RelationTag.h	Move public headers into public directory	Aug 15, 2020
main.cpp		main.cpp	Generalised range bug-fixing to all multi-res functors.	Oct 15, 2020
souffle-compile.in		souffle-compile.in	Support header finding for custom out of path installs	Aug 20, 2020
souffle-config.in		souffle-config.in	changed headers to remove version souffle-lang#125	May 26, 2016
souffle_prof.cpp		souffle_prof.cpp	Move public headers into public directory	Aug 15, 2020
View all files