├── .gitignore ├── COPYING ├── README ├── Rakefile ├── adventures └── ps07 │ ├── extra.scm │ ├── family.scm │ ├── load.scm │ ├── ps.scm │ ├── ps.txt │ └── ui.scm ├── core ├── amb-utils.scm ├── application.scm ├── carrying-cells.scm ├── cell-sugar.scm ├── cells.scm ├── code.ps ├── compound-data.scm ├── contradictions.scm ├── diagrams.scm ├── example-networks.scm ├── explain.scm ├── generic-definitions.scm ├── intervals.scm ├── load.scm ├── merge-effects.scm ├── metadata.scm ├── physical-closures.scm ├── premises.scm ├── propagators.scm ├── run-tests ├── scheduler.scm ├── search.scm ├── standard-propagators.scm ├── sugar.scm ├── supported-values.scm ├── test-utils.scm ├── test │ ├── barometer-test.scm │ ├── carrying-cells-test.scm │ ├── compound-merges-test.scm │ ├── copying-data-test.scm │ ├── core-test.scm │ ├── dependencies-test.scm │ ├── load.scm │ ├── metadata-test.scm │ ├── partial-compounds-test.scm │ ├── physical-closures-test.scm │ ├── scheduler-test.scm │ └── switches-test.scm ├── truth-maintenance.scm └── ui.scm ├── doc ├── Rakefile ├── art.pdf ├── bib.rkt ├── closures.tex ├── environments.tex ├── html4css1.css ├── phd-thesis.pdf ├── preamble.tex ├── programmer-guide.html ├── programmer-guide.rst ├── rake-latex.rb ├── revised-auto.bib ├── revised-html.aux ├── revised-html.bbl ├── revised-html.blg ├── revised-html.dvi ├── revised-html.html ├── revised-html.log ├── revised-html.out ├── revised-html.pdf ├── revised-html.tex ├── revised-html.toc ├── revised.aux ├── revised.bbl ├── revised.blg ├── revised.log ├── revised.out ├── revised.pdf ├── revised.scrbl ├── revised.tex ├── revised.toc ├── revised.txt └── style.css ├── examples ├── Rakefile ├── albatross-conundrum.scm ├── belief-propagation.scm ├── electric-parts.scm ├── load.scm ├── masyu.scm ├── multiple-dwelling.scm ├── recursive-sqrt.scm ├── riddle-of-the-knights.scm ├── run-examples ├── run-mechanics-tests ├── run-tests ├── slow-examples.scm ├── sudoku.scm ├── test │ ├── belief-propagation-test.scm │ ├── bridge-rectifier-test.scm │ ├── galaxy-range-test.scm │ ├── load.scm │ ├── mechanics-load.scm │ ├── multiple-dwelling-test.scm │ ├── recursive-sqrt-test.scm │ ├── selectors-test.scm │ ├── smoke-test.scm │ ├── sudoku-test.scm │ └── voltage-divider-test.scm ├── voltage-divider-slice.scm └── voltage-divider.scm ├── experiment ├── code.ps ├── depends.scm ├── lash-up.scm ├── load.scm └── to-work-on ├── extensions ├── dot-writer.scm ├── draw.scm ├── example-closures.scm ├── functional-reactivity.scm ├── graphml-writer.scm ├── inequalities.scm ├── info-alist.scm ├── load.scm ├── mechanics ├── run-tests ├── solve.scm ├── symbolics-ineq.scm ├── symbolics.scm ├── test-utils.scm ├── test │ ├── functional-reactive-test.scm │ ├── graph-drawing-test.scm │ ├── inequality-test.scm │ ├── load.scm │ ├── symbolics-ineq-test.scm │ ├── symbolics-test.scm │ ├── virtual-closures-test.scm │ └── virtual-environments-test.scm ├── virtual-closures.scm └── virtual-environments.scm ├── foo.scm ├── load.scm ├── run-tests ├── support ├── auto-compilation.scm ├── coercions.scm ├── eq-properties.scm ├── generics-again.scm ├── insertion-order-sets.scm ├── load.scm ├── mit-profile.scm ├── mit-profile.scm.orig ├── profiler.scm ├── run-tests ├── scm-propagators.el ├── test-utils.scm ├── test │ ├── generic-microbench.scm │ ├── generics-test.scm │ ├── load.scm │ ├── profiler-test.scm │ └── utils-test.scm └── utils.scm ├── testing ├── COPYING ├── Rakefile ├── all-tests.scm ├── assertions.scm ├── checks.scm ├── doc │ ├── CHANGELOG │ └── testing.pod ├── failure-report-demo.scm ├── guile-conditions.scm ├── interactions.scm ├── load.scm ├── matching.scm ├── mit-scheme-tests.scm ├── mitscheme-conditions.scm ├── ordered-map.scm ├── portability.scm ├── srfi-69-hash-tables.scm ├── test-group.scm ├── test-runner.scm └── testing.scm └── workbook.ps /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/COPYING -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/README -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/Rakefile -------------------------------------------------------------------------------- /adventures/ps07/extra.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/extra.scm -------------------------------------------------------------------------------- /adventures/ps07/family.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/family.scm -------------------------------------------------------------------------------- /adventures/ps07/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/load.scm -------------------------------------------------------------------------------- /adventures/ps07/ps.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/ps.scm -------------------------------------------------------------------------------- /adventures/ps07/ps.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/ps.txt -------------------------------------------------------------------------------- /adventures/ps07/ui.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/adventures/ps07/ui.scm -------------------------------------------------------------------------------- /core/amb-utils.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/amb-utils.scm -------------------------------------------------------------------------------- /core/application.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/application.scm -------------------------------------------------------------------------------- /core/carrying-cells.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/carrying-cells.scm -------------------------------------------------------------------------------- /core/cell-sugar.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/cell-sugar.scm -------------------------------------------------------------------------------- /core/cells.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/cells.scm -------------------------------------------------------------------------------- /core/code.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/code.ps -------------------------------------------------------------------------------- /core/compound-data.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/compound-data.scm -------------------------------------------------------------------------------- /core/contradictions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/contradictions.scm -------------------------------------------------------------------------------- /core/diagrams.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/diagrams.scm -------------------------------------------------------------------------------- /core/example-networks.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/example-networks.scm -------------------------------------------------------------------------------- /core/explain.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/explain.scm -------------------------------------------------------------------------------- /core/generic-definitions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/generic-definitions.scm -------------------------------------------------------------------------------- /core/intervals.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/intervals.scm -------------------------------------------------------------------------------- /core/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/load.scm -------------------------------------------------------------------------------- /core/merge-effects.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/merge-effects.scm -------------------------------------------------------------------------------- /core/metadata.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/metadata.scm -------------------------------------------------------------------------------- /core/physical-closures.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/physical-closures.scm -------------------------------------------------------------------------------- /core/premises.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/premises.scm -------------------------------------------------------------------------------- /core/propagators.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/propagators.scm -------------------------------------------------------------------------------- /core/run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/run-tests -------------------------------------------------------------------------------- /core/scheduler.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/scheduler.scm -------------------------------------------------------------------------------- /core/search.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/search.scm -------------------------------------------------------------------------------- /core/standard-propagators.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/standard-propagators.scm -------------------------------------------------------------------------------- /core/sugar.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/sugar.scm -------------------------------------------------------------------------------- /core/supported-values.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/supported-values.scm -------------------------------------------------------------------------------- /core/test-utils.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test-utils.scm -------------------------------------------------------------------------------- /core/test/barometer-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/barometer-test.scm -------------------------------------------------------------------------------- /core/test/carrying-cells-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/carrying-cells-test.scm -------------------------------------------------------------------------------- /core/test/compound-merges-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/compound-merges-test.scm -------------------------------------------------------------------------------- /core/test/copying-data-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/copying-data-test.scm -------------------------------------------------------------------------------- /core/test/core-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/core-test.scm -------------------------------------------------------------------------------- /core/test/dependencies-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/dependencies-test.scm -------------------------------------------------------------------------------- /core/test/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/load.scm -------------------------------------------------------------------------------- /core/test/metadata-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/metadata-test.scm -------------------------------------------------------------------------------- /core/test/partial-compounds-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/partial-compounds-test.scm -------------------------------------------------------------------------------- /core/test/physical-closures-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/physical-closures-test.scm -------------------------------------------------------------------------------- /core/test/scheduler-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/scheduler-test.scm -------------------------------------------------------------------------------- /core/test/switches-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/test/switches-test.scm -------------------------------------------------------------------------------- /core/truth-maintenance.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/truth-maintenance.scm -------------------------------------------------------------------------------- /core/ui.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/core/ui.scm -------------------------------------------------------------------------------- /doc/Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/Rakefile -------------------------------------------------------------------------------- /doc/art.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/art.pdf -------------------------------------------------------------------------------- /doc/bib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/bib.rkt -------------------------------------------------------------------------------- /doc/closures.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/closures.tex -------------------------------------------------------------------------------- /doc/environments.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/environments.tex -------------------------------------------------------------------------------- /doc/html4css1.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/html4css1.css -------------------------------------------------------------------------------- /doc/phd-thesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/phd-thesis.pdf -------------------------------------------------------------------------------- /doc/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/preamble.tex -------------------------------------------------------------------------------- /doc/programmer-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/programmer-guide.html -------------------------------------------------------------------------------- /doc/programmer-guide.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/programmer-guide.rst -------------------------------------------------------------------------------- /doc/rake-latex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/rake-latex.rb -------------------------------------------------------------------------------- /doc/revised-auto.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-auto.bib -------------------------------------------------------------------------------- /doc/revised-html.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.aux -------------------------------------------------------------------------------- /doc/revised-html.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.bbl -------------------------------------------------------------------------------- /doc/revised-html.blg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.blg -------------------------------------------------------------------------------- /doc/revised-html.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.dvi -------------------------------------------------------------------------------- /doc/revised-html.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.html -------------------------------------------------------------------------------- /doc/revised-html.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.log -------------------------------------------------------------------------------- /doc/revised-html.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.out -------------------------------------------------------------------------------- /doc/revised-html.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.pdf -------------------------------------------------------------------------------- /doc/revised-html.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.tex -------------------------------------------------------------------------------- /doc/revised-html.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised-html.toc -------------------------------------------------------------------------------- /doc/revised.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.aux -------------------------------------------------------------------------------- /doc/revised.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.bbl -------------------------------------------------------------------------------- /doc/revised.blg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.blg -------------------------------------------------------------------------------- /doc/revised.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.log -------------------------------------------------------------------------------- /doc/revised.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.out -------------------------------------------------------------------------------- /doc/revised.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.pdf -------------------------------------------------------------------------------- /doc/revised.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.scrbl -------------------------------------------------------------------------------- /doc/revised.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.tex -------------------------------------------------------------------------------- /doc/revised.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.toc -------------------------------------------------------------------------------- /doc/revised.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/revised.txt -------------------------------------------------------------------------------- /doc/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/doc/style.css -------------------------------------------------------------------------------- /examples/Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/Rakefile -------------------------------------------------------------------------------- /examples/albatross-conundrum.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/albatross-conundrum.scm -------------------------------------------------------------------------------- /examples/belief-propagation.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/belief-propagation.scm -------------------------------------------------------------------------------- /examples/electric-parts.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/electric-parts.scm -------------------------------------------------------------------------------- /examples/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/load.scm -------------------------------------------------------------------------------- /examples/masyu.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/masyu.scm -------------------------------------------------------------------------------- /examples/multiple-dwelling.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/multiple-dwelling.scm -------------------------------------------------------------------------------- /examples/recursive-sqrt.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/recursive-sqrt.scm -------------------------------------------------------------------------------- /examples/riddle-of-the-knights.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/riddle-of-the-knights.scm -------------------------------------------------------------------------------- /examples/run-examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/run-examples -------------------------------------------------------------------------------- /examples/run-mechanics-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/run-mechanics-tests -------------------------------------------------------------------------------- /examples/run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/run-tests -------------------------------------------------------------------------------- /examples/slow-examples.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/slow-examples.scm -------------------------------------------------------------------------------- /examples/sudoku.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/sudoku.scm -------------------------------------------------------------------------------- /examples/test/belief-propagation-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/belief-propagation-test.scm -------------------------------------------------------------------------------- /examples/test/bridge-rectifier-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/bridge-rectifier-test.scm -------------------------------------------------------------------------------- /examples/test/galaxy-range-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/galaxy-range-test.scm -------------------------------------------------------------------------------- /examples/test/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/load.scm -------------------------------------------------------------------------------- /examples/test/mechanics-load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/mechanics-load.scm -------------------------------------------------------------------------------- /examples/test/multiple-dwelling-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/multiple-dwelling-test.scm -------------------------------------------------------------------------------- /examples/test/recursive-sqrt-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/recursive-sqrt-test.scm -------------------------------------------------------------------------------- /examples/test/selectors-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/selectors-test.scm -------------------------------------------------------------------------------- /examples/test/smoke-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/smoke-test.scm -------------------------------------------------------------------------------- /examples/test/sudoku-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/sudoku-test.scm -------------------------------------------------------------------------------- /examples/test/voltage-divider-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/test/voltage-divider-test.scm -------------------------------------------------------------------------------- /examples/voltage-divider-slice.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/voltage-divider-slice.scm -------------------------------------------------------------------------------- /examples/voltage-divider.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/examples/voltage-divider.scm -------------------------------------------------------------------------------- /experiment/code.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/experiment/code.ps -------------------------------------------------------------------------------- /experiment/depends.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/experiment/depends.scm -------------------------------------------------------------------------------- /experiment/lash-up.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/experiment/lash-up.scm -------------------------------------------------------------------------------- /experiment/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/experiment/load.scm -------------------------------------------------------------------------------- /experiment/to-work-on: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/experiment/to-work-on -------------------------------------------------------------------------------- /extensions/dot-writer.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/dot-writer.scm -------------------------------------------------------------------------------- /extensions/draw.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/draw.scm -------------------------------------------------------------------------------- /extensions/example-closures.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/example-closures.scm -------------------------------------------------------------------------------- /extensions/functional-reactivity.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/functional-reactivity.scm -------------------------------------------------------------------------------- /extensions/graphml-writer.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/graphml-writer.scm -------------------------------------------------------------------------------- /extensions/inequalities.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/inequalities.scm -------------------------------------------------------------------------------- /extensions/info-alist.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/info-alist.scm -------------------------------------------------------------------------------- /extensions/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/load.scm -------------------------------------------------------------------------------- /extensions/mechanics: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/mechanics -------------------------------------------------------------------------------- /extensions/run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/run-tests -------------------------------------------------------------------------------- /extensions/solve.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/solve.scm -------------------------------------------------------------------------------- /extensions/symbolics-ineq.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/symbolics-ineq.scm -------------------------------------------------------------------------------- /extensions/symbolics.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/symbolics.scm -------------------------------------------------------------------------------- /extensions/test-utils.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test-utils.scm -------------------------------------------------------------------------------- /extensions/test/functional-reactive-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/functional-reactive-test.scm -------------------------------------------------------------------------------- /extensions/test/graph-drawing-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/graph-drawing-test.scm -------------------------------------------------------------------------------- /extensions/test/inequality-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/inequality-test.scm -------------------------------------------------------------------------------- /extensions/test/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/load.scm -------------------------------------------------------------------------------- /extensions/test/symbolics-ineq-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/symbolics-ineq-test.scm -------------------------------------------------------------------------------- /extensions/test/symbolics-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/symbolics-test.scm -------------------------------------------------------------------------------- /extensions/test/virtual-closures-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/virtual-closures-test.scm -------------------------------------------------------------------------------- /extensions/test/virtual-environments-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/test/virtual-environments-test.scm -------------------------------------------------------------------------------- /extensions/virtual-closures.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/virtual-closures.scm -------------------------------------------------------------------------------- /extensions/virtual-environments.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/extensions/virtual-environments.scm -------------------------------------------------------------------------------- /foo.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/foo.scm -------------------------------------------------------------------------------- /load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/load.scm -------------------------------------------------------------------------------- /run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/run-tests -------------------------------------------------------------------------------- /support/auto-compilation.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/auto-compilation.scm -------------------------------------------------------------------------------- /support/coercions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/coercions.scm -------------------------------------------------------------------------------- /support/eq-properties.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/eq-properties.scm -------------------------------------------------------------------------------- /support/generics-again.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/generics-again.scm -------------------------------------------------------------------------------- /support/insertion-order-sets.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/insertion-order-sets.scm -------------------------------------------------------------------------------- /support/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/load.scm -------------------------------------------------------------------------------- /support/mit-profile.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/mit-profile.scm -------------------------------------------------------------------------------- /support/mit-profile.scm.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/mit-profile.scm.orig -------------------------------------------------------------------------------- /support/profiler.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/profiler.scm -------------------------------------------------------------------------------- /support/run-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/run-tests -------------------------------------------------------------------------------- /support/scm-propagators.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/scm-propagators.el -------------------------------------------------------------------------------- /support/test-utils.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test-utils.scm -------------------------------------------------------------------------------- /support/test/generic-microbench.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test/generic-microbench.scm -------------------------------------------------------------------------------- /support/test/generics-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test/generics-test.scm -------------------------------------------------------------------------------- /support/test/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test/load.scm -------------------------------------------------------------------------------- /support/test/profiler-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test/profiler-test.scm -------------------------------------------------------------------------------- /support/test/utils-test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/test/utils-test.scm -------------------------------------------------------------------------------- /support/utils.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/support/utils.scm -------------------------------------------------------------------------------- /testing/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/COPYING -------------------------------------------------------------------------------- /testing/Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/Rakefile -------------------------------------------------------------------------------- /testing/all-tests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/all-tests.scm -------------------------------------------------------------------------------- /testing/assertions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/assertions.scm -------------------------------------------------------------------------------- /testing/checks.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/checks.scm -------------------------------------------------------------------------------- /testing/doc/CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/doc/CHANGELOG -------------------------------------------------------------------------------- /testing/doc/testing.pod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/doc/testing.pod -------------------------------------------------------------------------------- /testing/failure-report-demo.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/failure-report-demo.scm -------------------------------------------------------------------------------- /testing/guile-conditions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/guile-conditions.scm -------------------------------------------------------------------------------- /testing/interactions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/interactions.scm -------------------------------------------------------------------------------- /testing/load.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/load.scm -------------------------------------------------------------------------------- /testing/matching.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/matching.scm -------------------------------------------------------------------------------- /testing/mit-scheme-tests.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/mit-scheme-tests.scm -------------------------------------------------------------------------------- /testing/mitscheme-conditions.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/mitscheme-conditions.scm -------------------------------------------------------------------------------- /testing/ordered-map.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/ordered-map.scm -------------------------------------------------------------------------------- /testing/portability.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/portability.scm -------------------------------------------------------------------------------- /testing/srfi-69-hash-tables.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/srfi-69-hash-tables.scm -------------------------------------------------------------------------------- /testing/test-group.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/test-group.scm -------------------------------------------------------------------------------- /testing/test-runner.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/test-runner.scm -------------------------------------------------------------------------------- /testing/testing.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/testing/testing.scm -------------------------------------------------------------------------------- /workbook.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/propagators/HEAD/workbook.ps --------------------------------------------------------------------------------