Repository Xreate 1e96dd593c0c

.
1e96dd593c0c
Actions

Authored by Melnichenko Vladimir <pgess@ukr.net> on May 9 2014, 10:46 AM.

Description

.

Details

Committed
Melnichenko Vladimir <pgess@ukr.net>May 9 2014, 10:46 AM
Parents
rXR821cf020548a: .
Branches
Unknown
Tags
Unknown

Event Timeline

Melnichenko Vladimir <pgess@ukr.net> committed rXR1e96dd593c0c: . (authored by Melnichenko Vladimir <pgess@ukr.net>).May 9 2014, 10:46 AM

Changes (174)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.
Path
A(sym)"books/raw/(section about lisp)\320\230\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\321\213\320\271 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202. \320\241\321\202\321\200\320\260\321\202\320\265\320\263\320\270\320\270 \320\270 \320\274\320\265\321\202\320\276\320\264\321\213 \321\200\320\265\321\210\320\265\320\275\320\270\321\217 \321\201\320\273\320\276\320\266\320\275\321\213\321\205 \320\277\321\200\320\276\320\261\320\273\320\265\320\274. 4 \320\270\320\267\320\264\320\260\320\275\320\270\320\265. \320\224\320\266\320\276\321\200\320\264\320\266 \320\244. \320\233\321\216\320\263\320\265\321\200.djvu"
A(sym)"books/raw/1989 \320\237\320\276\321\201\320\277\320\265\320\273\320\276\320\262 \320\224. \320\220., \320\234\320\276\320\264\320\265\320\273\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \321\200\320\260\321\201\321\201\321\203\320\266\320\264\320\265\320\275\320\270\320\271. \320\236\320\277\321\213\321\202 \320\260\320\275\320\260\320\273\320\270\320\267\320\260 \320\274\321\213\321\201\320\273\320\270\321\202\320\265\320\273\321\214\320\275\321\213\321\205 \320\260\320\272\321\202\320\276\320\262.pdf"
A(sym)"books/raw/2004 \320\222\320\260\320\263\320\270\320\275 \320\222. \320\235., \320\224\320\276\321\201\321\202\320\276\320\262\320\265\321\200\320\275\321\213\320\271 \320\270 \320\277\321\200\320\260\320\262\320\264\320\276\320\277\320\276\320\264\320\276\320\261\320\275\321\213\320\271 \320\262\321\213\320\262\320\276\320\264 \320\262 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\321\203\320\260\320\273\321\214\320\275\321\213\321\205 \321\201\320\270\321\201\321\202\320\265\320\274\320\260\321\205.djvu"
A"books/raw/\320\237\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \320\275\320\260 \321\217\320\267\321\213\320\272\320\265 CLIPS.doc"
A(sym)"books/raw/\320\241\321\202\320\260\321\202\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \320\270 \320\264\320\270\320\275\320\260\320\274\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \321\215\320\272\321\201\320\277\320\265\321\200\321\202\320\275\321\213\320\265 \321\201\320\270\321\201\321\202\320\265\320\274\321\213. \320\255 \320\222.\320\237\320\276\320\277\320\276\320\262, \320\230.\320\221. \320\244\320\276\320\274\320\270\320\275\321\213\321\205, \320\225.\320\222. \320\232\320\270\321\201\320\265\320\273\321\214, \320\234.\320\224. \320\250\320\260\320\277\320\276\321\202.doc"
A(sym)"books/raw/\320\244\321\203\320\275\320\272\321\206\320\270\320\276\320\275\320\260\320\273\321\214\320\275\320\276\320\265 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265[\320\244\320\270\320\273\320\264, \320\245\320\260\321\200\321\200\320\270\321\201\320\276\320\275].djvu"
A(sym)"books/raw/proof/[\320\273. \320\262\321\213\320\262\320\276\320\264 \320\264\320\273\321\217 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274]\320\224\320\265\320\262\321\217\321\202\320\272\320\276\320\262 - \320\241\320\270\321\201\321\202\320\265\320\274\321\213 \320\270\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\320\276\320\263\320\276 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\320\260.djvu"
A.gitignore
A(dir)antlr/
Aantlr/SimpleDeclarative.g
Aantlr/examples
Aantlr/lisp.g
Aantlr/lisp__testrig.st
A(dir)antlr/output/
Aantlr/output/SimpleDeclarative.tokens
Aantlr/output/SimpleDeclarativeLexer.java
Aantlr/output/SimpleDeclarativeParser.java
Aantlr/output/__Test__.java
Aantlr/output/__Test___input.txt
Aantlr/output/__Test___template.st
Aantlr/output/lisp.tokens
Aantlr/output/lispLexer.java
Aantlr/output/lispParser.java
A(dir)books/
A(dir)books/CFA/
Abooks/CFA/Berg95static.pdf
Abooks/CFA/Lec10-CFA.pdf
Abooks/CFA/Midtgaard-CSur-final.pdf
Abooks/CFA/ShiversStudienarbeit.pdf
Abooks/CFA/fir.2up.pdf
Abooks/CFA/glvlsi06.pdf
Abooks/CFA/midtgaard-jensen-revised.pdf
Abooks/CocoManual.pdf
Abooks/Engineering a Compiler.pdf
A(dir)books/GC/
Abooks/GC/10.1.1.45.4528.pdf
Abooks/GC/10.1.1.54.8088.pdf
Abooks/GC/CW2004_03_mazur.pdf
Abooks/GC/icfp2011UenoOhoriOtomoAuthorVersion.pdf
Abooks/GC/local-gc.pdf
Abooks/HaskellRules_June06.pdf
A(dir)books/TBA/
Abooks/TBA/TimeAnalHO-PEPM02.pdf
Abooks/[Kl2008]Klimov-2008--Introduction.to.supercompilation--ru.pdf
Abooks/[Ne2011]nemytykh_supercompilation_Lyapunov100.pdf
A(sym)books/[Steven_Muchnick]_Advanced_Compiler_Design_and_Imp(Bookos.org).djvu
A(sym)books/chr
A(sym)books/datalog.pdf
A(dir)books/dependency-solver/
Abooks/dependency-solver/10.1.1.86.5310.pdf
Abooks/dependency-solver/1007.1022.pdf
Abooks/dependency-solver/aptpbo.pdf
Abooks/dependency-solver/ase10.pdf
Abooks/dependency-solver/cond.lp
Abooks/dependency-solver/d4.3.pdf
A(dir)books/dependency-solver/examples/
Abooks/dependency-solver/examples/cond.lp
Abooks/dependency-solver/examples/in2.lp
Abooks/dependency-solver/examples/int.lp
Abooks/dependency-solver/guide.pdf
Abooks/dependency-solver/model_1.pdf
Abooks/dependency-solver/opium.pdf
A(dir)books/dependency-solver/potassco_guide-2010-10-04-source/
Abooks/dependency-solver/potassco_guide-2010-10-04-source.tar.gz
Abooks/dependency-solver/potassco_guide-2010-10-04-source/abstract.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/background.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/comments.sty
Abooks/dependency-solver/potassco_guide-2010-10-04-source/errors.tex
A(dir)books/dependency-solver/potassco_guide-2010-10-04-source/examples/
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/aggr.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/arithc.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/arithf.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/assign.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/bird.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/blocks.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/color.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/cond.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/costs.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/enc_toh.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/flycn.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/graph.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/ham.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/inc.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/inst_toh.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/int.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/luaf.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/luav.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/meta.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/min.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/opt.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/pool.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/sep.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/sql.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/symbc.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/twocond.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/unify.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/world0.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/world1.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/world2.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/world3.lp
Abooks/dependency-solver/potassco_guide-2010-10-04-source/examples/world4.lp
A(dir)books/dependency-solver/potassco_guide-2010-10-04-source/figures/
Abooks/dependency-solver/potassco_guide-2010-10-04-source/figures/color.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/figures/costs.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/figures/graph.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/figures/hanoi.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/figures/tsp.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/future.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/guide.bib
Abooks/dependency-solver/potassco_guide-2010-10-04-source/guide.ind
Abooks/dependency-solver/potassco_guide-2010-10-04-source/guide.rao
Abooks/dependency-solver/potassco_guide-2010-10-04-source/guide.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/introduction.log
Abooks/dependency-solver/potassco_guide-2010-10-04-source/introduction.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/language.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/lparse.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/macro.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/options.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/quickstart.tex
Abooks/dependency-solver/potassco_guide-2010-10-04-source/rail.sty
Abooks/dependency-solver/tschaub_ppdp12_1.pdf
A(dir)books/domain-specific optimizations/
Abooks/domain-specific optimizations/8.pdf
Abooks/domain-specific optimizations/GuaranteedOptimizationDSP.pdf
Abooks/domain-specific optimizations/codeboost-rule03.pdf
Abooks/flops99a.ps
Abooks/links.odt
A(dir)books/raw/
Abooks/raw/Generative Programming.pdf
Abooks/raw/fps-sans-escher.pdf
A(dir)books/raw/gp/
Abooks/raw/gp/(Lecture_Notes_in_Computer_Science_2487)Don_Batory,_Charles_Consel,_Walid_Taha-Generative_Programming_and_Component_Engineering-Springer(2002).pdf
Abooks/raw/gp/(Lecture_Notes_in_Computer_Science_2830)Frank_Pfenning,_Yannis_Smaragdakis-Generative_Programming_and_Component_Engineering__Second_International_Conference,_GPCE_2003,_Erfurt,_Germany,_September_.pdf
A(sym)books/raw/gp/098704_A8C7D_ayzeneker_u_charnecki_k_porozhdayushee_programmirovanie_meto.djvu
Abooks/raw/gp/1.djvu
Abooks/raw/gp/10.1.1.133.8017.pdf
Abooks/raw/gp/10.1.1.42.529.pdf
Abooks/raw/gp/ProgramGeneration.pdf
Abooks/raw/gp/czarnecki-ECE750-7-Lecture3_Feature_Modeling.pdf
Abooks/raw/meta.zip
Abooks/raw/plos07.pdf
A(dir)books/raw/proof/
A(sym)books/raw/proof/Barwise, Etchemendy - Language, Proof and Logic.pdf
Abooks/raw/proof/why3-manual-0.81.pdf
Abooks/raw/proof/whymulty.pdf
Abooks/raw/queens.pdf
A(dir)books/raw/sc/
Abooks/raw/sc/jonesgomardsestoft-a4.pdf
Abooks/raw/sc/metacomputing_dop.pdf
Abooks/raw/schirmer_phd.pdf
Abooks/raw/whyfp90.pdf
Abooks/rules.ps.gz
A(dir)coco/
Acoco/Parser.cpp
Acoco/Parser.h
Acoco/Scanner.cpp
Acoco/Scanner.h
Acoco/Taste-example.ATG
Acoco/Taste-example.TAS
Acoco/xreate.ATG
A(dir)cpp/
A(dir)cpp/src/
Acpp/src/ast.cpp
Acpp/src/ast.h
Acpp/src/llvmlayer.cpp
Acpp/src/llvmlayer.h
Acpp/src/main.cpp
Acpp/src/tests.cpp
A(dir)cpp/xreate/
Acpp/xreate/xreate.pro
Mproblems/containers.lp
Aproblems/example-computations2.lp
Aproblems/gte.lp

