├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── Makefile ├── README ├── codegen ├── .gitignore ├── .project ├── ADT.hs ├── ADT.hs-boot ├── AST.hs ├── Analysis.hs ├── BU.hs ├── CMap.hs ├── CodeGen.hs ├── ConvertSTG.hs ├── Driver.hs ├── DupCheck.hs ├── FromGHC │ ├── BuiltIn.hs │ ├── FromGHC.hs │ ├── Naming.hs │ ├── PrettySTG.hs │ ├── PruneSTG.hs │ └── notes.txt ├── HM.hs ├── HMBU.hs ├── HMStg.hs ├── HeapObj.hs ├── InfoTab.hs ├── MHS │ ├── AST.hs │ ├── Parser.hs │ ├── ToSTG.hs │ ├── Tokenizer.hs │ ├── Transform.hs │ └── minihaskell.txt ├── Options.hs ├── OrderFVsArgs.hs ├── PPrint.hs ├── Parser.hs ├── ParserComb.hs ├── Rename.hs ├── SCC.hs ├── STGbits.hs ├── SetFVs.hs ├── State.hs ├── Tokenizer.hs ├── Util.hs ├── WiredIn.hs ├── appfl.cabal ├── appfl.hs ├── stack.yaml ├── topStgNames.sh └── wma.hs ├── docs ├── BussGuide2_Smith2012.pdf ├── TODO.txt ├── TOTHINK.txt ├── build.txt ├── gc.txt ├── heapobj.txt └── typeinference.tex ├── fy17 └── FY17.gnumeric ├── options.h ├── prelude ├── APPFL │ ├── Arr.hs │ ├── Base.hs │ ├── CString.hs │ ├── Char.hs │ ├── Classes.hs │ ├── Enum.hs │ ├── Err.hs │ ├── Exception.hs │ ├── Float.hs │ ├── Float │ │ ├── ConversionUtils.hs │ │ └── RealFracMethods.hs │ ├── Integer.hs │ ├── Integer │ │ ├── Logarithms.hs │ │ ├── Logarithms │ │ │ └── Internals.hs │ │ ├── Simple │ │ │ └── Internals.hs │ │ └── Type.hs │ ├── List.hs │ ├── Magic.hs │ ├── Num.hs │ ├── Prim.hs │ ├── PrimopWrappers.hs │ ├── Real.hs │ ├── ST.hs │ ├── Show.hs │ ├── Tuple.hs │ ├── Types.hs │ ├── Unicode.hs │ ├── VOID.hs │ └── include │ │ ├── CTypes.h │ │ ├── EventConfig.h │ │ ├── EventConfig.h.in │ │ ├── HsBase.h │ │ ├── HsBaseConfig.h │ │ ├── HsBaseConfig.h.in │ │ ├── HsEvent.h │ │ ├── MachDeps.h │ │ ├── Typeable.h │ │ ├── WCsubst.h │ │ ├── consUtils.h │ │ ├── ghcautoconf.h │ │ ├── ieee-flpt.h │ │ └── md5.h ├── AppflPrelude.hs ├── Prelude.mhs └── Prelude.stg ├── pubs ├── .gitignore ├── hcar16.1 │ ├── hcar.sty │ ├── hcar16.pdf │ ├── hcar16.tex │ └── template.tex ├── hcar16.2 │ ├── AutoparallelizingPureFunc-KA.tex │ ├── driver.pdf │ ├── driver.tex │ └── hcar.sty ├── hcar17.1 │ ├── AutoparallelizingPureFunc-KA.tex │ ├── driver.pdf │ ├── driver.tex │ └── hcar.sty ├── talks │ ├── .gitignore │ └── stg │ │ ├── .gitignore │ │ ├── Fac.hs │ │ ├── Fac.stg │ │ ├── Faco.stg │ │ ├── Letrec.hs │ │ ├── Mult │ │ ├── Mult.hs │ │ ├── Notes │ │ ├── dump-stg-o.sh │ │ ├── dump-stg.sh │ │ ├── fac.mstg │ │ ├── fac.stg │ │ ├── fac2.stg │ │ ├── faco.stg │ │ ├── ministg-run.sh │ │ ├── stg-run.sh │ │ ├── stg.pdf │ │ ├── stg.pptx │ │ ├── stg.tex │ │ ├── stg2-run.sh │ │ └── stgo-run.sh ├── tfp16-draft │ ├── Makefile │ ├── aliascnt.sty │ ├── cfp.txt │ ├── draft.tex │ ├── history.txt │ ├── llncs.cls │ ├── llncs.dem │ ├── llncs.doc │ ├── llncs.dvi │ ├── llncs.ind │ ├── llncs2e.zip │ ├── llncsdoc.pdf │ ├── llncsdoc.sty │ ├── paper.pdf │ ├── paper.tex │ ├── readme.txt │ ├── remreset.sty │ ├── slides │ │ ├── LANL-logo-gray.png │ │ ├── NNSA-logo-gray.png │ │ ├── beamerthemeLANL-beta.sty │ │ ├── example.pdf │ │ ├── example.tex │ │ ├── figures │ │ │ ├── S3Dtaskgraph-eps-converted-to.pdf │ │ │ └── S3Dtaskgraph.png │ │ ├── makefile │ │ ├── slides.pdf │ │ └── slides.tex │ ├── splncs03.bst │ ├── sprmindx.sty │ ├── subjidx.ind │ └── tfp.bib └── tfp16 │ ├── .gitignore │ └── slides │ ├── slides.nav │ ├── slides.snm │ ├── slides.toc │ └── slides.vrb ├── refs ├── HaskellRetrospective.ppt ├── ms96.pdf ├── refs.html ├── stack.pdf └── stewart_2013.pdf ├── runtime ├── .gitignore ├── .project ├── CMakeLists.txt ├── args.c ├── args.h ├── cmm.h ├── cruntime.h ├── gc.c ├── gc.h ├── heap.c ├── heap.h ├── lockfree │ ├── lockfree_queue.h │ ├── lockfree_queue_c.cpp │ └── lockfree_queue_c.h ├── log.h ├── obj.h ├── sanity.c ├── sanity.h ├── sanity.txt ├── show.c ├── show.h ├── stack.c ├── stack.h ├── stg.c ├── stg.h ├── stgapply.c ├── stgapply.h ├── stgapply_tc.c ├── stgc.h ├── stgutils.c └── stgutils.h └── test ├── CMakeLists.txt ├── haskell ├── Euler.hs ├── Euler.stg ├── Even.hs ├── Even.stg ├── Fact.hs ├── Fact.stg ├── Fibo.hs ├── Mod1.hs ├── Mod2.hs ├── Prim.hs ├── Test.appflsyn ├── Test.ghcsyn ├── Test.hs ├── Test.stg ├── Test.stgsyn ├── TestMatch.hs └── TestMatch.stgsyn ├── hs ├── CMakeLists.txt ├── add.hs ├── add2.hs ├── boolAnd.hs ├── boolList.hs ├── boolOr.hs ├── boolTrue.hs ├── error │ ├── CMakeLists.txt │ ├── emptyhead.hs │ └── undefined.hs ├── fac.hs ├── facif.hs ├── fib.hs ├── fibif.hs ├── list1.hs ├── list2.hs ├── lt.hs ├── qsort.hs ├── rep.hs ├── tuple.hs ├── zero.hs └── zip.hs ├── jenkins-ctest-plugin ├── LICENSE ├── README.md ├── ctest-to-junit.xsl └── run-test-and-save.sh ├── mhs ├── CMakeLists.txt ├── add.mhs ├── append.mhs ├── append2.mhs ├── append3.mhs ├── apply.mhs ├── bool.mhs ├── cons.mhs ├── docs.mhs ├── eqintfalse.mhs ├── eqinttrue.mhs ├── fac.mhs ├── fancy.mhs ├── fibs.mhs ├── gc1.mhs ├── let.mhs ├── letrec.mhs ├── letrec2.mhs ├── list.mhs ├── map_pap.mhs ├── map_pap2.mhs ├── max.mhs ├── min.mhs ├── minint.mhs ├── mult.mhs ├── one.mhs ├── pap.mhs ├── seq.mhs ├── take.mhs ├── tree.mhs └── zipWith.mhs └── stg ├── CMakeLists.txt ├── add.stg ├── and.stg ├── append.stg ├── append2.stg ├── append3.stg ├── apply.stg ├── arrayCreation.stg ├── binaryST1.stg ├── binaryST10.stg ├── binaryST11.stg ├── binaryST12.stg ├── binaryST13.stg ├── binaryST14.stg ├── binaryST15.stg ├── binaryST16.stg ├── binaryST17.stg ├── binaryST2.stg ├── binaryST3.stg ├── binaryST4.stg ├── binaryST5.stg ├── binaryST6.stg ├── binaryST7.stg ├── binaryST8.stg ├── binaryST9.stg ├── bool.stg ├── compareInt.stg ├── cons.stg ├── divide.stg ├── docs.stg ├── double.stg ├── elem.stg ├── eqBool.stg ├── eqList.stg ├── eqTriple.stg ├── eqintfalse.stg ├── eqinttrue.stg ├── error ├── CMakeLists.txt ├── adt1.stg ├── adt2.stg ├── comment.stg ├── con1.stg ├── con2.stg ├── dataCon1.stg ├── dataCon2.stg ├── dataCons3.stg ├── dataDouble.stg ├── dataDouble1.stg ├── dataType1.stg ├── dataType2.stg ├── dataType3.stg ├── freevar.stg ├── fun1.stg ├── fun2.stg ├── fun3.stg ├── funArg1.stg ├── funName1.stg ├── funName2.stg ├── obj.stg ├── pap2.stg ├── polyUnboxed.stg ├── semi.stg ├── thunk.stg └── topLevel.stg ├── evenArrayCreation.stg ├── evenArrayCreation1.stg ├── every1.stg ├── every2.stg ├── exp.stg ├── fac.stg ├── fibonacci.stg ├── fibs.stg ├── fibs2.stg ├── firstHalf.stg ├── fourth.stg ├── gc1.stg ├── gcd.stg ├── graph1.stg ├── graph10.stg ├── graph2.stg ├── graph3.stg ├── graph4.stg ├── graph5.stg ├── graph6.stg ├── graph7.stg ├── graph8.stg ├── graph9.stg ├── hanoi.stg ├── heapsort1.stg ├── heapsort10.stg ├── heapsort11.stg ├── heapsort12.stg ├── heapsort13.stg ├── heapsort14.stg ├── heapsort15.stg ├── heapsort16.stg ├── heapsort17.stg ├── heapsort18.stg ├── heapsort2.stg ├── heapsort3.stg ├── heapsort4.stg ├── heapsort5.stg ├── heapsort6.stg ├── heapsort7.stg ├── heapsort8.stg ├── heapsort9.stg ├── id1.stg ├── id16.stg ├── id2.stg ├── index.stg ├── indirect.stg ├── insertionSort.stg ├── last.stg ├── let.stg ├── letrec.stg ├── letrec2.stg ├── list.stg ├── listSum.stg ├── manyargs1.stg ├── manyargs2.stg ├── manyargs3.stg ├── manyargs4.stg ├── manyargs56.stg ├── manyargs57.stg ├── map_pap.stg ├── map_pap_simple.stg ├── max.stg ├── merge.stg ├── mergeSort1.stg ├── mergeSort2.stg ├── mergeSort3.stg ├── mergeSort4.stg ├── min.stg ├── minint.stg ├── msort.stg ├── mult.stg ├── naturalArrayCreation.stg ├── naturalArrayCreation1.stg ├── noNil.stg ├── nonstrict ├── CMakeLists.txt ├── nonstrictButNotLazy.stg ├── repminlist.stg └── timeout │ ├── CMakeLists.txt │ └── fac.stg ├── nostrict2 ├── CMakeLists.txt └── e0ye1ye2n.stg ├── not.stg ├── nth.stg ├── oddArrayCreation1.stg ├── one.stg ├── or.stg ├── orderedST1.stg ├── orderedST10.stg ├── orderedST11.stg ├── orderedST12.stg ├── orderedST13.stg ├── orderedST14.stg ├── orderedST15.stg ├── orderedST16.stg ├── orderedST2.stg ├── orderedST3.stg ├── orderedST4.stg ├── orderedST5.stg ├── orderedST6.stg ├── orderedST7.stg ├── orderedST8.stg ├── orderedST9.stg ├── priorityQ10.stg ├── priorityQ4.stg ├── priorityQ5.stg ├── priorityQ6.stg ├── priorityQ7.stg ├── priorityQ8.stg ├── priorityQ9.stg ├── relPrime.stg ├── remove.stg ├── second.stg ├── second2.stg ├── secondHalf.stg ├── selectionSort1.stg ├── seq.stg ├── seqfun.stg ├── shellSort1.stg ├── shellSort2.stg ├── shellSort3.stg ├── stack1.stg ├── stack2.stg ├── stack3.stg ├── stack4.stg ├── stack5.stg ├── stack6.stg ├── sum.stg ├── symbolT1.stg ├── symbolT10.stg ├── symbolT2.stg ├── symbolT3.stg ├── symbolT4.stg ├── symbolT5.stg ├── symbolT6.stg ├── symbolT7.stg ├── symbolT8.stg ├── symbolT9.stg ├── take.stg ├── third.stg ├── threeSort.stg ├── tree.stg ├── triup.stg ├── ubcon1.stg ├── ubool.stg ├── ufac.stg └── zipWith.stg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/README -------------------------------------------------------------------------------- /codegen/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/.gitignore -------------------------------------------------------------------------------- /codegen/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/.project -------------------------------------------------------------------------------- /codegen/ADT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/ADT.hs -------------------------------------------------------------------------------- /codegen/ADT.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/ADT.hs-boot -------------------------------------------------------------------------------- /codegen/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/AST.hs -------------------------------------------------------------------------------- /codegen/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Analysis.hs -------------------------------------------------------------------------------- /codegen/BU.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/BU.hs -------------------------------------------------------------------------------- /codegen/CMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/CMap.hs -------------------------------------------------------------------------------- /codegen/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/CodeGen.hs -------------------------------------------------------------------------------- /codegen/ConvertSTG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/ConvertSTG.hs -------------------------------------------------------------------------------- /codegen/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Driver.hs -------------------------------------------------------------------------------- /codegen/DupCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/DupCheck.hs -------------------------------------------------------------------------------- /codegen/FromGHC/BuiltIn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/BuiltIn.hs -------------------------------------------------------------------------------- /codegen/FromGHC/FromGHC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/FromGHC.hs -------------------------------------------------------------------------------- /codegen/FromGHC/Naming.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/Naming.hs -------------------------------------------------------------------------------- /codegen/FromGHC/PrettySTG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/PrettySTG.hs -------------------------------------------------------------------------------- /codegen/FromGHC/PruneSTG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/PruneSTG.hs -------------------------------------------------------------------------------- /codegen/FromGHC/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/FromGHC/notes.txt -------------------------------------------------------------------------------- /codegen/HM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/HM.hs -------------------------------------------------------------------------------- /codegen/HMBU.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/HMBU.hs -------------------------------------------------------------------------------- /codegen/HMStg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/HMStg.hs -------------------------------------------------------------------------------- /codegen/HeapObj.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/HeapObj.hs -------------------------------------------------------------------------------- /codegen/InfoTab.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/InfoTab.hs -------------------------------------------------------------------------------- /codegen/MHS/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/AST.hs -------------------------------------------------------------------------------- /codegen/MHS/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/Parser.hs -------------------------------------------------------------------------------- /codegen/MHS/ToSTG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/ToSTG.hs -------------------------------------------------------------------------------- /codegen/MHS/Tokenizer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/Tokenizer.hs -------------------------------------------------------------------------------- /codegen/MHS/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/Transform.hs -------------------------------------------------------------------------------- /codegen/MHS/minihaskell.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/MHS/minihaskell.txt -------------------------------------------------------------------------------- /codegen/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Options.hs -------------------------------------------------------------------------------- /codegen/OrderFVsArgs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/OrderFVsArgs.hs -------------------------------------------------------------------------------- /codegen/PPrint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/PPrint.hs -------------------------------------------------------------------------------- /codegen/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Parser.hs -------------------------------------------------------------------------------- /codegen/ParserComb.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/ParserComb.hs -------------------------------------------------------------------------------- /codegen/Rename.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Rename.hs -------------------------------------------------------------------------------- /codegen/SCC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/SCC.hs -------------------------------------------------------------------------------- /codegen/STGbits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/STGbits.hs -------------------------------------------------------------------------------- /codegen/SetFVs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/SetFVs.hs -------------------------------------------------------------------------------- /codegen/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/State.hs -------------------------------------------------------------------------------- /codegen/Tokenizer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Tokenizer.hs -------------------------------------------------------------------------------- /codegen/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/Util.hs -------------------------------------------------------------------------------- /codegen/WiredIn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/WiredIn.hs -------------------------------------------------------------------------------- /codegen/appfl.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/appfl.cabal -------------------------------------------------------------------------------- /codegen/appfl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/appfl.hs -------------------------------------------------------------------------------- /codegen/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/stack.yaml -------------------------------------------------------------------------------- /codegen/topStgNames.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/topStgNames.sh -------------------------------------------------------------------------------- /codegen/wma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/codegen/wma.hs -------------------------------------------------------------------------------- /docs/BussGuide2_Smith2012.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/BussGuide2_Smith2012.pdf -------------------------------------------------------------------------------- /docs/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/TODO.txt -------------------------------------------------------------------------------- /docs/TOTHINK.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/TOTHINK.txt -------------------------------------------------------------------------------- /docs/build.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/build.txt -------------------------------------------------------------------------------- /docs/gc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/gc.txt -------------------------------------------------------------------------------- /docs/heapobj.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/heapobj.txt -------------------------------------------------------------------------------- /docs/typeinference.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/docs/typeinference.tex -------------------------------------------------------------------------------- /fy17/FY17.gnumeric: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/fy17/FY17.gnumeric -------------------------------------------------------------------------------- /options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/options.h -------------------------------------------------------------------------------- /prelude/APPFL/Arr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Arr.hs -------------------------------------------------------------------------------- /prelude/APPFL/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Base.hs -------------------------------------------------------------------------------- /prelude/APPFL/CString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/CString.hs -------------------------------------------------------------------------------- /prelude/APPFL/Char.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Char.hs -------------------------------------------------------------------------------- /prelude/APPFL/Classes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Classes.hs -------------------------------------------------------------------------------- /prelude/APPFL/Enum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Enum.hs -------------------------------------------------------------------------------- /prelude/APPFL/Err.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Err.hs -------------------------------------------------------------------------------- /prelude/APPFL/Exception.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Exception.hs -------------------------------------------------------------------------------- /prelude/APPFL/Float.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Float.hs -------------------------------------------------------------------------------- /prelude/APPFL/Float/ConversionUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Float/ConversionUtils.hs -------------------------------------------------------------------------------- /prelude/APPFL/Float/RealFracMethods.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Float/RealFracMethods.hs -------------------------------------------------------------------------------- /prelude/APPFL/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Integer.hs -------------------------------------------------------------------------------- /prelude/APPFL/Integer/Logarithms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Integer/Logarithms.hs -------------------------------------------------------------------------------- /prelude/APPFL/Integer/Logarithms/Internals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Integer/Logarithms/Internals.hs -------------------------------------------------------------------------------- /prelude/APPFL/Integer/Simple/Internals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Integer/Simple/Internals.hs -------------------------------------------------------------------------------- /prelude/APPFL/Integer/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Integer/Type.hs -------------------------------------------------------------------------------- /prelude/APPFL/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/List.hs -------------------------------------------------------------------------------- /prelude/APPFL/Magic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Magic.hs -------------------------------------------------------------------------------- /prelude/APPFL/Num.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Num.hs -------------------------------------------------------------------------------- /prelude/APPFL/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Prim.hs -------------------------------------------------------------------------------- /prelude/APPFL/PrimopWrappers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/PrimopWrappers.hs -------------------------------------------------------------------------------- /prelude/APPFL/Real.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Real.hs -------------------------------------------------------------------------------- /prelude/APPFL/ST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/ST.hs -------------------------------------------------------------------------------- /prelude/APPFL/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Show.hs -------------------------------------------------------------------------------- /prelude/APPFL/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Tuple.hs -------------------------------------------------------------------------------- /prelude/APPFL/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Types.hs -------------------------------------------------------------------------------- /prelude/APPFL/Unicode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/Unicode.hs -------------------------------------------------------------------------------- /prelude/APPFL/VOID.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/VOID.hs -------------------------------------------------------------------------------- /prelude/APPFL/include/CTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/CTypes.h -------------------------------------------------------------------------------- /prelude/APPFL/include/EventConfig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/EventConfig.h -------------------------------------------------------------------------------- /prelude/APPFL/include/EventConfig.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/EventConfig.h.in -------------------------------------------------------------------------------- /prelude/APPFL/include/HsBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/HsBase.h -------------------------------------------------------------------------------- /prelude/APPFL/include/HsBaseConfig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/HsBaseConfig.h -------------------------------------------------------------------------------- /prelude/APPFL/include/HsBaseConfig.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/HsBaseConfig.h.in -------------------------------------------------------------------------------- /prelude/APPFL/include/HsEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/HsEvent.h -------------------------------------------------------------------------------- /prelude/APPFL/include/MachDeps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/MachDeps.h -------------------------------------------------------------------------------- /prelude/APPFL/include/Typeable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/Typeable.h -------------------------------------------------------------------------------- /prelude/APPFL/include/WCsubst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/WCsubst.h -------------------------------------------------------------------------------- /prelude/APPFL/include/consUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/consUtils.h -------------------------------------------------------------------------------- /prelude/APPFL/include/ghcautoconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/ghcautoconf.h -------------------------------------------------------------------------------- /prelude/APPFL/include/ieee-flpt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/ieee-flpt.h -------------------------------------------------------------------------------- /prelude/APPFL/include/md5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/APPFL/include/md5.h -------------------------------------------------------------------------------- /prelude/AppflPrelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/AppflPrelude.hs -------------------------------------------------------------------------------- /prelude/Prelude.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/Prelude.mhs -------------------------------------------------------------------------------- /prelude/Prelude.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/prelude/Prelude.stg -------------------------------------------------------------------------------- /pubs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/.gitignore -------------------------------------------------------------------------------- /pubs/hcar16.1/hcar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.1/hcar.sty -------------------------------------------------------------------------------- /pubs/hcar16.1/hcar16.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.1/hcar16.pdf -------------------------------------------------------------------------------- /pubs/hcar16.1/hcar16.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.1/hcar16.tex -------------------------------------------------------------------------------- /pubs/hcar16.1/template.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.1/template.tex -------------------------------------------------------------------------------- /pubs/hcar16.2/AutoparallelizingPureFunc-KA.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.2/AutoparallelizingPureFunc-KA.tex -------------------------------------------------------------------------------- /pubs/hcar16.2/driver.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.2/driver.pdf -------------------------------------------------------------------------------- /pubs/hcar16.2/driver.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.2/driver.tex -------------------------------------------------------------------------------- /pubs/hcar16.2/hcar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar16.2/hcar.sty -------------------------------------------------------------------------------- /pubs/hcar17.1/AutoparallelizingPureFunc-KA.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar17.1/AutoparallelizingPureFunc-KA.tex -------------------------------------------------------------------------------- /pubs/hcar17.1/driver.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar17.1/driver.pdf -------------------------------------------------------------------------------- /pubs/hcar17.1/driver.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar17.1/driver.tex -------------------------------------------------------------------------------- /pubs/hcar17.1/hcar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/hcar17.1/hcar.sty -------------------------------------------------------------------------------- /pubs/talks/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/.gitignore -------------------------------------------------------------------------------- /pubs/talks/stg/.gitignore: -------------------------------------------------------------------------------- 1 | trace 2 | -------------------------------------------------------------------------------- /pubs/talks/stg/Fac.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Fac.hs -------------------------------------------------------------------------------- /pubs/talks/stg/Fac.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Fac.stg -------------------------------------------------------------------------------- /pubs/talks/stg/Faco.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Faco.stg -------------------------------------------------------------------------------- /pubs/talks/stg/Letrec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Letrec.hs -------------------------------------------------------------------------------- /pubs/talks/stg/Mult: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Mult -------------------------------------------------------------------------------- /pubs/talks/stg/Mult.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Mult.hs -------------------------------------------------------------------------------- /pubs/talks/stg/Notes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/Notes -------------------------------------------------------------------------------- /pubs/talks/stg/dump-stg-o.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | ghc -c -O Fac.hs -ddump-stg 3 | -------------------------------------------------------------------------------- /pubs/talks/stg/dump-stg.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | ghc -c Fac.hs -ddump-stg 3 | -------------------------------------------------------------------------------- /pubs/talks/stg/fac.mstg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/fac.mstg -------------------------------------------------------------------------------- /pubs/talks/stg/fac.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/fac.stg -------------------------------------------------------------------------------- /pubs/talks/stg/fac2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/fac2.stg -------------------------------------------------------------------------------- /pubs/talks/stg/faco.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/faco.stg -------------------------------------------------------------------------------- /pubs/talks/stg/ministg-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/ministg-run.sh -------------------------------------------------------------------------------- /pubs/talks/stg/stg-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stg-run.sh -------------------------------------------------------------------------------- /pubs/talks/stg/stg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stg.pdf -------------------------------------------------------------------------------- /pubs/talks/stg/stg.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stg.pptx -------------------------------------------------------------------------------- /pubs/talks/stg/stg.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stg.tex -------------------------------------------------------------------------------- /pubs/talks/stg/stg2-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stg2-run.sh -------------------------------------------------------------------------------- /pubs/talks/stg/stgo-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/talks/stg/stgo-run.sh -------------------------------------------------------------------------------- /pubs/tfp16-draft/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/Makefile -------------------------------------------------------------------------------- /pubs/tfp16-draft/aliascnt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/aliascnt.sty -------------------------------------------------------------------------------- /pubs/tfp16-draft/cfp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/cfp.txt -------------------------------------------------------------------------------- /pubs/tfp16-draft/draft.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/draft.tex -------------------------------------------------------------------------------- /pubs/tfp16-draft/history.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/history.txt -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs.cls -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs.dem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs.dem -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs.doc -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs.dvi -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs.ind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs.ind -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncs2e.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncs2e.zip -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncsdoc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncsdoc.pdf -------------------------------------------------------------------------------- /pubs/tfp16-draft/llncsdoc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/llncsdoc.sty -------------------------------------------------------------------------------- /pubs/tfp16-draft/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/paper.pdf -------------------------------------------------------------------------------- /pubs/tfp16-draft/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/paper.tex -------------------------------------------------------------------------------- /pubs/tfp16-draft/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/readme.txt -------------------------------------------------------------------------------- /pubs/tfp16-draft/remreset.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/remreset.sty -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/LANL-logo-gray.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/LANL-logo-gray.png -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/NNSA-logo-gray.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/NNSA-logo-gray.png -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/beamerthemeLANL-beta.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/beamerthemeLANL-beta.sty -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/example.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/example.pdf -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/example.tex -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/figures/S3Dtaskgraph-eps-converted-to.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/figures/S3Dtaskgraph-eps-converted-to.pdf -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/figures/S3Dtaskgraph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/figures/S3Dtaskgraph.png -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/makefile -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/slides.pdf -------------------------------------------------------------------------------- /pubs/tfp16-draft/slides/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/slides/slides.tex -------------------------------------------------------------------------------- /pubs/tfp16-draft/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/splncs03.bst -------------------------------------------------------------------------------- /pubs/tfp16-draft/sprmindx.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/sprmindx.sty -------------------------------------------------------------------------------- /pubs/tfp16-draft/subjidx.ind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/subjidx.ind -------------------------------------------------------------------------------- /pubs/tfp16-draft/tfp.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16-draft/tfp.bib -------------------------------------------------------------------------------- /pubs/tfp16/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16/.gitignore -------------------------------------------------------------------------------- /pubs/tfp16/slides/slides.nav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16/slides/slides.nav -------------------------------------------------------------------------------- /pubs/tfp16/slides/slides.snm: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pubs/tfp16/slides/slides.toc: -------------------------------------------------------------------------------- 1 | \beamer@endinputifotherversion {3.36pt} 2 | -------------------------------------------------------------------------------- /pubs/tfp16/slides/slides.vrb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/pubs/tfp16/slides/slides.vrb -------------------------------------------------------------------------------- /refs/HaskellRetrospective.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/refs/HaskellRetrospective.ppt -------------------------------------------------------------------------------- /refs/ms96.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/refs/ms96.pdf -------------------------------------------------------------------------------- /refs/refs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/refs/refs.html -------------------------------------------------------------------------------- /refs/stack.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/refs/stack.pdf -------------------------------------------------------------------------------- /refs/stewart_2013.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/refs/stewart_2013.pdf -------------------------------------------------------------------------------- /runtime/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/.gitignore -------------------------------------------------------------------------------- /runtime/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/.project -------------------------------------------------------------------------------- /runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/args.c -------------------------------------------------------------------------------- /runtime/args.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/args.h -------------------------------------------------------------------------------- /runtime/cmm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/cmm.h -------------------------------------------------------------------------------- /runtime/cruntime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/cruntime.h -------------------------------------------------------------------------------- /runtime/gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/gc.c -------------------------------------------------------------------------------- /runtime/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/gc.h -------------------------------------------------------------------------------- /runtime/heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/heap.c -------------------------------------------------------------------------------- /runtime/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/heap.h -------------------------------------------------------------------------------- /runtime/lockfree/lockfree_queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/lockfree/lockfree_queue.h -------------------------------------------------------------------------------- /runtime/lockfree/lockfree_queue_c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/lockfree/lockfree_queue_c.cpp -------------------------------------------------------------------------------- /runtime/lockfree/lockfree_queue_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/lockfree/lockfree_queue_c.h -------------------------------------------------------------------------------- /runtime/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/log.h -------------------------------------------------------------------------------- /runtime/obj.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/obj.h -------------------------------------------------------------------------------- /runtime/sanity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/sanity.c -------------------------------------------------------------------------------- /runtime/sanity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/sanity.h -------------------------------------------------------------------------------- /runtime/sanity.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/sanity.txt -------------------------------------------------------------------------------- /runtime/show.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/show.c -------------------------------------------------------------------------------- /runtime/show.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/show.h -------------------------------------------------------------------------------- /runtime/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stack.c -------------------------------------------------------------------------------- /runtime/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stack.h -------------------------------------------------------------------------------- /runtime/stg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stg.c -------------------------------------------------------------------------------- /runtime/stg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stg.h -------------------------------------------------------------------------------- /runtime/stgapply.c: -------------------------------------------------------------------------------- 1 | stgapply_tc.c -------------------------------------------------------------------------------- /runtime/stgapply.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stgapply.h -------------------------------------------------------------------------------- /runtime/stgapply_tc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stgapply_tc.c -------------------------------------------------------------------------------- /runtime/stgc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stgc.h -------------------------------------------------------------------------------- /runtime/stgutils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stgutils.c -------------------------------------------------------------------------------- /runtime/stgutils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/runtime/stgutils.h -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/haskell/Euler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Euler.hs -------------------------------------------------------------------------------- /test/haskell/Euler.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Euler.stg -------------------------------------------------------------------------------- /test/haskell/Even.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Even.hs -------------------------------------------------------------------------------- /test/haskell/Even.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Even.stg -------------------------------------------------------------------------------- /test/haskell/Fact.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Fact.hs -------------------------------------------------------------------------------- /test/haskell/Fact.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Fact.stg -------------------------------------------------------------------------------- /test/haskell/Fibo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Fibo.hs -------------------------------------------------------------------------------- /test/haskell/Mod1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Mod1.hs -------------------------------------------------------------------------------- /test/haskell/Mod2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Mod2.hs -------------------------------------------------------------------------------- /test/haskell/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Prim.hs -------------------------------------------------------------------------------- /test/haskell/Test.appflsyn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Test.appflsyn -------------------------------------------------------------------------------- /test/haskell/Test.ghcsyn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Test.ghcsyn -------------------------------------------------------------------------------- /test/haskell/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Test.hs -------------------------------------------------------------------------------- /test/haskell/Test.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Test.stg -------------------------------------------------------------------------------- /test/haskell/Test.stgsyn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/Test.stgsyn -------------------------------------------------------------------------------- /test/haskell/TestMatch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/TestMatch.hs -------------------------------------------------------------------------------- /test/haskell/TestMatch.stgsyn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/haskell/TestMatch.stgsyn -------------------------------------------------------------------------------- /test/hs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/CMakeLists.txt -------------------------------------------------------------------------------- /test/hs/add.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/add.hs -------------------------------------------------------------------------------- /test/hs/add2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/add2.hs -------------------------------------------------------------------------------- /test/hs/boolAnd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/boolAnd.hs -------------------------------------------------------------------------------- /test/hs/boolList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/boolList.hs -------------------------------------------------------------------------------- /test/hs/boolOr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/boolOr.hs -------------------------------------------------------------------------------- /test/hs/boolTrue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/boolTrue.hs -------------------------------------------------------------------------------- /test/hs/error/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/error/CMakeLists.txt -------------------------------------------------------------------------------- /test/hs/error/emptyhead.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/error/emptyhead.hs -------------------------------------------------------------------------------- /test/hs/error/undefined.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/error/undefined.hs -------------------------------------------------------------------------------- /test/hs/fac.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/fac.hs -------------------------------------------------------------------------------- /test/hs/facif.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/facif.hs -------------------------------------------------------------------------------- /test/hs/fib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/fib.hs -------------------------------------------------------------------------------- /test/hs/fibif.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/fibif.hs -------------------------------------------------------------------------------- /test/hs/list1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/list1.hs -------------------------------------------------------------------------------- /test/hs/list2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/list2.hs -------------------------------------------------------------------------------- /test/hs/lt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/lt.hs -------------------------------------------------------------------------------- /test/hs/qsort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/qsort.hs -------------------------------------------------------------------------------- /test/hs/rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/rep.hs -------------------------------------------------------------------------------- /test/hs/tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/tuple.hs -------------------------------------------------------------------------------- /test/hs/zero.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/zero.hs -------------------------------------------------------------------------------- /test/hs/zip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/hs/zip.hs -------------------------------------------------------------------------------- /test/jenkins-ctest-plugin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/jenkins-ctest-plugin/LICENSE -------------------------------------------------------------------------------- /test/jenkins-ctest-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/jenkins-ctest-plugin/README.md -------------------------------------------------------------------------------- /test/jenkins-ctest-plugin/ctest-to-junit.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/jenkins-ctest-plugin/ctest-to-junit.xsl -------------------------------------------------------------------------------- /test/jenkins-ctest-plugin/run-test-and-save.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/jenkins-ctest-plugin/run-test-and-save.sh -------------------------------------------------------------------------------- /test/mhs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/CMakeLists.txt -------------------------------------------------------------------------------- /test/mhs/add.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/add.mhs -------------------------------------------------------------------------------- /test/mhs/append.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/append.mhs -------------------------------------------------------------------------------- /test/mhs/append2.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/append2.mhs -------------------------------------------------------------------------------- /test/mhs/append3.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/append3.mhs -------------------------------------------------------------------------------- /test/mhs/apply.mhs: -------------------------------------------------------------------------------- 1 | main = apply const True 22 2 | -------------------------------------------------------------------------------- /test/mhs/bool.mhs: -------------------------------------------------------------------------------- 1 | main = True 2 | -------------------------------------------------------------------------------- /test/mhs/cons.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/cons.mhs -------------------------------------------------------------------------------- /test/mhs/docs.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/docs.mhs -------------------------------------------------------------------------------- /test/mhs/eqintfalse.mhs: -------------------------------------------------------------------------------- 1 | main = not (eqInt 1 5) 2 | -------------------------------------------------------------------------------- /test/mhs/eqinttrue.mhs: -------------------------------------------------------------------------------- 1 | main = eqInt 1 1 2 | -------------------------------------------------------------------------------- /test/mhs/fac.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/fac.mhs -------------------------------------------------------------------------------- /test/mhs/fancy.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/fancy.mhs -------------------------------------------------------------------------------- /test/mhs/fibs.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/fibs.mhs -------------------------------------------------------------------------------- /test/mhs/gc1.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/gc1.mhs -------------------------------------------------------------------------------- /test/mhs/let.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/let.mhs -------------------------------------------------------------------------------- /test/mhs/letrec.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/letrec.mhs -------------------------------------------------------------------------------- /test/mhs/letrec2.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/letrec2.mhs -------------------------------------------------------------------------------- /test/mhs/list.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/list.mhs -------------------------------------------------------------------------------- /test/mhs/map_pap.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/map_pap.mhs -------------------------------------------------------------------------------- /test/mhs/map_pap2.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/map_pap2.mhs -------------------------------------------------------------------------------- /test/mhs/max.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/max.mhs -------------------------------------------------------------------------------- /test/mhs/min.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/min.mhs -------------------------------------------------------------------------------- /test/mhs/minint.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/minint.mhs -------------------------------------------------------------------------------- /test/mhs/mult.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/mult.mhs -------------------------------------------------------------------------------- /test/mhs/one.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/one.mhs -------------------------------------------------------------------------------- /test/mhs/pap.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/pap.mhs -------------------------------------------------------------------------------- /test/mhs/seq.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/seq.mhs -------------------------------------------------------------------------------- /test/mhs/take.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/take.mhs -------------------------------------------------------------------------------- /test/mhs/tree.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/tree.mhs -------------------------------------------------------------------------------- /test/mhs/zipWith.mhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/mhs/zipWith.mhs -------------------------------------------------------------------------------- /test/stg/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/CMakeLists.txt -------------------------------------------------------------------------------- /test/stg/add.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/add.stg -------------------------------------------------------------------------------- /test/stg/and.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/and.stg -------------------------------------------------------------------------------- /test/stg/append.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/append.stg -------------------------------------------------------------------------------- /test/stg/append2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/append2.stg -------------------------------------------------------------------------------- /test/stg/append3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/append3.stg -------------------------------------------------------------------------------- /test/stg/apply.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/apply.stg -------------------------------------------------------------------------------- /test/stg/arrayCreation.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/arrayCreation.stg -------------------------------------------------------------------------------- /test/stg/binaryST1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST1.stg -------------------------------------------------------------------------------- /test/stg/binaryST10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST10.stg -------------------------------------------------------------------------------- /test/stg/binaryST11.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST11.stg -------------------------------------------------------------------------------- /test/stg/binaryST12.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST12.stg -------------------------------------------------------------------------------- /test/stg/binaryST13.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST13.stg -------------------------------------------------------------------------------- /test/stg/binaryST14.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST14.stg -------------------------------------------------------------------------------- /test/stg/binaryST15.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST15.stg -------------------------------------------------------------------------------- /test/stg/binaryST16.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST16.stg -------------------------------------------------------------------------------- /test/stg/binaryST17.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST17.stg -------------------------------------------------------------------------------- /test/stg/binaryST2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST2.stg -------------------------------------------------------------------------------- /test/stg/binaryST3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST3.stg -------------------------------------------------------------------------------- /test/stg/binaryST4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST4.stg -------------------------------------------------------------------------------- /test/stg/binaryST5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST5.stg -------------------------------------------------------------------------------- /test/stg/binaryST6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST6.stg -------------------------------------------------------------------------------- /test/stg/binaryST7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST7.stg -------------------------------------------------------------------------------- /test/stg/binaryST8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST8.stg -------------------------------------------------------------------------------- /test/stg/binaryST9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/binaryST9.stg -------------------------------------------------------------------------------- /test/stg/bool.stg: -------------------------------------------------------------------------------- 1 | main = THUNK(true); 2 | 3 | -------------------------------------------------------------------------------- /test/stg/compareInt.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/compareInt.stg -------------------------------------------------------------------------------- /test/stg/cons.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/cons.stg -------------------------------------------------------------------------------- /test/stg/divide.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/divide.stg -------------------------------------------------------------------------------- /test/stg/docs.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/docs.stg -------------------------------------------------------------------------------- /test/stg/double.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/double.stg -------------------------------------------------------------------------------- /test/stg/elem.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/elem.stg -------------------------------------------------------------------------------- /test/stg/eqBool.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/eqBool.stg -------------------------------------------------------------------------------- /test/stg/eqList.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/eqList.stg -------------------------------------------------------------------------------- /test/stg/eqTriple.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/eqTriple.stg -------------------------------------------------------------------------------- /test/stg/eqintfalse.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/eqintfalse.stg -------------------------------------------------------------------------------- /test/stg/eqinttrue.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/eqinttrue.stg -------------------------------------------------------------------------------- /test/stg/error/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/CMakeLists.txt -------------------------------------------------------------------------------- /test/stg/error/adt1.stg: -------------------------------------------------------------------------------- 1 | -- lowercase tycon 2 | data foo = A | B; 3 | 4 | -------------------------------------------------------------------------------- /test/stg/error/adt2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/adt2.stg -------------------------------------------------------------------------------- /test/stg/error/comment.stg: -------------------------------------------------------------------------------- 1 | -- mismatched comment 2 | {- 3 | -------------------------------------------------------------------------------- /test/stg/error/con1.stg: -------------------------------------------------------------------------------- 1 | -- lowercase constructor 2 | foo = CON(i 1); 3 | -------------------------------------------------------------------------------- /test/stg/error/con2.stg: -------------------------------------------------------------------------------- 1 | -- non-existant constructor (not in conmap) 2 | foo = CON(J 1); 3 | -------------------------------------------------------------------------------- /test/stg/error/dataCon1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataCon1.stg -------------------------------------------------------------------------------- /test/stg/error/dataCon2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataCon2.stg -------------------------------------------------------------------------------- /test/stg/error/dataCons3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataCons3.stg -------------------------------------------------------------------------------- /test/stg/error/dataDouble.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataDouble.stg -------------------------------------------------------------------------------- /test/stg/error/dataDouble1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataDouble1.stg -------------------------------------------------------------------------------- /test/stg/error/dataType1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataType1.stg -------------------------------------------------------------------------------- /test/stg/error/dataType2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataType2.stg -------------------------------------------------------------------------------- /test/stg/error/dataType3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/dataType3.stg -------------------------------------------------------------------------------- /test/stg/error/freevar.stg: -------------------------------------------------------------------------------- 1 | -- undefiend var 2 | main = THUNK(a); 3 | 4 | -------------------------------------------------------------------------------- /test/stg/error/fun1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/fun1.stg -------------------------------------------------------------------------------- /test/stg/error/fun2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/fun2.stg -------------------------------------------------------------------------------- /test/stg/error/fun3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/fun3.stg -------------------------------------------------------------------------------- /test/stg/error/funArg1.stg: -------------------------------------------------------------------------------- 1 | -- Duplicate function arguments 2 | badArgs = FUN(x x -> y); -------------------------------------------------------------------------------- /test/stg/error/funName1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/funName1.stg -------------------------------------------------------------------------------- /test/stg/error/funName2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/funName2.stg -------------------------------------------------------------------------------- /test/stg/error/obj.stg: -------------------------------------------------------------------------------- 1 | -- missing obj 2 | main = 3 | 4 | -------------------------------------------------------------------------------- /test/stg/error/pap2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/pap2.stg -------------------------------------------------------------------------------- /test/stg/error/polyUnboxed.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/polyUnboxed.stg -------------------------------------------------------------------------------- /test/stg/error/semi.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/semi.stg -------------------------------------------------------------------------------- /test/stg/error/thunk.stg: -------------------------------------------------------------------------------- 1 | -- missing expr in thunk 2 | main = THUNK(); 3 | 4 | -------------------------------------------------------------------------------- /test/stg/error/topLevel.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/error/topLevel.stg -------------------------------------------------------------------------------- /test/stg/evenArrayCreation.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/evenArrayCreation.stg -------------------------------------------------------------------------------- /test/stg/evenArrayCreation1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/evenArrayCreation1.stg -------------------------------------------------------------------------------- /test/stg/every1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/every1.stg -------------------------------------------------------------------------------- /test/stg/every2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/every2.stg -------------------------------------------------------------------------------- /test/stg/exp.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/exp.stg -------------------------------------------------------------------------------- /test/stg/fac.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/fac.stg -------------------------------------------------------------------------------- /test/stg/fibonacci.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/fibonacci.stg -------------------------------------------------------------------------------- /test/stg/fibs.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/fibs.stg -------------------------------------------------------------------------------- /test/stg/fibs2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/fibs2.stg -------------------------------------------------------------------------------- /test/stg/firstHalf.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/firstHalf.stg -------------------------------------------------------------------------------- /test/stg/fourth.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/fourth.stg -------------------------------------------------------------------------------- /test/stg/gc1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/gc1.stg -------------------------------------------------------------------------------- /test/stg/gcd.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/gcd.stg -------------------------------------------------------------------------------- /test/stg/graph1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph1.stg -------------------------------------------------------------------------------- /test/stg/graph10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph10.stg -------------------------------------------------------------------------------- /test/stg/graph2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph2.stg -------------------------------------------------------------------------------- /test/stg/graph3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph3.stg -------------------------------------------------------------------------------- /test/stg/graph4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph4.stg -------------------------------------------------------------------------------- /test/stg/graph5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph5.stg -------------------------------------------------------------------------------- /test/stg/graph6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph6.stg -------------------------------------------------------------------------------- /test/stg/graph7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph7.stg -------------------------------------------------------------------------------- /test/stg/graph8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph8.stg -------------------------------------------------------------------------------- /test/stg/graph9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/graph9.stg -------------------------------------------------------------------------------- /test/stg/hanoi.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/hanoi.stg -------------------------------------------------------------------------------- /test/stg/heapsort1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort1.stg -------------------------------------------------------------------------------- /test/stg/heapsort10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort10.stg -------------------------------------------------------------------------------- /test/stg/heapsort11.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort11.stg -------------------------------------------------------------------------------- /test/stg/heapsort12.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort12.stg -------------------------------------------------------------------------------- /test/stg/heapsort13.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort13.stg -------------------------------------------------------------------------------- /test/stg/heapsort14.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort14.stg -------------------------------------------------------------------------------- /test/stg/heapsort15.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort15.stg -------------------------------------------------------------------------------- /test/stg/heapsort16.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort16.stg -------------------------------------------------------------------------------- /test/stg/heapsort17.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort17.stg -------------------------------------------------------------------------------- /test/stg/heapsort18.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort18.stg -------------------------------------------------------------------------------- /test/stg/heapsort2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort2.stg -------------------------------------------------------------------------------- /test/stg/heapsort3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort3.stg -------------------------------------------------------------------------------- /test/stg/heapsort4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort4.stg -------------------------------------------------------------------------------- /test/stg/heapsort5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort5.stg -------------------------------------------------------------------------------- /test/stg/heapsort6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort6.stg -------------------------------------------------------------------------------- /test/stg/heapsort7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort7.stg -------------------------------------------------------------------------------- /test/stg/heapsort8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort8.stg -------------------------------------------------------------------------------- /test/stg/heapsort9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/heapsort9.stg -------------------------------------------------------------------------------- /test/stg/id1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/id1.stg -------------------------------------------------------------------------------- /test/stg/id16.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/id16.stg -------------------------------------------------------------------------------- /test/stg/id2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/id2.stg -------------------------------------------------------------------------------- /test/stg/index.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/index.stg -------------------------------------------------------------------------------- /test/stg/indirect.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/indirect.stg -------------------------------------------------------------------------------- /test/stg/insertionSort.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/insertionSort.stg -------------------------------------------------------------------------------- /test/stg/last.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/last.stg -------------------------------------------------------------------------------- /test/stg/let.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/let.stg -------------------------------------------------------------------------------- /test/stg/letrec.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/letrec.stg -------------------------------------------------------------------------------- /test/stg/letrec2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/letrec2.stg -------------------------------------------------------------------------------- /test/stg/list.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/list.stg -------------------------------------------------------------------------------- /test/stg/listSum.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/listSum.stg -------------------------------------------------------------------------------- /test/stg/manyargs1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs1.stg -------------------------------------------------------------------------------- /test/stg/manyargs2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs2.stg -------------------------------------------------------------------------------- /test/stg/manyargs3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs3.stg -------------------------------------------------------------------------------- /test/stg/manyargs4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs4.stg -------------------------------------------------------------------------------- /test/stg/manyargs56.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs56.stg -------------------------------------------------------------------------------- /test/stg/manyargs57.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/manyargs57.stg -------------------------------------------------------------------------------- /test/stg/map_pap.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/map_pap.stg -------------------------------------------------------------------------------- /test/stg/map_pap_simple.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/map_pap_simple.stg -------------------------------------------------------------------------------- /test/stg/max.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/max.stg -------------------------------------------------------------------------------- /test/stg/merge.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/merge.stg -------------------------------------------------------------------------------- /test/stg/mergeSort1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/mergeSort1.stg -------------------------------------------------------------------------------- /test/stg/mergeSort2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/mergeSort2.stg -------------------------------------------------------------------------------- /test/stg/mergeSort3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/mergeSort3.stg -------------------------------------------------------------------------------- /test/stg/mergeSort4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/mergeSort4.stg -------------------------------------------------------------------------------- /test/stg/min.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/min.stg -------------------------------------------------------------------------------- /test/stg/minint.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/minint.stg -------------------------------------------------------------------------------- /test/stg/msort.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/msort.stg -------------------------------------------------------------------------------- /test/stg/mult.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/mult.stg -------------------------------------------------------------------------------- /test/stg/naturalArrayCreation.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/naturalArrayCreation.stg -------------------------------------------------------------------------------- /test/stg/naturalArrayCreation1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/naturalArrayCreation1.stg -------------------------------------------------------------------------------- /test/stg/noNil.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/noNil.stg -------------------------------------------------------------------------------- /test/stg/nonstrict/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nonstrict/CMakeLists.txt -------------------------------------------------------------------------------- /test/stg/nonstrict/nonstrictButNotLazy.stg: -------------------------------------------------------------------------------- 1 | main = THUNK(const true blackhole); 2 | 3 | -------------------------------------------------------------------------------- /test/stg/nonstrict/repminlist.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nonstrict/repminlist.stg -------------------------------------------------------------------------------- /test/stg/nonstrict/timeout/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nonstrict/timeout/CMakeLists.txt -------------------------------------------------------------------------------- /test/stg/nonstrict/timeout/fac.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nonstrict/timeout/fac.stg -------------------------------------------------------------------------------- /test/stg/nostrict2/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nostrict2/CMakeLists.txt -------------------------------------------------------------------------------- /test/stg/nostrict2/e0ye1ye2n.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nostrict2/e0ye1ye2n.stg -------------------------------------------------------------------------------- /test/stg/not.stg: -------------------------------------------------------------------------------- 1 | --Test 2 | main = THUNK(not false); 3 | 4 | -------------------------------------------------------------------------------- /test/stg/nth.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/nth.stg -------------------------------------------------------------------------------- /test/stg/oddArrayCreation1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/oddArrayCreation1.stg -------------------------------------------------------------------------------- /test/stg/one.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/one.stg -------------------------------------------------------------------------------- /test/stg/or.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/or.stg -------------------------------------------------------------------------------- /test/stg/orderedST1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST1.stg -------------------------------------------------------------------------------- /test/stg/orderedST10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST10.stg -------------------------------------------------------------------------------- /test/stg/orderedST11.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST11.stg -------------------------------------------------------------------------------- /test/stg/orderedST12.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST12.stg -------------------------------------------------------------------------------- /test/stg/orderedST13.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST13.stg -------------------------------------------------------------------------------- /test/stg/orderedST14.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST14.stg -------------------------------------------------------------------------------- /test/stg/orderedST15.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST15.stg -------------------------------------------------------------------------------- /test/stg/orderedST16.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST16.stg -------------------------------------------------------------------------------- /test/stg/orderedST2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST2.stg -------------------------------------------------------------------------------- /test/stg/orderedST3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST3.stg -------------------------------------------------------------------------------- /test/stg/orderedST4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST4.stg -------------------------------------------------------------------------------- /test/stg/orderedST5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST5.stg -------------------------------------------------------------------------------- /test/stg/orderedST6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST6.stg -------------------------------------------------------------------------------- /test/stg/orderedST7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST7.stg -------------------------------------------------------------------------------- /test/stg/orderedST8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST8.stg -------------------------------------------------------------------------------- /test/stg/orderedST9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/orderedST9.stg -------------------------------------------------------------------------------- /test/stg/priorityQ10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ10.stg -------------------------------------------------------------------------------- /test/stg/priorityQ4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ4.stg -------------------------------------------------------------------------------- /test/stg/priorityQ5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ5.stg -------------------------------------------------------------------------------- /test/stg/priorityQ6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ6.stg -------------------------------------------------------------------------------- /test/stg/priorityQ7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ7.stg -------------------------------------------------------------------------------- /test/stg/priorityQ8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ8.stg -------------------------------------------------------------------------------- /test/stg/priorityQ9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/priorityQ9.stg -------------------------------------------------------------------------------- /test/stg/relPrime.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/relPrime.stg -------------------------------------------------------------------------------- /test/stg/remove.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/remove.stg -------------------------------------------------------------------------------- /test/stg/second.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/second.stg -------------------------------------------------------------------------------- /test/stg/second2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/second2.stg -------------------------------------------------------------------------------- /test/stg/secondHalf.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/secondHalf.stg -------------------------------------------------------------------------------- /test/stg/selectionSort1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/selectionSort1.stg -------------------------------------------------------------------------------- /test/stg/seq.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/seq.stg -------------------------------------------------------------------------------- /test/stg/seqfun.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/seqfun.stg -------------------------------------------------------------------------------- /test/stg/shellSort1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/shellSort1.stg -------------------------------------------------------------------------------- /test/stg/shellSort2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/shellSort2.stg -------------------------------------------------------------------------------- /test/stg/shellSort3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/shellSort3.stg -------------------------------------------------------------------------------- /test/stg/stack1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack1.stg -------------------------------------------------------------------------------- /test/stg/stack2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack2.stg -------------------------------------------------------------------------------- /test/stg/stack3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack3.stg -------------------------------------------------------------------------------- /test/stg/stack4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack4.stg -------------------------------------------------------------------------------- /test/stg/stack5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack5.stg -------------------------------------------------------------------------------- /test/stg/stack6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/stack6.stg -------------------------------------------------------------------------------- /test/stg/sum.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/sum.stg -------------------------------------------------------------------------------- /test/stg/symbolT1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT1.stg -------------------------------------------------------------------------------- /test/stg/symbolT10.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT10.stg -------------------------------------------------------------------------------- /test/stg/symbolT2.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT2.stg -------------------------------------------------------------------------------- /test/stg/symbolT3.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT3.stg -------------------------------------------------------------------------------- /test/stg/symbolT4.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT4.stg -------------------------------------------------------------------------------- /test/stg/symbolT5.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT5.stg -------------------------------------------------------------------------------- /test/stg/symbolT6.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT6.stg -------------------------------------------------------------------------------- /test/stg/symbolT7.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT7.stg -------------------------------------------------------------------------------- /test/stg/symbolT8.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT8.stg -------------------------------------------------------------------------------- /test/stg/symbolT9.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/symbolT9.stg -------------------------------------------------------------------------------- /test/stg/take.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/take.stg -------------------------------------------------------------------------------- /test/stg/third.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/third.stg -------------------------------------------------------------------------------- /test/stg/threeSort.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/threeSort.stg -------------------------------------------------------------------------------- /test/stg/tree.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/tree.stg -------------------------------------------------------------------------------- /test/stg/triup.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/triup.stg -------------------------------------------------------------------------------- /test/stg/ubcon1.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/ubcon1.stg -------------------------------------------------------------------------------- /test/stg/ubool.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/ubool.stg -------------------------------------------------------------------------------- /test/stg/ufac.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/ufac.stg -------------------------------------------------------------------------------- /test/stg/zipWith.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lanl/APPFL/HEAD/test/stg/zipWith.stg --------------------------------------------------------------------------------