├── .gitignore ├── README.md ├── Tutorial ├── 2012-05-31_setlX_2_aleph_0_export.png ├── Examples │ ├── add-complex.stlx │ ├── add-complex.stlx.reference │ ├── alice.txt │ ├── allPermutations.stlx │ ├── allPermutations.stlx.reference │ ├── binary-tree-no-matching.stlx │ ├── binary-tree-no-matching.stlx.reference │ ├── binary-tree.stlx │ ├── binary-tree.stlx.reference │ ├── bisection-exception.stlx │ ├── bisection-exception.stlx.input │ ├── bisection-exception.stlx.reference │ ├── break-and-continue.stlx │ ├── break-and-continue.stlx.reference │ ├── bug.stlx │ ├── bug.stlx.reference │ ├── buggy-map.stlx │ ├── buggy-map.stlx.reference │ ├── complex.stlx │ ├── complex.stlx.reference │ ├── counter-closure.stlx │ ├── counter-closure.stlx.reference │ ├── dijkstra.stlx │ ├── dijkstra.stlx.reference │ ├── dijkstraData.txt │ ├── discrete.stlx │ ├── discrete.stlx.reference │ ├── exam.stlx │ ├── exam.stlx.reference │ ├── extract-phone-code.stlx │ ├── extract-phone-code.stlx.reference │ ├── fibonacci-cached.stlx │ ├── fibonacci-cached.stlx.reference │ ├── fibonacci-timed.stlx │ ├── fibonacci-trace.stlx │ ├── fibonacci-trace.stlx.reference │ ├── fibonacci.stlx │ ├── fibonacci.stlx.reference │ ├── find-comments-scan.stlx │ ├── find-comments-scan.stlx.reference │ ├── find-comments.stlx │ ├── find-comments.stlx.reference │ ├── find-palindrome.stlx │ ├── find-palindrome.stlx.reference │ ├── finite-difference.stlx │ ├── finite-difference.stlx.reference │ ├── functions.stlx │ ├── functions.stlx.reference │ ├── get-data.txt │ ├── guess-number.stlx │ ├── knapsack-cached.stlx │ ├── knapsack-cached.stlx.reference │ ├── la-examples.stlx │ ├── la-examples.stlx.reference │ ├── lambda.stlx │ ├── lambda.stlx.reference │ ├── map.stlx │ ├── map.stlx.reference │ ├── merge-sort.stlx │ ├── merge-sort.stlx.reference │ ├── multiplication-table.stlx │ ├── multiplication-table.stlx.reference │ ├── nfa-2-string.stlx │ ├── nominator.stlx │ ├── nominator.stlx.reference │ ├── performance-bool.stlx │ ├── performance-bool.stlx.reference │ ├── performance.stlx │ ├── performance.stlx.reference │ ├── point-colored.stlx │ ├── point-colored.stlx.reference │ ├── point-static.stlx │ ├── point-static.stlx.reference │ ├── point.stlx │ ├── point.stlx.reference │ ├── primes-slim.stlx │ ├── primes-slim.stlx.reference │ ├── primes.stlx │ ├── primes.stlx.reference │ ├── profile-decorator.stlx │ ├── profile-decorator.stlx.reference │ ├── pythagoras.stlx │ ├── pythagoras.stlx.reference │ ├── queens-all.stlx │ ├── queens-all.stlx.reference │ ├── queens-backtrack.stlx │ ├── queens-backtrack.stlx.reference │ ├── queens-nice.stlx │ ├── queens-nice.stlx.reference │ ├── reduce.stlx │ ├── reduce.stlx.reference │ ├── regexp-2-nfa.stlx │ ├── regexp-2-nfa.stlx.reference │ ├── regexp-parser.stlx │ ├── regexp.stlx │ ├── regexp.stlx.reference │ ├── regression.stlx │ ├── regression.stlx.reference │ ├── relational-product-for.stlx │ ├── relational-product-for.stlx.reference │ ├── relational-product.stlx │ ├── relational-product.stlx.reference │ ├── result.txt │ ├── reverse-list.stlx │ ├── reverse-list.stlx.reference │ ├── reverse-long.stlx │ ├── reverse-long.stlx.reference │ ├── reverse.stlx │ ├── reverse.stlx.reference │ ├── scope-for-loop.stlx │ ├── scope-for-loop.stlx.reference │ ├── set-sort.stlx │ ├── set-sort.stlx.reference │ ├── solve-linear.stlx │ ├── solve-linear.stlx.reference │ ├── sort3.stlx │ ├── sort3.stlx.reference │ ├── sort3switch.stlx │ ├── sort3switch.stlx.reference │ ├── sqrt.stlx │ ├── sqrt.stlx.reference │ ├── test-get.stlx │ ├── test-get.stlx.input │ ├── test-get.stlx.reference │ ├── test-match.stlx │ ├── test-match.stlx.reference │ ├── test.c │ ├── toBin.stlx │ ├── toBin.stlx.reference │ ├── trace-decorator.stlx │ ├── trace-decorator.stlx.reference │ ├── ulam.stlx │ ├── ulam.stlx.reference │ ├── zebra-fast.stlx │ ├── zebra-long.stlx │ ├── zebra-long.stlx.reference │ ├── zebra.stlx │ └── zebra.stlx.reference ├── Makefile ├── aChar.eps ├── aConcat.eps ├── aPlus.eps ├── aStar.eps ├── aleph0.eps ├── backtracking.tex ├── basics.tex ├── chess30.mf ├── chess30.tfm ├── chessbase.mf ├── chesspieces.mf ├── circle.eps ├── circle.png ├── closures.tex ├── cosine.png ├── cs.bib ├── diagbox.sty ├── fathers-and-sons.eps ├── fathers-and-sons.png ├── graph.dot ├── graph.eps ├── graph.ps ├── graphics.tex ├── hypotrochoid.eps ├── hypotrochoid.png ├── introduction.tex ├── linear-algebra.tex ├── oo.tex ├── parabola1.eps ├── parabola1.png ├── parabola2.eps ├── parabola2.png ├── parabola3.eps ├── parabola3.png ├── plotting.tex ├── predefined-functions.tex ├── race-incarceration.eps ├── race-incarceration.png ├── race-population.eps ├── race-population.png ├── regular-expressions.tex ├── statements.tex ├── statistics.tex ├── things_to_do.txt ├── tutorial.bbl ├── tutorial.tex ├── types.tex ├── world-population.eps └── world-population.png ├── changelog.txt ├── createDistributions ├── documentation ├── Makefile ├── config │ ├── configuration.tex │ └── header.tex ├── developmentGuide.tex └── manual.tex ├── example_SetlX_code ├── aStar.stlx ├── aStar.stlx.reference ├── aStar_hanoi.stlx ├── aStar_hanoi.stlx.reference ├── aStar_hanoi_exact.stlx ├── aStar_hanoi_exact.stlx.reference ├── animation_testcode │ ├── aStar_hanoi_exact_animation.stlx │ └── hanoi_animation.stlx ├── check-equivalence.stlx ├── check-equivalence.stlx.reference ├── complex.stlx ├── complex.stlx.reference ├── converted_Setl2_code │ ├── 2.12_Printing_the_elements_of_a_set.stlx │ ├── 2.12_Printing_the_elements_of_a_set.stlx.reference │ ├── 2.13_More_Operators_on_lists_and_sets.stlx │ ├── 2.13_More_Operators_on_lists_and_sets.stlx.reference │ ├── 2.18_A_n_infinite_loop.stlx │ ├── 2.8_non-functional_binary_relations.stlx │ ├── 2.8_non-functional_binary_relations.stlx.reference │ ├── aufgaben_zur_gdi.stlx │ ├── aufgaben_zur_gdi.stlx.reference │ ├── case.stlx │ ├── case.stlx.input │ ├── case.stlx.reference │ ├── closure.stlx │ ├── closure.stlx.reference │ ├── function.stlx │ ├── function.stlx.reference │ ├── ggt.stlx │ ├── ggt.stlx.reference │ ├── ggt2.stlx │ ├── ggt2.stlx.input │ ├── ggt2.stlx.reference │ ├── hanoi-slim.stlx │ ├── hanoi-slim.stlx.reference │ ├── hanoi.stlx │ ├── hanoi.stlx.reference │ ├── hanoi2.stlx │ ├── hanoi2.stlx.reference │ ├── hello.stlx │ ├── hello.stlx.reference │ ├── kgv.stlx │ ├── kgv.stlx.reference │ ├── kgv2.stlx │ ├── kgv2.stlx.input │ ├── kgv2.stlx.reference │ ├── klausur_aufgabe_power.stlx │ ├── klausur_aufgabe_power.stlx.reference │ ├── klausur_aufgaben.stlx │ ├── klausur_aufgaben.stlx.reference │ ├── knf.stlx │ ├── knf.stlx.reference │ ├── kokosnuss.stlx │ ├── kokosnuss.stlx.reference │ ├── min-sort.stlx │ ├── min-sort.stlx.reference │ ├── pfefferkoerner.stlx │ ├── pfefferkoerner.stlx.reference │ ├── poker-tripple.stlx │ ├── poker-tripple.stlx.reference │ ├── poker.stlx │ ├── poker.stlx.reference │ ├── primes-eratosthenes-fast.stlx │ ├── primes-eratosthenes-fast.stlx.reference │ ├── primes-eratosthenes.stlx │ ├── primes-eratosthenes.stlx.reference │ ├── primes-forall.stlx │ ├── primes-forall.stlx.reference │ ├── primes-set.stlx │ ├── primes-set.stlx.reference │ ├── primes-sieve.stlx │ ├── primes-sieve.stlx.reference │ ├── primes-while.stlx │ ├── primes-while.stlx.reference │ ├── primes.stlx │ ├── primes.stlx.reference │ ├── simple.stlx │ ├── simple.stlx.reference │ ├── solve.stlx │ ├── solve.stlx.reference │ ├── sum.stlx │ ├── sum.stlx.input │ ├── sum.stlx.reference │ ├── tautology.stlx │ ├── tautology.stlx.input │ ├── tautology.stlx.reference │ ├── variables.stlx │ ├── variables.stlx.reference │ ├── watson.stlx │ ├── watson.stlx.reference │ ├── weinhaendler.stlx │ ├── weinhaendler.stlx.reference │ ├── wolf-ziege-kohl.stlx │ └── wolf-ziege-kohl.stlx.reference ├── cyk.stlx ├── cyk.stlx.reference ├── dempster-shafer.stlx ├── dempster-shafer.stlx.reference ├── dfa-2-regexp.stlx ├── dfa-2-regexp.stlx.reference ├── diff.stlx ├── diff.stlx.reference ├── differentiate.stlx ├── differentiate.stlx.reference ├── earley-parser.stlx ├── earley-parser.stlx.reference ├── erlang.stlx ├── erlang.stlx.reference ├── euler.stlx ├── euler.stlx.reference ├── evaluate.stlx ├── evaluate.stlx.reference ├── exam.stlx ├── exam.stlx.reference ├── expr-earley.g ├── expr-not-left-recursive.g ├── fibonacci.stlx ├── fibonacci.stlx.reference ├── finite-automaton.stlx ├── finite-automaton.stlx.reference ├── insertion-sort.stlx ├── insertion-sort.stlx.reference ├── knapsack-cached.stlx ├── knapsack-cached.stlx.reference ├── kosarajuSCC.data ├── kosarajuSCC.stlx ├── kosarajuSCC.stlx.reference ├── llk.stlx ├── llk.stlx.reference ├── minCut.data ├── minCut.stlx ├── minCut.stlx.reference ├── minimize.stlx ├── minimize.stlx.reference ├── montecarlo.stlx ├── montecarlo.stlx.reference ├── nda.stlx ├── nda.stlx.reference ├── nfa2dfa.stlx ├── nfa2dfa.stlx.reference ├── parsing_expr.g ├── parsing_grammar-parser.stlx ├── parsing_grammar-parser.stlx.reference ├── parsing_lr-table-generator.stlx ├── parsing_lr-table-generator.stlx.reference ├── parsing_shift-reduce-parser.stlx ├── parsing_shift-reduce-parser.stlx.reference ├── parsing_slr-table-generator.stlx ├── parsing_slr-table-generator.stlx.reference ├── performance_test_code │ ├── ackermann_function.stlx │ ├── ackermann_function.stlx.reference │ ├── count_the_coins.stlx │ ├── count_the_coins.stlx.reference │ ├── cryptoarithmetic.stlx │ ├── cryptoarithmetic.stlx.reference │ ├── erlang.stlx │ ├── erlang.stlx.reference │ ├── euler.stlx │ ├── euler.stlx.reference │ ├── euler01.stlx │ ├── euler01.stlx.reference │ ├── euler02.stlx │ ├── euler02.stlx.reference │ ├── euler03.stlx │ ├── euler03.stlx.reference │ ├── euler04.stlx │ ├── euler04.stlx.reference │ ├── euler05.stlx │ ├── euler05.stlx.reference │ ├── euler06.stlx │ ├── euler06.stlx.reference │ ├── euler07.stlx │ ├── euler07.stlx.reference │ ├── euler08.stlx │ ├── euler08.stlx.reference │ ├── euler09.stlx │ ├── euler09.stlx.reference │ ├── euler10.stlx │ ├── euler10.stlx.reference │ ├── euler11.stlx │ ├── euler11.stlx.reference │ ├── euler12.stlx │ ├── euler12.stlx.reference │ ├── euler14a1.stlx │ ├── euler14a1.stlx.reference │ ├── euler14a2.stlx │ ├── euler14a2.stlx.reference │ ├── euler14b.stlx │ ├── euler14b.stlx.reference │ ├── euler15.stlx │ ├── euler15.stlx.reference │ ├── euler16.stlx │ ├── euler16.stlx.reference │ ├── euler17.stlx │ ├── euler17.stlx.reference │ ├── euler18.stlx │ ├── euler18.stlx.reference │ ├── euler19.stlx │ ├── euler19.stlx.reference │ ├── euler20.stlx │ ├── euler20.stlx.reference │ ├── euler21.stlx │ ├── euler21.stlx.reference │ ├── euler23.stlx │ ├── euler23.stlx.reference │ ├── euler24.stlx │ ├── euler24.stlx.reference │ ├── euler25.stlx │ ├── euler25.stlx.reference │ ├── euler26.stlx │ ├── euler26.stlx.reference │ ├── euler27.stlx │ ├── euler27.stlx.reference │ ├── euler27b.stlx │ ├── euler27b.stlx.reference │ ├── euler28.stlx │ ├── euler28.stlx.reference │ ├── euler29.stlx │ ├── euler29.stlx.reference │ ├── euler30.stlx │ ├── euler30.stlx.reference │ ├── euler31.stlx │ ├── euler31.stlx.reference │ ├── euler32.stlx │ ├── euler32.stlx.reference │ ├── euler33.stlx │ ├── euler33.stlx.reference │ ├── euler34.stlx │ ├── euler34.stlx.reference │ ├── euler35.stlx │ ├── euler35.stlx.reference │ ├── euler35b.stlx │ ├── euler35b.stlx.reference │ ├── euler36.stlx │ ├── euler36.stlx.reference │ ├── euler37.stlx │ ├── euler37.stlx.reference │ ├── euler38.stlx │ ├── euler38.stlx.reference │ ├── euler39a.stlx │ ├── euler39a.stlx.reference │ ├── euler39b.stlx │ ├── euler39b.stlx.reference │ ├── euler40.stlx │ ├── euler40.stlx.reference │ ├── euler41.stlx │ ├── euler41.stlx.reference │ ├── euler43a1.stlx │ ├── euler43a1.stlx.reference │ ├── euler43a2.stlx │ ├── euler43a2.stlx.reference │ ├── euler43b.stlx │ ├── euler43b.stlx.reference │ ├── euler44.stlx │ ├── euler44.stlx.reference │ ├── euler45.stlx │ ├── euler45.stlx.reference │ ├── euler46.stlx │ ├── euler46.stlx.reference │ ├── euler47.stlx │ ├── euler47.stlx.reference │ ├── euler48.stlx │ ├── euler48.stlx.reference │ ├── euler49.stlx │ ├── euler49.stlx.reference │ ├── euler49b.stlx │ ├── euler49b.stlx.reference │ ├── factorial_list.stlx │ ├── factorial_list.stlx.reference │ ├── factorial_loop.stlx │ ├── factorial_loop.stlx.reference │ ├── factorial_native.stlx │ ├── factorial_native.stlx.reference │ ├── factorial_native_print.stlx │ ├── factorial_native_print.stlx.reference │ ├── fast-crypto.stlx │ ├── fast-crypto.stlx.reference │ ├── lr-table-generator.stlx │ ├── lr-table-generator.stlx.reference │ ├── lr-table-generator_c-grammar.g │ ├── minCut.data │ ├── minCut.stlx │ ├── minCut.stlx.reference │ ├── nqueens1.stlx │ ├── nqueens1.stlx.reference │ ├── nqueens2.stlx │ ├── nqueens2.stlx.reference │ ├── nqueens3.stlx │ ├── nqueens3.stlx.reference │ ├── nqueens4.stlx │ ├── nqueens4.stlx.reference │ ├── nqueens5.stlx │ ├── nqueens5.stlx.reference │ ├── nqueens6.stlx │ ├── nqueens6.stlx.reference │ ├── perfect.stlx │ ├── perfect.stlx.reference │ ├── pocket-pair.stlx │ ├── pocket-pair.stlx.reference │ ├── results │ │ ├── workstation_v2-4-3.real.csv │ │ ├── workstation_v2-4-3.sys.csv │ │ ├── workstation_v2-4-3.user.csv │ │ ├── workstation_v2-5-0.real.csv │ │ ├── workstation_v2-5-0.sys.csv │ │ ├── workstation_v2-5-0.user.csv │ │ ├── workstation_v2-5-1.real.csv │ │ ├── workstation_v2-5-1.sys.csv │ │ ├── workstation_v2-5-1.user.csv │ │ ├── workstation_v2-6-1.real.csv │ │ ├── workstation_v2-6-1.sys.csv │ │ ├── workstation_v2-6-1.user.csv │ │ ├── workstation_v2-7-0.real.csv │ │ ├── workstation_v2-7-0.sys.csv │ │ └── workstation_v2-7-0.user.csv │ ├── send_more_money_1a.stlx │ ├── send_more_money_1a.stlx.reference │ ├── send_more_money_1b.stlx │ ├── send_more_money_1b.stlx.reference │ ├── send_more_money_1c.stlx │ ├── send_more_money_1c.stlx.reference │ ├── send_more_money_2.stlx │ ├── send_more_money_2.stlx.reference │ ├── send_more_money_3.stlx │ ├── send_more_money_3.stlx.reference │ ├── send_more_money_4.stlx │ ├── send_more_money_4.stlx.reference │ ├── sorting_bench.stlx │ ├── sorting_bench.stlx.reference │ ├── tic-tac-toe.stlx │ ├── tic-tac-toe.stlx.reference │ ├── tsp.data │ ├── tsp.stlx │ ├── tsp.stlx.reference │ ├── zebra.stlx │ └── zebra.stlx.reference ├── plot.stlx ├── plot.stlx.reference ├── plotting_test_code │ ├── addBarChart.stlx │ ├── addBoxChart.stlx │ ├── addBullets.stlx │ ├── addGraph.stlx │ ├── addLabel.stlx │ ├── addListGraph.stlx │ ├── addParamGraph.stlx │ ├── addPieChart.stlx │ ├── circle.stlx │ ├── convergence-to-normal.stlx │ ├── defineTitle.stlx │ ├── exportCanvas.stlx │ ├── fathers-and-sons.stlx │ ├── fathers-and-sons.txt │ ├── hypotrochoid.stlx │ ├── labelAxis.stlx │ ├── legendVisible.stlx │ ├── modScale.stlx │ ├── modScaleType.stlx │ ├── modSize.stlx │ ├── parabola.stlx │ ├── race-and-incarceration.stlx │ ├── removeGraph.stlx │ └── world-population.stlx ├── primes-sieve.stlx ├── primes-sieve.stlx.reference ├── primes-tuple.stlx ├── primes-tuple.stlx.reference ├── queens-backtrack.stlx ├── queens-backtrack.stlx.reference ├── queens.stlx ├── queens.stlx.reference ├── regression.stlx ├── regression.stlx.reference ├── simple_examples │ ├── backtrack.stlx │ ├── backtrack.stlx.reference │ ├── builtInFunctions.stlx │ ├── builtInFunctions.stlx.reference │ ├── compare.stlx │ ├── compare.stlx.reference │ ├── crazyParserSyntaxErrorCheck.stlx │ ├── crazyParserSyntaxErrorCheck.stlx.reference │ ├── dot-product.stlx │ ├── dot-product.stlx.reference │ ├── errorOutput.stlx │ ├── errorOutput.stlx.reference │ ├── factorial.stlx │ ├── factorial.stlx.input │ ├── factorial.stlx.reference │ ├── fileAPI.stlx │ ├── fileAPI.stlx.reference │ ├── formatedString.stlx │ ├── formatedString.stlx.reference │ ├── formatedStringError.stlx │ ├── formatedStringError.stlx.reference │ ├── gfx_addon │ │ ├── addPlayPauseButton.stlx │ │ ├── addSpeedSlider.stlx │ │ ├── arc.stlx │ │ ├── circle.stlx │ │ ├── clear.stlx │ │ ├── ellipse.stlx │ │ ├── filledCircle.stlx │ │ ├── filledEllipse.stlx │ │ ├── filledPolygon.stlx │ │ ├── getFont.stlx │ │ ├── getPenColor.stlx │ │ ├── getPenRadius.stlx │ │ ├── gfxText.stlx.reference │ │ ├── hasNextKeyTyped.stlx │ │ ├── isKeyPressed.stlx │ │ ├── isPaused.stlx │ │ ├── line.stlx │ │ ├── mouseX.stlx │ │ ├── mouseY.stlx │ │ ├── nextKeyTyped.stlx │ │ ├── picture.stlx │ │ ├── point.stlx │ │ ├── polygon.stlx │ │ ├── rectangle.stlx │ │ ├── setCanvasSize.stlx │ │ ├── setFont.stlx │ │ ├── setMessage.stlx │ │ ├── setPaused.stlx │ │ ├── setPenColor.stlx │ │ ├── setPenColorRGB.stlx │ │ ├── setPenRadius.stlx │ │ ├── setScale.stlx │ │ ├── setXScale.stlx │ │ ├── setYScale.stlx │ │ ├── show.stlx │ │ ├── square.stlx │ │ ├── test-gfx.stlx │ │ ├── text.stlx │ │ ├── textLeft.stlx │ │ └── textRight.stlx │ ├── match.stlx │ ├── match.stlx.noTermLoop.reference │ ├── objectOrientation.stlx │ ├── objectOrientation.stlx.reference │ ├── parseAndEval.stlx │ ├── parseAndEval.stlx.input │ ├── parseAndEval.stlx.reference │ ├── prologStyleListMatch.stlx │ ├── prologStyleListMatch.stlx.reference │ ├── regex.stlx │ ├── regex.stlx.reference │ ├── simpleClosure.stlx │ ├── simpleClosure.stlx.reference │ ├── tryCatch.stlx │ └── tryCatch.stlx.reference ├── stat_test_code │ ├── stat_beta.stlx │ ├── stat_beta.stlx.reference │ ├── stat_betaCDF.stlx │ ├── stat_betaCDF.stlx.reference │ ├── stat_cauchy.stlx │ ├── stat_cauchy.stlx.reference │ ├── stat_cauchyCDF.stlx │ ├── stat_cauchyCDF.stlx.reference │ ├── stat_chiSquared.stlx │ ├── stat_chiSquared.stlx.reference │ ├── stat_chiSquaredCDF.stlx │ ├── stat_chiSquaredCDF.stlx.reference │ ├── stat_exponential.stlx │ ├── stat_exponential.stlx.reference │ ├── stat_exponentialCDF.stlx │ ├── stat_exponentialCDF.stlx.reference │ ├── stat_fisher.stlx │ ├── stat_fisher.stlx.reference │ ├── stat_fisherCDF.stlx │ ├── stat_fisherCDF.stlx.reference │ ├── stat_gamma.stlx │ ├── stat_gamma.stlx.reference │ ├── stat_gammaCDF.stlx │ ├── stat_gammaCDF.stlx.reference │ ├── stat_levy.stlx │ ├── stat_levy.stlx.reference │ ├── stat_levyCDF.stlx │ ├── stat_levyCDF.stlx.reference │ ├── stat_logNormal.stlx │ ├── stat_logNormal.stlx.reference │ ├── stat_logNormalCDF.stlx │ ├── stat_logNormalCDF.stlx.reference │ ├── stat_normal.stlx │ ├── stat_normal.stlx.reference │ ├── stat_normalCDF.stlx │ ├── stat_normalCDF.stlx.reference │ ├── stat_pareto.stlx │ ├── stat_pareto.stlx.reference │ ├── stat_paretoCDF.stlx │ ├── stat_paretoCDF.stlx.reference │ ├── stat_student.stlx │ ├── stat_student.stlx.reference │ ├── stat_studentCDF.stlx │ ├── stat_studentCDF.stlx.reference │ ├── stat_weibull.stlx │ ├── stat_weibull.stlx.reference │ ├── stat_weibullCDF.stlx │ └── stat_weibullCDF.stlx.reference ├── tautologySimple.stlx ├── tautologySimple.stlx.input ├── tautologySimple.stlx.reference ├── test-equivalence.stlx ├── test-equivalence.stlx.reference ├── trampoline.setlx ├── trampoline.setlx.reference ├── xmlscanner.stlx ├── xmlscanner.stlx.reference ├── zebra-brute-force.stlx └── zebra-brute-force.stlx.reference ├── example_SetlX_stat_code ├── create_python_references └── stat_python_code │ ├── stat_beta.py │ ├── stat_beta.py.reference │ ├── stat_betaCDF.py │ ├── stat_betaCDF.py.reference │ ├── stat_cauchy.py │ ├── stat_cauchy.py.reference │ ├── stat_cauchyCDF.py │ ├── stat_cauchyCDF.py.reference │ ├── stat_chiSquared.py │ ├── stat_chiSquared.py.reference │ ├── stat_chiSquaredCDF.py │ ├── stat_chiSquaredCDF.py.reference │ ├── stat_exponential.py │ ├── stat_exponential.py.reference │ ├── stat_exponentialCDF.py │ ├── stat_exponentialCDF.py.reference │ ├── stat_fisher.py │ ├── stat_fisher.py.reference │ ├── stat_fisherCDF.py │ ├── stat_fisherCDF.py.reference │ ├── stat_gamma.py │ ├── stat_gamma.py.reference │ ├── stat_gammaCDF.py │ ├── stat_gammaCDF.py.reference │ ├── stat_levy.py │ ├── stat_levy.py.reference │ ├── stat_levyCDF.py │ ├── stat_levyCDF.py.reference │ ├── stat_logNormal.py │ ├── stat_logNormal.py.reference │ ├── stat_logNormalCDF.py │ ├── stat_logNormalCDF.py.reference │ ├── stat_normal.py │ ├── stat_normal.py.reference │ ├── stat_normalCDF.py │ ├── stat_normalCDF.py.reference │ ├── stat_pareto.py │ ├── stat_pareto.py.reference │ ├── stat_paretoCDF.py │ ├── stat_paretoCDF.py.reference │ ├── stat_student.py │ ├── stat_student.py.reference │ ├── stat_studentCDF.py │ ├── stat_studentCDF.py.reference │ ├── stat_weibull.py │ ├── stat_weibull.py.reference │ ├── stat_weibullCDF.py │ └── stat_weibullCDF.py.reference ├── grammar_pure ├── EBNF_extractor │ ├── pom.xml │ └── src │ │ └── main │ │ ├── antlr4 │ │ └── EBNF_Grammar.g4 │ │ └── java │ │ ├── Alternative.java │ │ ├── Concatenation.java │ │ ├── EBNF.java │ │ ├── Epsilon.java │ │ ├── Expr.java │ │ ├── Grammar.java │ │ ├── MyToken.java │ │ ├── Negation.java │ │ ├── Postfix.java │ │ ├── Range.java │ │ ├── Rule.java │ │ └── Variable.java ├── Makefile ├── create_pure_grammar.sh ├── grammar_tester │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── ParsePure.java └── input.stlx ├── interpreter ├── core │ ├── pom.xml │ └── src │ │ ├── main │ │ ├── antlr4 │ │ │ └── org │ │ │ │ └── randoom │ │ │ │ └── setlx │ │ │ │ └── grammar │ │ │ │ ├── OperatorPrecedences.txt │ │ │ │ └── SetlXgrammar.g4 │ │ └── java │ │ │ └── org │ │ │ └── randoom │ │ │ └── setlx │ │ │ ├── assignments │ │ │ ├── AAssignableExpression.java │ │ │ ├── AssignableCollectionAccess.java │ │ │ ├── AssignableIgnore.java │ │ │ ├── AssignableList.java │ │ │ ├── AssignableMember.java │ │ │ └── AssignableVariable.java │ │ │ ├── exceptions │ │ │ ├── AbortException.java │ │ │ ├── AssertException.java │ │ │ ├── BacktrackException.java │ │ │ ├── CatchableInSetlXException.java │ │ │ ├── EndOfFileException.java │ │ │ ├── ExitException.java │ │ │ ├── FileNotReadableException.java │ │ │ ├── FileNotWritableException.java │ │ │ ├── IllegalRedefinitionException.java │ │ │ ├── IncompatibleTypeException.java │ │ │ ├── IncorrectNumberOfParametersException.java │ │ │ ├── JVMException.java │ │ │ ├── JVMIOException.java │ │ │ ├── NotAnIntegerException.java │ │ │ ├── NumberToLargeException.java │ │ │ ├── ParserException.java │ │ │ ├── SetlException.java │ │ │ ├── StopExecutionException.java │ │ │ ├── SyntaxErrorException.java │ │ │ ├── TermConversionException.java │ │ │ ├── ThrownInSetlXException.java │ │ │ ├── UndefinedOperationException.java │ │ │ └── UnknownFunctionException.java │ │ │ ├── functions │ │ │ ├── PD_abort.java │ │ │ ├── PD_abs.java │ │ │ ├── PD_appendFile.java │ │ │ ├── PD_arb.java │ │ │ ├── PD_args.java │ │ │ ├── PD_ask.java │ │ │ ├── PD_atan2.java │ │ │ ├── PD_cacheStats.java │ │ │ ├── PD_canonical.java │ │ │ ├── PD_ceil.java │ │ │ ├── PD_char.java │ │ │ ├── PD_clearCache.java │ │ │ ├── PD_collect.java │ │ │ ├── PD_compare.java │ │ │ ├── PD_deleteFile.java │ │ │ ├── PD_domain.java │ │ │ ├── PD_double.java │ │ │ ├── PD_endsWith.java │ │ │ ├── PD_eval.java │ │ │ ├── PD_evalTerm.java │ │ │ ├── PD_execute.java │ │ │ ├── PD_fct.java │ │ │ ├── PD_first.java │ │ │ ├── PD_floor.java │ │ │ ├── PD_from.java │ │ │ ├── PD_fromB.java │ │ │ ├── PD_fromE.java │ │ │ ├── PD_get.java │ │ │ ├── PD_getOsID.java │ │ │ ├── PD_getScope.java │ │ │ ├── PD_getTerm.java │ │ │ ├── PD_hypot.java │ │ │ ├── PD_int.java │ │ │ ├── PD_isBoolean.java │ │ │ ├── PD_isClass.java │ │ │ ├── PD_isDouble.java │ │ │ ├── PD_isError.java │ │ │ ├── PD_isInfinite.java │ │ │ ├── PD_isInteger.java │ │ │ ├── PD_isList.java │ │ │ ├── PD_isMap.java │ │ │ ├── PD_isNumber.java │ │ │ ├── PD_isObject.java │ │ │ ├── PD_isPrime.java │ │ │ ├── PD_isProbablePrime.java │ │ │ ├── PD_isProcedure.java │ │ │ ├── PD_isRational.java │ │ │ ├── PD_isSet.java │ │ │ ├── PD_isString.java │ │ │ ├── PD_isTerm.java │ │ │ ├── PD_isVariable.java │ │ │ ├── PD_join.java │ │ │ ├── PD_la_cond.java │ │ │ ├── PD_la_det.java │ │ │ ├── PD_la_eigenValues.java │ │ │ ├── PD_la_eigenVectors.java │ │ │ ├── PD_la_hadamard.java │ │ │ ├── PD_la_isMatrix.java │ │ │ ├── PD_la_isVector.java │ │ │ ├── PD_la_matrix.java │ │ │ ├── PD_la_pseudoInverse.java │ │ │ ├── PD_la_solve.java │ │ │ ├── PD_la_svd.java │ │ │ ├── PD_la_vector.java │ │ │ ├── PD_last.java │ │ │ ├── PD_load.java │ │ │ ├── PD_loadLibrary.java │ │ │ ├── PD_logo.java │ │ │ ├── PD_makeTerm.java │ │ │ ├── PD_matches.java │ │ │ ├── PD_mathConst.java │ │ │ ├── PD_max.java │ │ │ ├── PD_min.java │ │ │ ├── PD_multiLineMode.java │ │ │ ├── PD_nCPUs.java │ │ │ ├── PD_nDecimalPlaces.java │ │ │ ├── PD_nPrint.java │ │ │ ├── PD_nPrintErr.java │ │ │ ├── PD_nextPermutation.java │ │ │ ├── PD_nextProbablePrime.java │ │ │ ├── PD_now.java │ │ │ ├── PD_parse.java │ │ │ ├── PD_parseStatements.java │ │ │ ├── PD_permutations.java │ │ │ ├── PD_pow.java │ │ │ ├── PD_print.java │ │ │ ├── PD_printErr.java │ │ │ ├── PD_random.java │ │ │ ├── PD_range.java │ │ │ ├── PD_rational.java │ │ │ ├── PD_read.java │ │ │ ├── PD_readFile.java │ │ │ ├── PD_replace.java │ │ │ ├── PD_replaceFirst.java │ │ │ ├── PD_resetRandom.java │ │ │ ├── PD_reverse.java │ │ │ ├── PD_rnd.java │ │ │ ├── PD_round.java │ │ │ ├── PD_run.java │ │ │ ├── PD_shuffle.java │ │ │ ├── PD_sleep.java │ │ │ ├── PD_sort.java │ │ │ ├── PD_split.java │ │ │ ├── PD_startsWith.java │ │ │ ├── PD_stop.java │ │ │ ├── PD_str.java │ │ │ ├── PD_throw.java │ │ │ ├── PD_toLowerCase.java │ │ │ ├── PD_toUpperCase.java │ │ │ ├── PD_trace.java │ │ │ ├── PD_trim.java │ │ │ ├── PD_writeExamples.java │ │ │ ├── PD_writeFile.java │ │ │ ├── PD_writeLibrary.java │ │ │ └── PreDefinedProcedure.java │ │ │ ├── operatorUtilities │ │ │ ├── CollectionBuilder.java │ │ │ ├── Condition.java │ │ │ ├── ExplicitList.java │ │ │ ├── ExplicitListWithRest.java │ │ │ ├── OperatorExpression.java │ │ │ ├── Range.java │ │ │ ├── SetlIteration.java │ │ │ ├── SetlIterator.java │ │ │ └── SetlIteratorExecutionContainer.java │ │ │ ├── operators │ │ │ ├── ABinaryInfixOperator.java │ │ │ ├── ALazyBinaryInfixOperator.java │ │ │ ├── AOperator.java │ │ │ ├── AUnaryOperator.java │ │ │ ├── AUnaryPostfixOperator.java │ │ │ ├── AUnaryPrefixOperator.java │ │ │ ├── AZeroOperator.java │ │ │ ├── Assignment.java │ │ │ ├── BooleanEqual.java │ │ │ ├── BooleanNotEqual.java │ │ │ ├── Call.java │ │ │ ├── Cardinality.java │ │ │ ├── CartesianProduct.java │ │ │ ├── CollectMap.java │ │ │ ├── CollectionAccess.java │ │ │ ├── CollectionAccessRangeDummy.java │ │ │ ├── Conjunction.java │ │ │ ├── Difference.java │ │ │ ├── Disjunction.java │ │ │ ├── Equals.java │ │ │ ├── Exists.java │ │ │ ├── Factorial.java │ │ │ ├── Forall.java │ │ │ ├── GreaterOrEqual.java │ │ │ ├── GreaterThan.java │ │ │ ├── Implication.java │ │ │ ├── In.java │ │ │ ├── IntegerDivision.java │ │ │ ├── LessOrEqual.java │ │ │ ├── LessThan.java │ │ │ ├── LiteralConstructor.java │ │ │ ├── MemberAccess.java │ │ │ ├── Minus.java │ │ │ ├── Modulo.java │ │ │ ├── Not.java │ │ │ ├── NotEqual.java │ │ │ ├── NotIn.java │ │ │ ├── Power.java │ │ │ ├── ProcedureConstructor.java │ │ │ ├── Product.java │ │ │ ├── ProductOfMembers.java │ │ │ ├── ProductOfMembersBinary.java │ │ │ ├── Quotient.java │ │ │ ├── SetListConstructor.java │ │ │ ├── StringConstructor.java │ │ │ ├── Sum.java │ │ │ ├── SumOfMembers.java │ │ │ ├── SumOfMembersBinary.java │ │ │ ├── TermConstructor.java │ │ │ ├── ValueOperator.java │ │ │ ├── Variable.java │ │ │ └── VariableIgnore.java │ │ │ ├── parameters │ │ │ ├── ListParameter.java │ │ │ ├── Parameter.java │ │ │ ├── ParameterDefinition.java │ │ │ ├── ParameterList.java │ │ │ └── ReadWriteParameter.java │ │ │ ├── statementBranches │ │ │ ├── AbstractBranch.java │ │ │ ├── AbstractIfThenBranch.java │ │ │ ├── AbstractMatchBranch.java │ │ │ ├── AbstractMatchScanBranch.java │ │ │ ├── AbstractSwitchBranch.java │ │ │ ├── AbstractTryCatchBranch.java │ │ │ ├── IfThenBranch.java │ │ │ ├── IfThenElseBranch.java │ │ │ ├── IfThenElseIfBranch.java │ │ │ ├── MatchCaseBranch.java │ │ │ ├── MatchDefaultBranch.java │ │ │ ├── MatchRegexBranch.java │ │ │ ├── SwitchCaseBranch.java │ │ │ ├── SwitchDefaultBranch.java │ │ │ ├── TryCatchBranch.java │ │ │ ├── TryCatchLngBranch.java │ │ │ └── TryCatchUsrBranch.java │ │ │ ├── statements │ │ │ ├── AbstractAssignment.java │ │ │ ├── Assert.java │ │ │ ├── Backtrack.java │ │ │ ├── Block.java │ │ │ ├── Break.java │ │ │ ├── Check.java │ │ │ ├── ClassConstructor.java │ │ │ ├── Continue.java │ │ │ ├── DifferenceAssignment.java │ │ │ ├── DoWhile.java │ │ │ ├── Exit.java │ │ │ ├── ExpressionStatement.java │ │ │ ├── For.java │ │ │ ├── IfThen.java │ │ │ ├── IntegerDivisionAssignment.java │ │ │ ├── Match.java │ │ │ ├── ModuloAssignment.java │ │ │ ├── ProductAssignment.java │ │ │ ├── QuotientAssignment.java │ │ │ ├── Return.java │ │ │ ├── Scan.java │ │ │ ├── Statement.java │ │ │ ├── StatementWithPrintableResult.java │ │ │ ├── SumAssignment.java │ │ │ ├── Switch.java │ │ │ ├── TryCatch.java │ │ │ └── While.java │ │ │ ├── types │ │ │ ├── CachedProcedure.java │ │ │ ├── Closure.java │ │ │ ├── CollectionValue.java │ │ │ ├── IgnoreDummy.java │ │ │ ├── ImmutableValue.java │ │ │ ├── IndexedCollectionValue.java │ │ │ ├── LambdaClosure.java │ │ │ ├── LambdaProcedure.java │ │ │ ├── NumberValue.java │ │ │ ├── Om.java │ │ │ ├── Procedure.java │ │ │ ├── RangeDummy.java │ │ │ ├── Rational.java │ │ │ ├── SetlBoolean.java │ │ │ ├── SetlClass.java │ │ │ ├── SetlDouble.java │ │ │ ├── SetlError.java │ │ │ ├── SetlList.java │ │ │ ├── SetlMatrix.java │ │ │ ├── SetlObject.java │ │ │ ├── SetlSet.java │ │ │ ├── SetlString.java │ │ │ ├── SetlVector.java │ │ │ ├── Term.java │ │ │ ├── Top.java │ │ │ └── Value.java │ │ │ └── utilities │ │ │ ├── BaseRunnable.java │ │ │ ├── CodeFragment.java │ │ │ ├── DummyEnvProvider.java │ │ │ ├── EncodedFilesWriter.java │ │ │ ├── EnvironmentProvider.java │ │ │ ├── ErrorHandlingRunnable.java │ │ │ ├── Expression.java │ │ │ ├── FixedSingularValueDecomposition.java │ │ │ ├── FragmentList.java │ │ │ ├── ImmutableCodeFragment.java │ │ │ ├── InputReader.java │ │ │ ├── MatchResult.java │ │ │ ├── MathFunction.java │ │ │ ├── MathFunction2.java │ │ │ ├── ParseSetlX.java │ │ │ ├── ReturnMessage.java │ │ │ ├── ScanResult.java │ │ │ ├── SetlHashMap.java │ │ │ ├── State.java │ │ │ ├── TermUtilities.java │ │ │ ├── VariableScope.java │ │ │ ├── WriteBackAgent.java │ │ │ └── WriteFile.java │ │ └── test │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ ├── operatorUtilities │ │ └── OperatorExpressionTest.java │ │ └── types │ │ ├── RationalTest.java │ │ ├── SetlListTest.java │ │ ├── SetlMatrixTest.java │ │ ├── SetlSetTest.java │ │ ├── SetlStringTest.java │ │ └── SetlVectorTest.java ├── gfx_addon │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ ├── functions │ │ ├── GfxFunction.java │ │ ├── GfxPolygonFunction.java │ │ ├── GfxXYRFunction.java │ │ ├── PD_gfx_addInputField.java │ │ ├── PD_gfx_addPlayPauseButton.java │ │ ├── PD_gfx_addSpeedSlider.java │ │ ├── PD_gfx_arc.java │ │ ├── PD_gfx_circle.java │ │ ├── PD_gfx_clear.java │ │ ├── PD_gfx_ellipse.java │ │ ├── PD_gfx_filledCircle.java │ │ ├── PD_gfx_filledEllipse.java │ │ ├── PD_gfx_filledPolygon.java │ │ ├── PD_gfx_filledRectangle.java │ │ ├── PD_gfx_filledSquare.java │ │ ├── PD_gfx_getFont.java │ │ ├── PD_gfx_getInput.java │ │ ├── PD_gfx_getPenColor.java │ │ ├── PD_gfx_getPenRadius.java │ │ ├── PD_gfx_hasNextKeyTyped.java │ │ ├── PD_gfx_isKeyPressed.java │ │ ├── PD_gfx_isPaused.java │ │ ├── PD_gfx_line.java │ │ ├── PD_gfx_mouseX.java │ │ ├── PD_gfx_mouseY.java │ │ ├── PD_gfx_nextKeyTyped.java │ │ ├── PD_gfx_picture.java │ │ ├── PD_gfx_point.java │ │ ├── PD_gfx_polygon.java │ │ ├── PD_gfx_rectangle.java │ │ ├── PD_gfx_setCanvasSize.java │ │ ├── PD_gfx_setFont.java │ │ ├── PD_gfx_setMessage.java │ │ ├── PD_gfx_setPaused.java │ │ ├── PD_gfx_setPenColor.java │ │ ├── PD_gfx_setPenColorRGB.java │ │ ├── PD_gfx_setPenRadius.java │ │ ├── PD_gfx_setScale.java │ │ ├── PD_gfx_setXscale.java │ │ ├── PD_gfx_setYscale.java │ │ ├── PD_gfx_show.java │ │ ├── PD_gfx_square.java │ │ ├── PD_gfx_text.java │ │ ├── PD_gfx_textLeft.java │ │ └── PD_gfx_textRight.java │ │ └── gfx │ │ └── utilities │ │ ├── SetlXAnimationSpeedSlider.java │ │ ├── SetlXUserPanel.java │ │ └── StdDraw.java ├── integrationTests │ ├── baseIntegrationTest.stlx │ ├── core.stlx │ ├── core_arithmetics.stlx │ ├── core_comparison.stlx │ ├── core_matrix_and_vector.stlx │ ├── core_optimization.stlx │ ├── core_quantifiers.stlx │ ├── core_terms.stlx │ ├── library_termUtilities.stlx │ └── stat.stlx ├── pc_ui │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ └── pc │ │ └── ui │ │ ├── PcEnvProvider.java │ │ └── SetlX.java ├── plot_addon │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ ├── functions │ │ ├── PD_plot_addBarChart.java │ │ ├── PD_plot_addBoxChart.java │ │ ├── PD_plot_addBullets.java │ │ ├── PD_plot_addGraph.java │ │ ├── PD_plot_addLabel.java │ │ ├── PD_plot_addListGraph.java │ │ ├── PD_plot_addParamGraph.java │ │ ├── PD_plot_addPieChart.java │ │ ├── PD_plot_createCanvas.java │ │ ├── PD_plot_defineTitle.java │ │ ├── PD_plot_exportCanvas.java │ │ ├── PD_plot_labelAxis.java │ │ ├── PD_plot_legendVisible.java │ │ ├── PD_plot_modScale.java │ │ ├── PD_plot_modScaleType.java │ │ ├── PD_plot_modSize.java │ │ └── PD_plot_removeGraph.java │ │ └── plot │ │ ├── types │ │ ├── Canvas.java │ │ ├── Chart.java │ │ ├── Chart1D.java │ │ ├── Chart2D.java │ │ └── Graph.java │ │ └── utilities │ │ ├── AbstractFrame.java │ │ ├── BarFrame.java │ │ ├── BoxFrame.java │ │ ├── CalcFunction.java │ │ ├── ConnectJFreeChart.java │ │ ├── ConvertSetlTypes.java │ │ ├── DrawFrame.java │ │ ├── FrameWrapper.java │ │ ├── PieFrame.java │ │ ├── PlotCheckType.java │ │ └── SetlXPlot.java ├── pom.xml ├── runIntegrationTests ├── setlX ├── setlX.cmd ├── setlXlibrary │ ├── debugUtilities.stlx │ └── termUtilities.stlx ├── setlXprof ├── stat_addon │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ ├── functions │ │ ├── PD_stat_beta.java │ │ ├── PD_stat_betaCDF.java │ │ ├── PD_stat_betaCDF_plot.java │ │ ├── PD_stat_beta_plot.java │ │ ├── PD_stat_cauchy.java │ │ ├── PD_stat_cauchyCDF.java │ │ ├── PD_stat_cauchyCDF_plot.java │ │ ├── PD_stat_cauchy_plot.java │ │ ├── PD_stat_chiSquared.java │ │ ├── PD_stat_chiSquaredCDF.java │ │ ├── PD_stat_chiSquaredCDF_plot.java │ │ ├── PD_stat_chiSquared_plot.java │ │ ├── PD_stat_exponential.java │ │ ├── PD_stat_exponentialCDF.java │ │ ├── PD_stat_exponentialCDF_plot.java │ │ ├── PD_stat_exponential_plot.java │ │ ├── PD_stat_fisher.java │ │ ├── PD_stat_fisherCDF.java │ │ ├── PD_stat_fisherCDF_plot.java │ │ ├── PD_stat_fisher_plot.java │ │ ├── PD_stat_gamma.java │ │ ├── PD_stat_gammaCDF.java │ │ ├── PD_stat_gammaCDF_plot.java │ │ ├── PD_stat_gamma_plot.java │ │ ├── PD_stat_levy.java │ │ ├── PD_stat_levyCDF.java │ │ ├── PD_stat_levyCDF_plot.java │ │ ├── PD_stat_levy_plot.java │ │ ├── PD_stat_logNormal.java │ │ ├── PD_stat_logNormalCDF.java │ │ ├── PD_stat_logNormalCDF_plot.java │ │ ├── PD_stat_logNormal_plot.java │ │ ├── PD_stat_normal.java │ │ ├── PD_stat_normalCDF.java │ │ ├── PD_stat_normalCDF_plot.java │ │ ├── PD_stat_normal_plot.java │ │ ├── PD_stat_pareto.java │ │ ├── PD_stat_paretoCDF.java │ │ ├── PD_stat_paretoCDF_plot.java │ │ ├── PD_stat_pareto_plot.java │ │ ├── PD_stat_student.java │ │ ├── PD_stat_studentCDF.java │ │ ├── PD_stat_studentCDF_plot.java │ │ ├── PD_stat_student_plot.java │ │ ├── PD_stat_weibull.java │ │ ├── PD_stat_weibullCDF.java │ │ ├── PD_stat_weibullCDF_plot.java │ │ └── PD_stat_weibull_plot.java │ │ └── utilities │ │ ├── Checker.java │ │ └── Defaults.java └── tools │ ├── pom.xml │ ├── setlX-code-generator-maven-plugin │ ├── pom.xml │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── randoom │ │ └── setlx │ │ └── maven │ │ └── plugin │ │ └── EncodeFilesMojo.java │ └── setlX-version-generator-maven-plugin │ ├── pom.xml │ └── src │ └── main │ └── java │ └── org │ └── randoom │ └── setlx │ └── maven │ └── plugin │ └── WriteVersionMojo.java ├── license.txt ├── syntax_highlighting ├── Emacs │ ├── c-mode-hook.el │ └── readme.txt └── gedit_GtkSourceView │ ├── readme.txt │ └── setlx.lang ├── test_all_examples ├── test_fast_examples ├── test_performance └── test_stat_examples /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/README.md -------------------------------------------------------------------------------- /Tutorial/2012-05-31_setlX_2_aleph_0_export.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/2012-05-31_setlX_2_aleph_0_export.png -------------------------------------------------------------------------------- /Tutorial/Examples/add-complex.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/add-complex.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/add-complex.stlx.reference: -------------------------------------------------------------------------------- 1 | [3, 3] 2 | [1, 0] 3 | -------------------------------------------------------------------------------- /Tutorial/Examples/alice.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/alice.txt -------------------------------------------------------------------------------- /Tutorial/Examples/allPermutations.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/allPermutations.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/allPermutations.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/allPermutations.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/binary-tree-no-matching.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/binary-tree-no-matching.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/binary-tree-no-matching.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/binary-tree-no-matching.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/binary-tree.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/binary-tree.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/binary-tree.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/binary-tree.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/bisection-exception.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/bisection-exception.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/bisection-exception.stlx.input: -------------------------------------------------------------------------------- 1 | x ** 2 - 2 2 | 1.0 3 | 2.0 4 | -------------------------------------------------------------------------------- /Tutorial/Examples/bisection-exception.stlx.reference: -------------------------------------------------------------------------------- 1 | zero at z = 1.414213562372879 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/break-and-continue.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/break-and-continue.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/break-and-continue.stlx.reference: -------------------------------------------------------------------------------- 1 | 1 2 | 3 3 | -------------------------------------------------------------------------------- /Tutorial/Examples/bug.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/bug.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/bug.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/bug.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/buggy-map.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/buggy-map.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/buggy-map.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/buggy-map.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/complex.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/complex.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/complex.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/complex.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/counter-closure.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/counter-closure.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/counter-closure.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/counter-closure.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/dijkstra.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/dijkstra.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/dijkstra.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/dijkstra.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/dijkstraData.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/dijkstraData.txt -------------------------------------------------------------------------------- /Tutorial/Examples/discrete.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/discrete.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/discrete.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/discrete.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/exam.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/exam.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/exam.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/exam.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/extract-phone-code.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/extract-phone-code.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/extract-phone-code.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/extract-phone-code.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci-cached.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/fibonacci-cached.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci-cached.stlx.reference: -------------------------------------------------------------------------------- 1 | 354224848179261915075 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci-timed.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/fibonacci-timed.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci-trace.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/fibonacci-trace.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci-trace.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/fibonacci-trace.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/fibonacci.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/fibonacci.stlx.reference: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/find-comments-scan.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-comments-scan.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/find-comments-scan.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-comments-scan.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/find-comments.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-comments.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/find-comments.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-comments.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/find-palindrome.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-palindrome.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/find-palindrome.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/find-palindrome.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/finite-difference.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/finite-difference.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/finite-difference.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/finite-difference.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/functions.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/functions.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/functions.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/functions.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/get-data.txt: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /Tutorial/Examples/guess-number.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/guess-number.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/knapsack-cached.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/knapsack-cached.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/knapsack-cached.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/knapsack-cached.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/la-examples.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/la-examples.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/la-examples.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/la-examples.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/lambda.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/lambda.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/lambda.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/lambda.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/map.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/map.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/map.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/map.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/merge-sort.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/merge-sort.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/merge-sort.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/merge-sort.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/multiplication-table.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/multiplication-table.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/multiplication-table.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/multiplication-table.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/nfa-2-string.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/nfa-2-string.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/nominator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/nominator.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/nominator.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/nominator.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/performance-bool.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/performance-bool.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/performance-bool.stlx.reference: -------------------------------------------------------------------------------- 1 | x = true 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/performance.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/performance.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/performance.stlx.reference: -------------------------------------------------------------------------------- 1 | x = 1.414213562373095 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/point-colored.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/point-colored.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/point-colored.stlx.reference: -------------------------------------------------------------------------------- 1 | <0, 0>: 0, 127, 255 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/point-static.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/point-static.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/point-static.stlx.reference: -------------------------------------------------------------------------------- 1 | <0, 0> 2 | <3, 4> 3 | 5.0 4 | -------------------------------------------------------------------------------- /Tutorial/Examples/point.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/point.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/point.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/point.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/primes-slim.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/primes-slim.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/primes-slim.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/primes-slim.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/primes.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/primes.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/primes.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/primes.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/profile-decorator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/profile-decorator.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/profile-decorator.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/profile-decorator.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/pythagoras.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/pythagoras.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/pythagoras.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/pythagoras.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/queens-all.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/queens-all.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/queens-all.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/queens-all.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/queens-backtrack.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/queens-backtrack.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/queens-backtrack.stlx.reference: -------------------------------------------------------------------------------- 1 | [1, 5, 8, 6, 3, 7, 2, 4] 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/queens-nice.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/queens-nice.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/queens-nice.stlx.reference: -------------------------------------------------------------------------------- 1 | [1, 5, 8, 6, 3, 7, 2, 4] 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/reduce.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reduce.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/reduce.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reduce.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/regexp-2-nfa.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regexp-2-nfa.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/regexp-2-nfa.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regexp-2-nfa.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/regexp-parser.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regexp-parser.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/regexp.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regexp.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/regexp.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regexp.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/regression.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regression.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/regression.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/regression.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/relational-product-for.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/relational-product-for.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/relational-product-for.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/relational-product-for.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/relational-product.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/relational-product.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/relational-product.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/relational-product.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/result.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/result.txt -------------------------------------------------------------------------------- /Tutorial/Examples/reverse-list.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reverse-list.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/reverse-list.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reverse-list.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/reverse-long.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reverse-long.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/reverse-long.stlx.reference: -------------------------------------------------------------------------------- 1 | gfedcba 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/reverse.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/reverse.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/reverse.stlx.reference: -------------------------------------------------------------------------------- 1 | hgfedcba 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/scope-for-loop.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/scope-for-loop.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/scope-for-loop.stlx.reference: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | x = 1! 5 | -------------------------------------------------------------------------------- /Tutorial/Examples/set-sort.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/set-sort.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/set-sort.stlx.reference: -------------------------------------------------------------------------------- 1 | [1, 2, 3] 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/solve-linear.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/solve-linear.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/solve-linear.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/solve-linear.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/sort3.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sort3.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/sort3.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sort3.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/sort3switch.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sort3switch.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/sort3switch.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sort3switch.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/sqrt.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sqrt.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/sqrt.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/sqrt.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/test-get.stlx: -------------------------------------------------------------------------------- 1 | x := get(); 2 | print("x = $x$"); 3 | exit; 4 | -------------------------------------------------------------------------------- /Tutorial/Examples/test-get.stlx.input: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/test-get.stlx.reference: -------------------------------------------------------------------------------- 1 | x = 42 2 | -------------------------------------------------------------------------------- /Tutorial/Examples/test-match.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/test-match.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/test-match.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/test-match.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/test.c -------------------------------------------------------------------------------- /Tutorial/Examples/toBin.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/toBin.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/toBin.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/toBin.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/trace-decorator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/trace-decorator.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/trace-decorator.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/trace-decorator.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/ulam.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/ulam.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/ulam.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/ulam.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/zebra-fast.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/zebra-fast.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/zebra-long.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/zebra-long.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/zebra-long.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/zebra-long.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Examples/zebra.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/zebra.stlx -------------------------------------------------------------------------------- /Tutorial/Examples/zebra.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Examples/zebra.stlx.reference -------------------------------------------------------------------------------- /Tutorial/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/Makefile -------------------------------------------------------------------------------- /Tutorial/aChar.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/aChar.eps -------------------------------------------------------------------------------- /Tutorial/aConcat.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/aConcat.eps -------------------------------------------------------------------------------- /Tutorial/aPlus.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/aPlus.eps -------------------------------------------------------------------------------- /Tutorial/aStar.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/aStar.eps -------------------------------------------------------------------------------- /Tutorial/aleph0.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/aleph0.eps -------------------------------------------------------------------------------- /Tutorial/backtracking.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/backtracking.tex -------------------------------------------------------------------------------- /Tutorial/basics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/basics.tex -------------------------------------------------------------------------------- /Tutorial/chess30.mf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/chess30.mf -------------------------------------------------------------------------------- /Tutorial/chess30.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/chess30.tfm -------------------------------------------------------------------------------- /Tutorial/chessbase.mf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/chessbase.mf -------------------------------------------------------------------------------- /Tutorial/chesspieces.mf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/chesspieces.mf -------------------------------------------------------------------------------- /Tutorial/circle.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/circle.eps -------------------------------------------------------------------------------- /Tutorial/circle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/circle.png -------------------------------------------------------------------------------- /Tutorial/closures.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/closures.tex -------------------------------------------------------------------------------- /Tutorial/cosine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/cosine.png -------------------------------------------------------------------------------- /Tutorial/cs.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/cs.bib -------------------------------------------------------------------------------- /Tutorial/diagbox.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/diagbox.sty -------------------------------------------------------------------------------- /Tutorial/fathers-and-sons.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/fathers-and-sons.eps -------------------------------------------------------------------------------- /Tutorial/fathers-and-sons.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/fathers-and-sons.png -------------------------------------------------------------------------------- /Tutorial/graph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/graph.dot -------------------------------------------------------------------------------- /Tutorial/graph.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/graph.eps -------------------------------------------------------------------------------- /Tutorial/graph.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/graph.ps -------------------------------------------------------------------------------- /Tutorial/graphics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/graphics.tex -------------------------------------------------------------------------------- /Tutorial/hypotrochoid.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/hypotrochoid.eps -------------------------------------------------------------------------------- /Tutorial/hypotrochoid.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/hypotrochoid.png -------------------------------------------------------------------------------- /Tutorial/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/introduction.tex -------------------------------------------------------------------------------- /Tutorial/linear-algebra.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/linear-algebra.tex -------------------------------------------------------------------------------- /Tutorial/oo.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/oo.tex -------------------------------------------------------------------------------- /Tutorial/parabola1.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola1.eps -------------------------------------------------------------------------------- /Tutorial/parabola1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola1.png -------------------------------------------------------------------------------- /Tutorial/parabola2.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola2.eps -------------------------------------------------------------------------------- /Tutorial/parabola2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola2.png -------------------------------------------------------------------------------- /Tutorial/parabola3.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola3.eps -------------------------------------------------------------------------------- /Tutorial/parabola3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/parabola3.png -------------------------------------------------------------------------------- /Tutorial/plotting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/plotting.tex -------------------------------------------------------------------------------- /Tutorial/predefined-functions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/predefined-functions.tex -------------------------------------------------------------------------------- /Tutorial/race-incarceration.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/race-incarceration.eps -------------------------------------------------------------------------------- /Tutorial/race-incarceration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/race-incarceration.png -------------------------------------------------------------------------------- /Tutorial/race-population.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/race-population.eps -------------------------------------------------------------------------------- /Tutorial/race-population.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/race-population.png -------------------------------------------------------------------------------- /Tutorial/regular-expressions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/regular-expressions.tex -------------------------------------------------------------------------------- /Tutorial/statements.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/statements.tex -------------------------------------------------------------------------------- /Tutorial/statistics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/statistics.tex -------------------------------------------------------------------------------- /Tutorial/things_to_do.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/things_to_do.txt -------------------------------------------------------------------------------- /Tutorial/tutorial.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/tutorial.bbl -------------------------------------------------------------------------------- /Tutorial/tutorial.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/tutorial.tex -------------------------------------------------------------------------------- /Tutorial/types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/types.tex -------------------------------------------------------------------------------- /Tutorial/world-population.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/world-population.eps -------------------------------------------------------------------------------- /Tutorial/world-population.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/Tutorial/world-population.png -------------------------------------------------------------------------------- /changelog.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/changelog.txt -------------------------------------------------------------------------------- /createDistributions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/createDistributions -------------------------------------------------------------------------------- /documentation/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/documentation/Makefile -------------------------------------------------------------------------------- /documentation/config/configuration.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/documentation/config/configuration.tex -------------------------------------------------------------------------------- /documentation/config/header.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/documentation/config/header.tex -------------------------------------------------------------------------------- /documentation/developmentGuide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/documentation/developmentGuide.tex -------------------------------------------------------------------------------- /documentation/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/documentation/manual.tex -------------------------------------------------------------------------------- /example_SetlX_code/aStar.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar.stlx -------------------------------------------------------------------------------- /example_SetlX_code/aStar.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/aStar_hanoi.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar_hanoi.stlx -------------------------------------------------------------------------------- /example_SetlX_code/aStar_hanoi.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar_hanoi.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/aStar_hanoi_exact.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar_hanoi_exact.stlx -------------------------------------------------------------------------------- /example_SetlX_code/aStar_hanoi_exact.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/aStar_hanoi_exact.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/animation_testcode/aStar_hanoi_exact_animation.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/animation_testcode/aStar_hanoi_exact_animation.stlx -------------------------------------------------------------------------------- /example_SetlX_code/animation_testcode/hanoi_animation.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/animation_testcode/hanoi_animation.stlx -------------------------------------------------------------------------------- /example_SetlX_code/check-equivalence.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/check-equivalence.stlx -------------------------------------------------------------------------------- /example_SetlX_code/check-equivalence.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/check-equivalence.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/complex.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/complex.stlx -------------------------------------------------------------------------------- /example_SetlX_code/complex.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/complex.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/2.12_Printing_the_elements_of_a_set.stlx.reference: -------------------------------------------------------------------------------- 1 | 13 2 | 2 3 | 7 4 | 4 5 | 5 6 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/2.18_A_n_infinite_loop.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/2.18_A_n_infinite_loop.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/aufgaben_zur_gdi.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/aufgaben_zur_gdi.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/case.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/case.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/case.stlx.input: -------------------------------------------------------------------------------- 1 | 1231 2 | 3 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/case.stlx.reference: -------------------------------------------------------------------------------- 1 | last digit is 1 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/closure.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/closure.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/closure.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/closure.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/function.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/function.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/function.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/function.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/ggt.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/ggt.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/ggt.stlx.reference: -------------------------------------------------------------------------------- 1 | 18 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/ggt2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/ggt2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/ggt2.stlx.input: -------------------------------------------------------------------------------- 1 | 12312 2 | 21234 3 | 4 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/ggt2.stlx.reference: -------------------------------------------------------------------------------- 1 | Der ggT von 12312 und 21234 ist 6. 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi-slim.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi-slim.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi-slim.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi-slim.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hanoi2.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/hanoi2.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hello.stlx: -------------------------------------------------------------------------------- 1 | 2 | print("Hallo, da bin ich."); 3 | 4 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/hello.stlx.reference: -------------------------------------------------------------------------------- 1 | Hallo, da bin ich. 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kgv.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/kgv.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kgv.stlx.reference: -------------------------------------------------------------------------------- 1 | 72 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kgv2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/kgv2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kgv2.stlx.input: -------------------------------------------------------------------------------- 1 | 1231 2 | 212 3 | 4 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kgv2.stlx.reference: -------------------------------------------------------------------------------- 1 | Das kgV von 1231 und 212 ist 260972. 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/klausur_aufgabe_power.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/klausur_aufgabe_power.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/klausur_aufgaben.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/klausur_aufgaben.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/knf.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/knf.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/knf.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/knf.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kokosnuss.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/kokosnuss.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/kokosnuss.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/kokosnuss.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/min-sort.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/min-sort.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/min-sort.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/min-sort.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/pfefferkoerner.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/pfefferkoerner.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/pfefferkoerner.stlx.reference: -------------------------------------------------------------------------------- 1 | {79} 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/poker-tripple.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/poker-tripple.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/poker-tripple.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.0024489795918367346 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/poker.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/poker.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/poker.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/poker.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-eratosthenes-fast.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-eratosthenes-fast.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-eratosthenes.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-eratosthenes.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-forall.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-forall.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-forall.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-forall.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-set.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-set.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-set.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-set.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-sieve.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-sieve.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-sieve.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-sieve.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-while.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-while.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes-while.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes-while.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/primes.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/primes.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/simple.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/simple.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/simple.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/simple.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/solve.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/solve.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/solve.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/solve.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/sum.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/sum.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/sum.stlx.input: -------------------------------------------------------------------------------- 1 | 34. -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/sum.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/sum.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/tautology.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/tautology.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/tautology.stlx.input: -------------------------------------------------------------------------------- 1 | a + b <-> c 2 | -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/tautology.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/tautology.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/variables.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/variables.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/variables.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/variables.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/watson.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/watson.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/watson.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/watson.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/weinhaendler.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/weinhaendler.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/weinhaendler.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/weinhaendler.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/wolf-ziege-kohl.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/wolf-ziege-kohl.stlx -------------------------------------------------------------------------------- /example_SetlX_code/converted_Setl2_code/wolf-ziege-kohl.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/converted_Setl2_code/wolf-ziege-kohl.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/cyk.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/cyk.stlx -------------------------------------------------------------------------------- /example_SetlX_code/cyk.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/cyk.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/dempster-shafer.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/dempster-shafer.stlx -------------------------------------------------------------------------------- /example_SetlX_code/dempster-shafer.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/dempster-shafer.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/dfa-2-regexp.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/dfa-2-regexp.stlx -------------------------------------------------------------------------------- /example_SetlX_code/dfa-2-regexp.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/dfa-2-regexp.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/diff.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/diff.stlx -------------------------------------------------------------------------------- /example_SetlX_code/diff.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/diff.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/differentiate.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/differentiate.stlx -------------------------------------------------------------------------------- /example_SetlX_code/differentiate.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/differentiate.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/earley-parser.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/earley-parser.stlx -------------------------------------------------------------------------------- /example_SetlX_code/earley-parser.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/earley-parser.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/erlang.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/erlang.stlx -------------------------------------------------------------------------------- /example_SetlX_code/erlang.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/erlang.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/euler.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/euler.stlx -------------------------------------------------------------------------------- /example_SetlX_code/euler.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/euler.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/evaluate.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/evaluate.stlx -------------------------------------------------------------------------------- /example_SetlX_code/evaluate.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/evaluate.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/exam.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/exam.stlx -------------------------------------------------------------------------------- /example_SetlX_code/exam.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/exam.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/expr-earley.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/expr-earley.g -------------------------------------------------------------------------------- /example_SetlX_code/expr-not-left-recursive.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/expr-not-left-recursive.g -------------------------------------------------------------------------------- /example_SetlX_code/fibonacci.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/fibonacci.stlx -------------------------------------------------------------------------------- /example_SetlX_code/fibonacci.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/fibonacci.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/finite-automaton.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/finite-automaton.stlx -------------------------------------------------------------------------------- /example_SetlX_code/finite-automaton.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/finite-automaton.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/insertion-sort.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/insertion-sort.stlx -------------------------------------------------------------------------------- /example_SetlX_code/insertion-sort.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/insertion-sort.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/knapsack-cached.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/knapsack-cached.stlx -------------------------------------------------------------------------------- /example_SetlX_code/knapsack-cached.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/knapsack-cached.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/kosarajuSCC.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/kosarajuSCC.data -------------------------------------------------------------------------------- /example_SetlX_code/kosarajuSCC.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/kosarajuSCC.stlx -------------------------------------------------------------------------------- /example_SetlX_code/kosarajuSCC.stlx.reference: -------------------------------------------------------------------------------- 1 | number of strongly connected components in kosarajuSCC.data is 10 2 | -------------------------------------------------------------------------------- /example_SetlX_code/llk.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/llk.stlx -------------------------------------------------------------------------------- /example_SetlX_code/llk.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/llk.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/minCut.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/minCut.data -------------------------------------------------------------------------------- /example_SetlX_code/minCut.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/minCut.stlx -------------------------------------------------------------------------------- /example_SetlX_code/minCut.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/minCut.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/minimize.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/minimize.stlx -------------------------------------------------------------------------------- /example_SetlX_code/minimize.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/minimize.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/montecarlo.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/montecarlo.stlx -------------------------------------------------------------------------------- /example_SetlX_code/montecarlo.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/montecarlo.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/nda.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/nda.stlx -------------------------------------------------------------------------------- /example_SetlX_code/nda.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/nda.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/nfa2dfa.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/nfa2dfa.stlx -------------------------------------------------------------------------------- /example_SetlX_code/nfa2dfa.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/nfa2dfa.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/parsing_expr.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_expr.g -------------------------------------------------------------------------------- /example_SetlX_code/parsing_grammar-parser.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_grammar-parser.stlx -------------------------------------------------------------------------------- /example_SetlX_code/parsing_grammar-parser.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_grammar-parser.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/parsing_lr-table-generator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_lr-table-generator.stlx -------------------------------------------------------------------------------- /example_SetlX_code/parsing_lr-table-generator.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_lr-table-generator.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/parsing_shift-reduce-parser.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_shift-reduce-parser.stlx -------------------------------------------------------------------------------- /example_SetlX_code/parsing_shift-reduce-parser.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_shift-reduce-parser.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/parsing_slr-table-generator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_slr-table-generator.stlx -------------------------------------------------------------------------------- /example_SetlX_code/parsing_slr-table-generator.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/parsing_slr-table-generator.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/ackermann_function.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/ackermann_function.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/count_the_coins.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/count_the_coins.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/cryptoarithmetic.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/cryptoarithmetic.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/erlang.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/erlang.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/erlang.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/erlang.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler01.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler01.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler01.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 1: 2 | 233168 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler02.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler02.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler02.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler02.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler03.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler03.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler03.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler03.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler04.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler04.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler04.stlx.reference: -------------------------------------------------------------------------------- 1 | 906609 {[913, 993]} 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler05.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler05.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler05.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 5: 2 | 232792560 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler06.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler06.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler06.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler06.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler07.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler07.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler07.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 7: 2 | 104743 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler08.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler08.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler08.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 8: 2 | 40824 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler09.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler09.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler09.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 9: 2 | 31875000 (a=200 b=375 c=425) 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler10.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler10.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler10.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler10.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler11.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler11.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler11.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 11: 2 | 70600674 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler12.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler12.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler12.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 12: 2 | 76576500 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14a1.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14a1.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14a1.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14a1.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14a2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14a2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14a2.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14a2.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler14b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler14b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler15.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler15.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler15.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 15: 2 | 137846528820 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler16.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler16.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler16.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 16: 2 | 1366 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler17.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler17.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler17.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 17: 2 | 21124 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler18.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler18.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler18.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 18: 2 | 1074 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler19.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler19.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler19.stlx.reference: -------------------------------------------------------------------------------- 1 | 171 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler20.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler20.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler20.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 20: 2 | 648 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler21.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler21.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler21.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 21: 2 | 31626 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler23.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler23.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler23.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler23.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler24.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler24.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler24.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler24.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler25.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler25.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler25.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 25: 2 | 4782 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler26.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler26.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler26.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 26: 2 | 983 max_len: 982 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler27.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler27.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler27.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler27.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler27b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler27b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler27b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler27b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler28.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler28.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler28.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 28: 2 | 669171001 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler29.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler29.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler29.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 29 2 | 9183 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler30.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler30.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler30.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 30: 2 | 443839 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler31.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler31.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler31.stlx.reference: -------------------------------------------------------------------------------- 1 | 73682 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler32.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler32.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler32.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler32.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler33.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler33.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler33.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler33.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler34.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler34.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler34.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 34: 2 | 40730 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler35.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler35.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler35.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler35.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler35b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler35b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler35b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler35b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler36.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler36.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler36.stlx.reference: -------------------------------------------------------------------------------- 1 | 872187 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler37.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler37.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler37.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler37.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler38.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler38.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler38.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 38: 2 | 918273645 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler39a.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler39a.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler39a.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler39a.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler39b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler39b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler39b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler39b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler40.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler40.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler40.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler40.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler41.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler41.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler41.stlx.reference: -------------------------------------------------------------------------------- 1 | 7652413 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43a1.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43a1.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43a1.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43a1.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43a2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43a2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43a2.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43a2.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler43b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler43b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler44.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler44.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler44.stlx.reference: -------------------------------------------------------------------------------- 1 | 5482660 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler45.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler45.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler45.stlx.reference: -------------------------------------------------------------------------------- 1 | 1533776805 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler46.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler46.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler46.stlx.reference: -------------------------------------------------------------------------------- 1 | 5777 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler47.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler47.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler47.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler47.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler48.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler48.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler48.stlx.reference: -------------------------------------------------------------------------------- 1 | Problem 48: 2 | 9110846700 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler49.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler49.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler49.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler49.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler49b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler49b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/euler49b.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/euler49b.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_list.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/factorial_list.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_list.stlx.reference: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_loop.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/factorial_loop.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_loop.stlx.reference: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_native.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/factorial_native.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_native.stlx.reference: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/factorial_native_print.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/factorial_native_print.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/fast-crypto.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/fast-crypto.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/fast-crypto.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/fast-crypto.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/lr-table-generator.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/lr-table-generator.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/minCut.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/minCut.data -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/minCut.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/minCut.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/minCut.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/minCut.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens1.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens1.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens1.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens1.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens2.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens2.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens3.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens3.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens3.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens3.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens4.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens4.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens4.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens4.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens5.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens5.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens5.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens5.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens6.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens6.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/nqueens6.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/nqueens6.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/perfect.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/perfect.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/perfect.stlx.reference: -------------------------------------------------------------------------------- 1 | [6, 28, 496, 8128] 2 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/pocket-pair.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/pocket-pair.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/pocket-pair.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/pocket-pair.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1a.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_1a.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1a.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money1 2 | [[9, 5, 6, 7, 1, 0, 8, 2]] 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1b.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_1b.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1b.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money1b 2 | [[9, 5, 6, 7, 1, 0, 8, 2]] 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1c.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_1c.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_1c.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money1c 2 | [[9, 5, 6, 7, 1, 0, 8, 2]] 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_2.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_2.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_2.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money2 2 | It's 3628800 permutations 3 | [[9, 5, 6, 7, 1, 0, 8, 2, 4, 3]] 4 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_3.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_3.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_3.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money3 2 | [[9, 5, 6, 7, 1, 0, 8, 2]] 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_4.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/send_more_money_4.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/send_more_money_4.stlx.reference: -------------------------------------------------------------------------------- 1 | send_more_money4 2 | [9, 5, 6, 7, 1, 0, 8, 2] 3 | -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/sorting_bench.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/sorting_bench.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/sorting_bench.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/sorting_bench.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/tic-tac-toe.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/tic-tac-toe.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/tic-tac-toe.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/tic-tac-toe.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/tsp.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/tsp.data -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/tsp.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/tsp.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/tsp.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/tsp.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/zebra.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/zebra.stlx -------------------------------------------------------------------------------- /example_SetlX_code/performance_test_code/zebra.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/performance_test_code/zebra.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/plot.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plot.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plot.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plot.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addBarChart.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addBarChart.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addBoxChart.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addBoxChart.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addBullets.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addBullets.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addGraph.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addGraph.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addLabel.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addLabel.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addListGraph.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addListGraph.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addParamGraph.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addParamGraph.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/addPieChart.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/addPieChart.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/circle.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/circle.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/convergence-to-normal.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/convergence-to-normal.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/defineTitle.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/defineTitle.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/exportCanvas.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/exportCanvas.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/fathers-and-sons.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/fathers-and-sons.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/fathers-and-sons.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/fathers-and-sons.txt -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/hypotrochoid.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/hypotrochoid.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/labelAxis.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/labelAxis.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/legendVisible.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/legendVisible.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/modScale.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/modScale.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/modScaleType.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/modScaleType.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/modSize.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/modSize.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/parabola.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/parabola.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/race-and-incarceration.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/race-and-incarceration.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/removeGraph.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/removeGraph.stlx -------------------------------------------------------------------------------- /example_SetlX_code/plotting_test_code/world-population.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/plotting_test_code/world-population.stlx -------------------------------------------------------------------------------- /example_SetlX_code/primes-sieve.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/primes-sieve.stlx -------------------------------------------------------------------------------- /example_SetlX_code/primes-sieve.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/primes-sieve.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/primes-tuple.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/primes-tuple.stlx -------------------------------------------------------------------------------- /example_SetlX_code/primes-tuple.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/primes-tuple.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/queens-backtrack.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/queens-backtrack.stlx -------------------------------------------------------------------------------- /example_SetlX_code/queens-backtrack.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/queens-backtrack.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/queens.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/queens.stlx -------------------------------------------------------------------------------- /example_SetlX_code/queens.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/queens.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/regression.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/regression.stlx -------------------------------------------------------------------------------- /example_SetlX_code/regression.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/regression.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/backtrack.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/backtrack.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/backtrack.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/backtrack.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/builtInFunctions.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/builtInFunctions.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/builtInFunctions.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/builtInFunctions.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/compare.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/compare.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/compare.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/compare.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/crazyParserSyntaxErrorCheck.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/crazyParserSyntaxErrorCheck.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/dot-product.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/dot-product.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/dot-product.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/dot-product.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/errorOutput.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/errorOutput.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/errorOutput.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/errorOutput.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/factorial.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/factorial.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/factorial.stlx.input: -------------------------------------------------------------------------------- 1 | 10000 2 | 3 | -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/factorial.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/factorial.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/fileAPI.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/fileAPI.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/fileAPI.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/fileAPI.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/formatedString.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/formatedString.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/formatedString.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/formatedString.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/formatedStringError.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/formatedStringError.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/formatedStringError.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/formatedStringError.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/addPlayPauseButton.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/addPlayPauseButton.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/addSpeedSlider.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/addSpeedSlider.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/arc.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/arc.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/circle.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/circle.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/clear.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/clear.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/ellipse.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/ellipse.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/filledCircle.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/filledCircle.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/filledEllipse.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/filledEllipse.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/filledPolygon.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/filledPolygon.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/getFont.stlx: -------------------------------------------------------------------------------- 1 | gfx_getFont(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/getPenColor.stlx: -------------------------------------------------------------------------------- 1 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/getPenRadius.stlx: -------------------------------------------------------------------------------- 1 | gfx_getPenRadius(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/gfxText.stlx.reference: -------------------------------------------------------------------------------- 1 | gfx-test successful -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/hasNextKeyTyped.stlx: -------------------------------------------------------------------------------- 1 | gfx_hasNextKeyTyped(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/isKeyPressed.stlx: -------------------------------------------------------------------------------- 1 | gfx_isKeyPressed(1); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/isPaused.stlx: -------------------------------------------------------------------------------- 1 | gfx_isPaused(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/line.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/line.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/mouseX.stlx: -------------------------------------------------------------------------------- 1 | gfx_mouseX(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/mouseY.stlx: -------------------------------------------------------------------------------- 1 | gfx_mouseY(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/nextKeyTyped.stlx: -------------------------------------------------------------------------------- 1 | gfx_nextKeyTyped(); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/picture.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/picture.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/point.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/point.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/polygon.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/polygon.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/rectangle.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/rectangle.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setCanvasSize.stlx: -------------------------------------------------------------------------------- 1 | gfx_setCanvasSize( 300, 50 ); 2 | print("gfx-test successful"); 3 | -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setFont.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setFont.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setMessage.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setMessage.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setPaused.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setPaused.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setPenColor.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setPenColor.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setPenColorRGB.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setPenColorRGB.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setPenRadius.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setPenRadius.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setScale.stlx: -------------------------------------------------------------------------------- 1 | gfx_setScale( 0, 20 ); 2 | print("gfx-test successful"); -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setXScale.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setXScale.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/setYScale.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/setYScale.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/show.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/show.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/square.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/square.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/test-gfx.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/test-gfx.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/text.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/text.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/textLeft.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/textLeft.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/gfx_addon/textRight.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/gfx_addon/textRight.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/match.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/match.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/match.stlx.noTermLoop.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/match.stlx.noTermLoop.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/objectOrientation.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/objectOrientation.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/objectOrientation.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/objectOrientation.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/parseAndEval.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/parseAndEval.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/parseAndEval.stlx.input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/parseAndEval.stlx.input -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/parseAndEval.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/parseAndEval.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/prologStyleListMatch.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/prologStyleListMatch.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/prologStyleListMatch.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/prologStyleListMatch.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/regex.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/regex.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/regex.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/regex.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/simpleClosure.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/simpleClosure.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/simpleClosure.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/simpleClosure.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/tryCatch.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/tryCatch.stlx -------------------------------------------------------------------------------- /example_SetlX_code/simple_examples/tryCatch.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/simple_examples/tryCatch.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_beta.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_beta.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_beta.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.0 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_betaCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_betaCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_betaCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 1.0 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_cauchy.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_cauchy.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_cauchy.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.09549296585513721 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_cauchyCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_cauchyCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_cauchyCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.39758361765043326 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_chiSquared.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_chiSquared.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_chiSquared.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.2075537487102973 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_chiSquaredCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_chiSquaredCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_chiSquaredCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.42759329552912023 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_exponential.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_exponential.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_exponential.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.11942188509563154 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_exponentialCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_exponentialCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_exponentialCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.28346868942621073 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_fisher.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_fisher.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_fisher.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.07169777401493928 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_fisherCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_fisherCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_fisherCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.7313172949523805 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_gamma.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_gamma.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_gamma.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.003085544918044173 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_gammaCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_gammaCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_gammaCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.002525287783204569 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_levy.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_levy.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_levy.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.08065690817304778 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_levyCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_levyCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_levyCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.3173105078629139 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_logNormal.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_logNormal.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_logNormal.stlx.reference: -------------------------------------------------------------------------------- 1 | 1.5957691216057308 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_logNormalCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_logNormalCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_logNormalCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.5 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_normal.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_normal.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_normal.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.04405413986167643 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_normalCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_normalCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_normalCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.4557641189546886 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_pareto.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_pareto.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_pareto.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.0625 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_paretoCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_paretoCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_paretoCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.875 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_student.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_student.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_student.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.06750966066389291 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_studentCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_studentCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_studentCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.9303370157205785 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_weibull.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_weibull.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_weibull.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.16546816923461166 2 | -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_weibullCDF.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/stat_test_code/stat_weibullCDF.stlx -------------------------------------------------------------------------------- /example_SetlX_code/stat_test_code/stat_weibullCDF.stlx.reference: -------------------------------------------------------------------------------- 1 | 0.11750309741540454 2 | -------------------------------------------------------------------------------- /example_SetlX_code/tautologySimple.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/tautologySimple.stlx -------------------------------------------------------------------------------- /example_SetlX_code/tautologySimple.stlx.input: -------------------------------------------------------------------------------- 1 | %x 2 | !(a && b) <==> (!a || !b) 3 | -------------------------------------------------------------------------------- /example_SetlX_code/tautologySimple.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/tautologySimple.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/test-equivalence.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/test-equivalence.stlx -------------------------------------------------------------------------------- /example_SetlX_code/test-equivalence.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/test-equivalence.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/trampoline.setlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/trampoline.setlx -------------------------------------------------------------------------------- /example_SetlX_code/trampoline.setlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/trampoline.setlx.reference -------------------------------------------------------------------------------- /example_SetlX_code/xmlscanner.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/xmlscanner.stlx -------------------------------------------------------------------------------- /example_SetlX_code/xmlscanner.stlx.reference: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /example_SetlX_code/zebra-brute-force.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/zebra-brute-force.stlx -------------------------------------------------------------------------------- /example_SetlX_code/zebra-brute-force.stlx.reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_code/zebra-brute-force.stlx.reference -------------------------------------------------------------------------------- /example_SetlX_stat_code/create_python_references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/create_python_references -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_beta.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_beta.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_beta.py.reference: -------------------------------------------------------------------------------- 1 | 0.0 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_betaCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_betaCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_betaCDF.py.reference: -------------------------------------------------------------------------------- 1 | 1.0 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_cauchy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_cauchy.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_cauchy.py.reference: -------------------------------------------------------------------------------- 1 | 0.0954929658551 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_cauchyCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_cauchyCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_cauchyCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.39758361765 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_chiSquared.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_chiSquared.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_chiSquared.py.reference: -------------------------------------------------------------------------------- 1 | 0.20755374871 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_chiSquaredCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_chiSquaredCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_chiSquaredCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.427593295529 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_exponential.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_exponential.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_exponential.py.reference: -------------------------------------------------------------------------------- 1 | 0.119421885096 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_exponentialCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_exponentialCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_exponentialCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.283468689426 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_fisher.py: -------------------------------------------------------------------------------- 1 | from scipy.stats import f 2 | print(f.pdf(3,5,2)) 3 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_fisher.py.reference: -------------------------------------------------------------------------------- 1 | 0.0716977740149 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_fisherCDF.py: -------------------------------------------------------------------------------- 1 | from scipy.stats import f 2 | print(f.cdf(3,5,2)) 3 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_fisherCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.731317294952 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_gamma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_gamma.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_gamma.py.reference: -------------------------------------------------------------------------------- 1 | 0.00308554491804 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_gammaCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_gammaCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_gammaCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.0025252877832 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_levy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_levy.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_levy.py.reference: -------------------------------------------------------------------------------- 1 | 0.080656908173 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_levyCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_levyCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_levyCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.317310507863 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_logNormal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_logNormal.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_logNormal.py.reference: -------------------------------------------------------------------------------- 1 | 1.59576912161 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_logNormalCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_logNormalCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_logNormalCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.5 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_normal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_normal.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_normal.py.reference: -------------------------------------------------------------------------------- 1 | 0.0440541398617 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_normalCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_normalCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_normalCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.455764118955 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_pareto.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_pareto.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_pareto.py.reference: -------------------------------------------------------------------------------- 1 | 0.0625 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_paretoCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_paretoCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_paretoCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.875 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_student.py: -------------------------------------------------------------------------------- 1 | from scipy.stats import t 2 | print(t.pdf(2,3)) 3 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_student.py.reference: -------------------------------------------------------------------------------- 1 | 0.0675096606639 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_studentCDF.py: -------------------------------------------------------------------------------- 1 | from scipy.stats import t 2 | print(t.cdf(2,3)) 3 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_studentCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.930337015721 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_weibull.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_weibull.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_weibull.py.reference: -------------------------------------------------------------------------------- 1 | 0.165468169235 2 | -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_weibullCDF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/example_SetlX_stat_code/stat_python_code/stat_weibullCDF.py -------------------------------------------------------------------------------- /example_SetlX_stat_code/stat_python_code/stat_weibullCDF.py.reference: -------------------------------------------------------------------------------- 1 | 0.117503097415 2 | -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/pom.xml -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/antlr4/EBNF_Grammar.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/antlr4/EBNF_Grammar.g4 -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Alternative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Alternative.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Concatenation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Concatenation.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/EBNF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/EBNF.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Epsilon.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Epsilon.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Expr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Expr.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Grammar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Grammar.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/MyToken.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/MyToken.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Negation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Negation.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Postfix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Postfix.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Range.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Range.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Rule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Rule.java -------------------------------------------------------------------------------- /grammar_pure/EBNF_extractor/src/main/java/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/EBNF_extractor/src/main/java/Variable.java -------------------------------------------------------------------------------- /grammar_pure/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/Makefile -------------------------------------------------------------------------------- /grammar_pure/create_pure_grammar.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/create_pure_grammar.sh -------------------------------------------------------------------------------- /grammar_pure/grammar_tester/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/grammar_tester/pom.xml -------------------------------------------------------------------------------- /grammar_pure/grammar_tester/src/main/java/ParsePure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/grammar_tester/src/main/java/ParsePure.java -------------------------------------------------------------------------------- /grammar_pure/input.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/grammar_pure/input.stlx -------------------------------------------------------------------------------- /interpreter/core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/pom.xml -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_abs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_abs.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_arb.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_arb.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_ask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_ask.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_fct.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_fct.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_get.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_get.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_int.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_int.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_max.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_max.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_min.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_min.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_now.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_now.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_pow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_pow.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_rnd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_rnd.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_run.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_run.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/functions/PD_str.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/functions/PD_str.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Call.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Call.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Equals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Equals.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Exists.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Exists.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Forall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Forall.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/In.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/In.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Minus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Minus.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Modulo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Modulo.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Not.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Not.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/operators/Sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/operators/Sum.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/Closure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/Closure.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/Om.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/Om.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/SetlSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/SetlSet.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/Term.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/Top.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/Top.java -------------------------------------------------------------------------------- /interpreter/core/src/main/java/org/randoom/setlx/types/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/core/src/main/java/org/randoom/setlx/types/Value.java -------------------------------------------------------------------------------- /interpreter/gfx_addon/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/gfx_addon/pom.xml -------------------------------------------------------------------------------- /interpreter/integrationTests/baseIntegrationTest.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/baseIntegrationTest.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_arithmetics.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_arithmetics.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_comparison.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_comparison.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_matrix_and_vector.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_matrix_and_vector.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_optimization.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_optimization.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_quantifiers.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_quantifiers.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/core_terms.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/core_terms.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/library_termUtilities.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/library_termUtilities.stlx -------------------------------------------------------------------------------- /interpreter/integrationTests/stat.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/integrationTests/stat.stlx -------------------------------------------------------------------------------- /interpreter/pc_ui/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/pc_ui/pom.xml -------------------------------------------------------------------------------- /interpreter/pc_ui/src/main/java/org/randoom/setlx/pc/ui/SetlX.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/pc_ui/src/main/java/org/randoom/setlx/pc/ui/SetlX.java -------------------------------------------------------------------------------- /interpreter/plot_addon/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/plot_addon/pom.xml -------------------------------------------------------------------------------- /interpreter/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/pom.xml -------------------------------------------------------------------------------- /interpreter/runIntegrationTests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/runIntegrationTests -------------------------------------------------------------------------------- /interpreter/setlX: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/setlX -------------------------------------------------------------------------------- /interpreter/setlX.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/setlX.cmd -------------------------------------------------------------------------------- /interpreter/setlXlibrary/debugUtilities.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/setlXlibrary/debugUtilities.stlx -------------------------------------------------------------------------------- /interpreter/setlXlibrary/termUtilities.stlx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/setlXlibrary/termUtilities.stlx -------------------------------------------------------------------------------- /interpreter/setlXprof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/setlXprof -------------------------------------------------------------------------------- /interpreter/stat_addon/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/stat_addon/pom.xml -------------------------------------------------------------------------------- /interpreter/tools/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/tools/pom.xml -------------------------------------------------------------------------------- /interpreter/tools/setlX-code-generator-maven-plugin/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/tools/setlX-code-generator-maven-plugin/pom.xml -------------------------------------------------------------------------------- /interpreter/tools/setlX-version-generator-maven-plugin/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/interpreter/tools/setlX-version-generator-maven-plugin/pom.xml -------------------------------------------------------------------------------- /license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/license.txt -------------------------------------------------------------------------------- /syntax_highlighting/Emacs/c-mode-hook.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/syntax_highlighting/Emacs/c-mode-hook.el -------------------------------------------------------------------------------- /syntax_highlighting/Emacs/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/syntax_highlighting/Emacs/readme.txt -------------------------------------------------------------------------------- /syntax_highlighting/gedit_GtkSourceView/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/syntax_highlighting/gedit_GtkSourceView/readme.txt -------------------------------------------------------------------------------- /syntax_highlighting/gedit_GtkSourceView/setlx.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/syntax_highlighting/gedit_GtkSourceView/setlx.lang -------------------------------------------------------------------------------- /test_all_examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/test_all_examples -------------------------------------------------------------------------------- /test_fast_examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/test_fast_examples -------------------------------------------------------------------------------- /test_performance: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/test_performance -------------------------------------------------------------------------------- /test_stat_examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/herrmanntom/setlX/HEAD/test_stat_examples --------------------------------------------------------------------------------