rXR1e96dd593c0c

View Options

"books/raw/(section about lisp)\320\230\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\321\213\320\271 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202. \320\241\321\202\321\200\320\260\321\202\320\265\320\263\320\270\320\270 \320\270 \320\274\320\265\321\202\320\276\320\264\321\213 \321\200\320\265\321\210\320\265\320\275\320\270\321\217 \321\201\320\273\320\276\320\266\320\275\321\213\321\205 \320\277\321\200\320\276\320\261\320\273\320\265\320\274. 4 \320\270\320\267\320\264\320\260\320\275\320\270\320\265. \320\224\320\266\320\276\321\200\320\264\320\266 \320\244. \320\233\321\216\320\263\320\265\321\200.djvu"

View Options

"books/raw/1989 \320\237\320\276\321\201\320\277\320\265\320\273\320\276\320\262 \320\224. \320\220., \320\234\320\276\320\264\320\265\320\273\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \321\200\320\260\321\201\321\201\321\203\320\266\320\264\320\265\320\275\320\270\320\271. \320\236\320\277\321\213\321\202 \320\260\320\275\320\260\320\273\320\270\320\267\320\260 \320\274\321\213\321\201\320\273\320\270\321\202\320\265\320\273\321\214\320\275\321\213\321\205 \320\260\320\272\321\202\320\276\320\262.pdf"

