.
9d0f8c1a65cd
Actions

Authored by pgess on Mar 1 2015, 12:04 PM.

Description

Details

Committed

pgess

Mar 1 2015, 12:04 PM

Parents

rXR8ac779ce2373: .

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXR9d0f8c1a65cd: . (authored by pgess).Mar 1 2015, 12:04 PM

Changes (178)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.

		Path
M		.gitignore
V		books/dependency-solver/{ → potassco}/guide.pdf
A	(dir)	books/dependency-solver/potassco/
A		books/dependency-solver/potassco/clingo4.pdf
V		books/dependency-solver/{potassco ← }/guide.pdf
V	(dir)	books/dependency-solver/{potassco/potassco_guide-2010-10-04-source/ ← potassco_guide-2010-10-04-source}
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/abstract.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/background.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/comments.sty
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/errors.tex
V	(dir)	books/dependency-solver/{potassco/potassco_guide-2010-10-04-source/examples/ ← potassco_guide-2010-10-04-source/examples}
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/aggr.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/arithc.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/arithf.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/assign.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/bird.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/blocks.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/color.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/cond.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/costs.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/enc_toh.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/flycn.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/graph.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/ham.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/inc.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/inst_toh.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/int.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/luaf.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/luav.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/meta.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/min.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/opt.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/pool.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/sep.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/sql.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/symbc.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/twocond.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/unify.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/world0.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/world1.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/world2.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/world3.lp
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/examples/world4.lp
V	(dir)	books/dependency-solver/{potassco/potassco_guide-2010-10-04-source/figures/ ← potassco_guide-2010-10-04-source/figures}
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/figures/color.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/figures/costs.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/figures/graph.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/figures/hanoi.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/figures/tsp.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/future.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/guide.bib
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/guide.ind
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/guide.rao
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/guide.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/introduction.log
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/introduction.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/language.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/lparse.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/macro.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/options.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/quickstart.tex
V		books/dependency-solver/{potassco ← }/potassco_guide-2010-10-04-source/rail.sty
V	(dir)	books/dependency-solver/{potassco_guide-2010-10-04-source/ → potassco/potassco_guide-2010-10-04-source}
D		books/dependency-solver/potassco_guide-2010-10-04-source.tar.gz
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/abstract.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/background.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/comments.sty
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/errors.tex
V	(dir)	books/dependency-solver/{potassco_guide-2010-10-04-source/examples/ → potassco/potassco_guide-2010-10-04-source/examples}
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/aggr.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/arithc.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/arithf.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/assign.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/bird.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/blocks.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/color.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/cond.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/costs.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/enc_toh.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/flycn.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/graph.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/ham.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/inc.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/inst_toh.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/int.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/luaf.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/luav.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/meta.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/min.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/opt.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/pool.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/sep.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/sql.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/symbc.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/twocond.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/unify.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/world0.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/world1.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/world2.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/world3.lp
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/examples/world4.lp
V	(dir)	books/dependency-solver/{potassco_guide-2010-10-04-source/figures/ → potassco/potassco_guide-2010-10-04-source/figures}
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/figures/color.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/figures/costs.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/figures/graph.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/figures/hanoi.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/figures/tsp.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/future.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/guide.bib
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/guide.ind
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/guide.rao
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/guide.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/introduction.log
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/introduction.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/language.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/lparse.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/macro.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/options.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/quickstart.tex
V		books/dependency-solver/{ → potassco}/potassco_guide-2010-10-04-source/rail.sty
M		coco/Parser.cpp
M		coco/Parser.h
M		coco/Scanner.cpp
M		coco/Scanner.h
A		coco/gen-xreate
M		coco/xreate.ATG
A		cpp/CMakeLists.txt
A		cpp/src/ast-compilation.cpp
M		cpp/src/ast.cpp
M		cpp/src/ast.h
A		cpp/src/clasplayer.cpp
A		cpp/src/clasplayer.h
M		cpp/src/llvmlayer.cpp
M		cpp/src/llvmlayer.h
M		cpp/src/main.cpp
A	(dir)	cpp/src/pass/
A		cpp/src/pass/cfgpass.cpp
A		cpp/src/pass/cfgpass.h
A		cpp/src/pass/functiontagspass.cpp
A		cpp/src/pass/functiontagspass.h
D		cpp/src/tests.cpp
A	(dir)	cpp/tests/
A		cpp/tests/tests.cpp
D		cpp/xreate
D		cpp/xreate/xreate.pro
A		pom.xml
M		problems/example-computations.lp
A		problems/test.lp
A		problems/unsafe-code.lp
D		project/diploma-doc.doc
M		project/diploma.doc
D		project/diploma.odt
M		project/draft.odt
M		scripts/input.xreate
A	(dir)	src/
A	(dir)	src/main/
A	(dir)	src/main/java/
A	(dir)	src/main/java/org/
A	(dir)	src/main/java/org/xreate/
A		src/main/java/org/xreate/ASTNode.java
A		src/main/java/org/xreate/App.java
A		src/main/java/org/xreate/ComputableAnalisys.java
A		src/main/java/org/xreate/SemanticAnalysis.java
A		src/main/java/org/xreate/TestRunner2.java
A	(dir)	src/main/java/org/xreate/grammatic/
A	(dir)	src/main/java/org/xreate/grammatic/lisp/
A		src/main/java/org/xreate/grammatic/lisp/ASTLispNode.java
A		src/main/java/org/xreate/grammatic/lisp/LispInterpreter.java
A		src/main/java/org/xreate/grammatic/lisp/LispLexer.java
A		src/main/java/org/xreate/grammatic/lisp/LispParser.java
A	(dir)	src/test/
A	(dir)	src/test/java/
A	(dir)	src/test/java/org/
A	(dir)	src/test/java/org/xreate/
A		src/test/java/org/xreate/ASTTest1.java
A		src/test/java/org/xreate/LispTest.java