View Options

"books/raw/2004 \320\222\320\260\320\263\320\270\320\275 \320\222. \320\235., \320\224\320\276\321\201\321\202\320\276\320\262\320\265\321\200\320\275\321\213\320\271 \320\270 \320\277\321\200\320\260\320\262\320\264\320\276\320\277\320\276\320\264\320\276\320\261\320\275\321\213\320\271 \320\262\321\213\320\262\320\276\320\264 \320\262 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\321\203\320\260\320\273\321\214\320\275\321\213\321\205 \321\201\320\270\321\201\321\202\320\265\320\274\320\260\321\205.djvu"

View Options

"books/raw/\320\237\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \320\275\320\260 \321\217\320\267\321\213\320\272\320\265 CLIPS.doc"

View Options

"books/raw/\320\241\321\202\320\260\321\202\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \320\270 \320\264\320\270\320\275\320\260\320\274\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \321\215\320\272\321\201\320\277\320\265\321\200\321\202\320\275\321\213\320\265 \321\201\320\270\321\201\321\202\320\265\320\274\321\213. \320\255 \320\222.\320\237\320\276\320\277\320\276\320\262, \320\230.\320\221. \320\244\320\276\320\274\320\270\320\275\321\213\321\205, \320\225.\320\222. \320\232\320\270\321\201\320\265\320\273\321\214, \320\234.\320\224. \320\250\320\260\320\277\320\276\321\202.doc"

View Options

"books/raw/\320\244\321\203\320\275\320\272\321\206\320\270\320\276\320\275\320\260\320\273\321\214\320\275\320\276\320\265 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265[\320\244\320\270\320\273\320\264, \320\245\320\260\321\200\321\200\320\270\321\201\320\276\320\275].djvu"

View Options

"books/raw/proof/[\320\273. \320\262\321\213\320\262\320\276\320\264 \320\264\320\273\321\217 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274]\320\224\320\265\320\262\321\217\321\202\320\272\320\276\320\262 - \320\241\320\270\321\201\321\202\320\265\320\274\321\213 \320\270\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\320\276\320\263\320\276 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\320\260.djvu"

View Options

antlr/SimpleDeclarative.g

View Options

antlr/examples

View Options

antlr/lisp__testrig.st

View Options

antlr/output/SimpleDeclarative.tokens

View Options

antlr/output/SimpleDeclarativeLexer.java

View Options

antlr/output/SimpleDeclarativeParser.java

View Options

antlr/output/__Test__.java

View Options

antlr/output/__Test___input.txt

View Options

antlr/output/__Test___template.st

View Options

antlr/output/lisp.tokens

View Options

antlr/output/lispLexer.java

View Options

antlr/output/lispParser.java

View Options

books/CFA/Berg95static.pdf

View Options

books/CFA/Lec10-CFA.pdf

View Options

books/CFA/Midtgaard-CSur-final.pdf

View Options

books/CFA/ShiversStudienarbeit.pdf

View Options

books/CFA/fir.2up.pdf

View Options

books/CFA/glvlsi06.pdf

View Options

books/CFA/midtgaard-jensen-revised.pdf

View Options

books/CocoManual.pdf

View Options

books/Engineering a Compiler.pdf

View Options

books/GC/10.1.1.45.4528.pdf

View Options

books/GC/10.1.1.54.8088.pdf

View Options

books/GC/CW2004_03_mazur.pdf

View Options

books/GC/icfp2011UenoOhoriOtomoAuthorVersion.pdf

View Options

books/GC/local-gc.pdf

View Options

books/HaskellRules_June06.pdf

View Options

books/TBA/TimeAnalHO-PEPM02.pdf

View Options

books/[Kl2008]Klimov-2008--Introduction.to.supercompilation--ru.pdf

View Options

books/[Ne2011]nemytykh_supercompilation_Lyapunov100.pdf

View Options

books/[Steven_Muchnick]_Advanced_Compiler_Design_and_Imp(Bookos.org).djvu

View Options

books/datalog.pdf

View Options

books/dependency-solver/10.1.1.86.5310.pdf

View Options

books/dependency-solver/1007.1022.pdf

View Options

books/dependency-solver/aptpbo.pdf

View Options

books/dependency-solver/ase10.pdf

View Options

books/dependency-solver/cond.lp

View Options

books/dependency-solver/d4.3.pdf

View Options

books/dependency-solver/examples/cond.lp

View Options

books/dependency-solver/examples/in2.lp

View Options

books/dependency-solver/examples/int.lp

View Options

books/dependency-solver/guide.pdf

View Options

books/dependency-solver/model_1.pdf

View Options

books/dependency-solver/opium.pdf

View Options

books/dependency-solver/potassco_guide-2010-10-04-source.tar.gz

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/abstract.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/background.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/comments.sty

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/errors.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/aggr.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/arithc.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/arithf.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/assign.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/bird.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/blocks.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/color.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/cond.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/costs.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/enc_toh.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/flycn.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/graph.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/ham.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/inc.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/inst_toh.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/int.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/luaf.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/luav.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/meta.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/min.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/opt.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/pool.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/sep.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/sql.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/symbc.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/twocond.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/unify.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/world0.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/world1.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/world2.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/world3.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/examples/world4.lp

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/figures/color.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/figures/costs.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/figures/graph.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/figures/hanoi.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/figures/tsp.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/future.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/guide.bib

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/guide.ind

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/guide.rao

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/guide.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/introduction.log

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/introduction.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/language.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/lparse.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/macro.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/options.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/quickstart.tex

View Options

books/dependency-solver/potassco_guide-2010-10-04-source/rail.sty

View Options

books/dependency-solver/tschaub_ppdp12_1.pdf

View Options

books/domain-specific optimizations/8.pdf

View Options

books/domain-specific optimizations/GuaranteedOptimizationDSP.pdf

View Options

books/domain-specific optimizations/codeboost-rule03.pdf

View Options

books/flops99a.ps

View Options

books/links.odt

View Options

books/raw/Generative Programming.pdf

View Options

books/raw/fps-sans-escher.pdf

View Options

books/raw/gp/(Lecture_Notes_in_Computer_Science_2487)Don_Batory,_Charles_Consel,_Walid_Taha-Generative_Programming_and_Component_Engineering-Springer(2002).pdf

View Options

books/raw/gp/(Lecture_Notes_in_Computer_Science_2830)Frank_Pfenning,_Yannis_Smaragdakis-Generative_Programming_and_Component_Engineering__Second_International_Conference,_GPCE_2003,_Erfurt,_Germany,_September_.pdf

View Options

books/raw/gp/098704_A8C7D_ayzeneker_u_charnecki_k_porozhdayushee_programmirovanie_meto.djvu

View Options

books/raw/gp/1.djvu

View Options

books/raw/gp/10.1.1.133.8017.pdf

View Options

books/raw/gp/10.1.1.42.529.pdf

View Options

books/raw/gp/ProgramGeneration.pdf

View Options

books/raw/gp/czarnecki-ECE750-7-Lecture3_Feature_Modeling.pdf

View Options

books/raw/meta.zip

View Options

books/raw/plos07.pdf

View Options

books/raw/proof/Barwise, Etchemendy - Language, Proof and Logic.pdf

View Options

books/raw/proof/why3-manual-0.81.pdf

View Options

books/raw/proof/whymulty.pdf

View Options

books/raw/queens.pdf

View Options

books/raw/sc/jonesgomardsestoft-a4.pdf

View Options

books/raw/sc/metacomputing_dop.pdf

View Options

books/raw/schirmer_phd.pdf

View Options

books/raw/whyfp90.pdf

View Options

books/rules.ps.gz

View Options

coco/Parser.cpp

View Options

coco/Scanner.cpp

View Options

coco/Scanner.h

View Options

coco/Taste-example.ATG

View Options

coco/Taste-example.TAS

View Options

coco/xreate.ATG

View Options

cpp/src/ast.cpp

View Options

cpp/src/llvmlayer.cpp

View Options

cpp/src/llvmlayer.h

View Options

cpp/src/main.cpp

View Options

cpp/src/tests.cpp

View Options

cpp/xreate/xreate.pro

View Options

problems/containers.lp

View Options

problems/example-computations2.lp

View Options

problems/gte.lp

Email: pr.h7@xreate.org ยท 2019 Xreate.org ยท Powered by Phabricator