├── .dockerignore ├── .github ├── FUNDING.yml └── workflows │ ├── benchmark.yml │ ├── grader.yml │ └── selfie.yml ├── .gitignore ├── .replit ├── AUTHORS ├── CITATION.cff ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── assignments ├── README.md ├── ascii-table.md ├── compiler-assignments.md ├── introductory-assignments.md └── systems-assignments.md ├── benchmark ├── Dockerfile ├── README.md ├── assets │ └── logo-fit.svg ├── bt.py ├── config.yml ├── lib │ ├── __init__.py │ ├── argument_parser.py │ ├── bitwuzla_terminator.py │ ├── color_map.py │ ├── config.py │ ├── dict_mixin.py │ ├── exceptions.py │ ├── generate.py │ ├── log.py │ ├── model.py │ ├── model_config_parser.py │ ├── model_data.py │ ├── model_generation_config.py │ ├── model_grapher.py │ ├── model_parser.py │ ├── model_type.py │ ├── overview.py │ ├── paths.py │ ├── presenter.py │ ├── rotor_parser.py │ ├── solver.py │ ├── solver_profile.py │ └── utils.py ├── requirements-tests.txt ├── requirements.txt ├── run_tests.py ├── setup.sh └── tests │ ├── __init__.py │ ├── integration │ ├── __init__.py │ ├── conftest.py │ ├── helpers.py │ └── test_basic_workflows.py │ └── unit │ ├── __init__.py │ ├── test_model_config_parser.py │ ├── test_paths.py │ └── test_solver.py ├── book ├── README.md ├── book.pdf └── figures │ ├── 7-bit-adder.png │ ├── atoi.png │ ├── audio.png │ ├── byte.png │ ├── call-frame.png │ ├── code.png │ ├── complexity.png │ ├── constants.png │ ├── contiguous.png │ ├── correct-integer-literal-FSM.png │ ├── directory.png │ ├── elementary-expressions.png │ ├── emitting-arithmetic.png │ ├── emitting-assignments.png │ ├── emitting-expressions.png │ ├── emitting-if-statements.png │ ├── emitting-literals.png │ ├── emitting-terms.png │ ├── emitting-while-loops.png │ ├── emu-emu.png │ ├── full-adder.png │ ├── global-variable-declaration.png │ ├── half-adder.png │ ├── image.png │ ├── integer-literal-FSM.png │ ├── layout.png │ ├── live-versus-dead.png │ ├── machine.png │ ├── memory.png │ ├── os-emu.png │ ├── os-vmm-emu.png │ ├── page-table.png │ ├── paging-page-tables.png │ ├── parsing-literals.png │ ├── performance.png │ ├── pointers.png │ ├── roots-into-heap.png │ ├── scanner.png │ ├── scanning-character-literals.png │ ├── scanning-identifiers.png │ ├── scanning-integer-literals.png │ ├── scanning-string-literals.png │ ├── string.png │ ├── symbol-table.png │ ├── tens-complement.png │ ├── text.png │ ├── traffic-light-model.png │ ├── tree.png │ ├── variable-use.png │ ├── video.png │ └── vonNeumann.png ├── docs ├── CNAME ├── _config.yml ├── _layouts │ └── redirect.html ├── _redirects │ └── slides.html ├── images │ ├── bkg.png │ └── blacktocat.png ├── index.md ├── javascripts │ ├── main.js │ └── scale.fix.js └── stylesheets │ ├── github-dark.css │ ├── github-light.css │ ├── normalize.css │ ├── styles.css │ └── stylesheet.css ├── examples ├── README.md ├── assembly │ └── read-and-exit.s ├── bitwise.c ├── bounds.c ├── cache │ ├── coherency-invalidation.c │ ├── dcache-access-0.c │ └── dcache-access-1.c ├── count.c ├── countdown.c ├── division-by-zero.c ├── double.c ├── encoding.c ├── escape.c ├── function.c ├── gc │ ├── boehm-gc-test.c │ └── gc-test.c ├── hello-world-minified.c ├── hello-world.c ├── iteration-high.c ├── iteration-low.c ├── iteration.c ├── local.c ├── negative.c ├── overflows.c ├── overhead.c ├── pointer.c ├── procedure.c ├── quine.c ├── recursion.c ├── sat │ └── rivest.cnf └── symbolic │ ├── README.md │ ├── cflobvdd-bit-inversion-2.c │ ├── cflobvdd-bit-inversion-3.c │ ├── cflobvdd-bit-inversion-4.c │ ├── cflobvdd-bit-inversion-5.c │ ├── cflobvdd-bit-inversion-6.c │ ├── cflobvdd-multi-input-2.c │ ├── cflobvdd-multi-input-3.c │ ├── cflobvdd-multi-input-4.c │ ├── cflobvdd-multi-input-5.c │ ├── cflobvdd-multi-input-6.c │ ├── cflobvdd.c │ ├── division-by-zero-3-35.c │ ├── invalid-memory-access-fail-2-35.c │ ├── memory-access-fail-1-35.c │ ├── nested-if-else-1-35.c │ ├── nested-if-else-reverse-1-35.c │ ├── nested-recursion-fail-1-35.c │ ├── recursive-ackermann-1-35.c │ ├── recursive-factorial-fail-1-35.c │ ├── recursive-fibonacci-1-10.c │ ├── return-from-loop-1-35.c │ ├── simple-assignment-1-35.c │ ├── simple-decreasing-loop-1-35.c │ ├── simple-if-else-1-35.c │ ├── simple-if-else-reverse-1-35.c │ ├── simple-if-without-else-1-35.c │ ├── simple-increasing-loop-1-35.c │ ├── three-level-nested-loop-fail-1-35.c │ └── two-level-nested-loop-1-35.c ├── grader ├── Dockerexamr ├── README.md ├── assignments │ ├── array │ │ ├── access-order.c │ │ ├── assignment-variables.c │ │ ├── assignment.c │ │ ├── call-by-reference.c │ │ ├── global-declaration.c │ │ ├── invalid-assignment.c │ │ ├── local-declaration.c │ │ ├── multidimensional-variables.c │ │ └── multidimensional.c │ ├── assembler │ │ ├── invalid-argument-add.s │ │ ├── missing-instruction.s │ │ ├── missing-literal.s │ │ ├── valid-hex.s │ │ ├── valid-registers-add.s │ │ └── valid-registers-addi.s │ ├── bitwise-logical │ │ ├── and-with-literals.c │ │ ├── and-with-variables.c │ │ ├── invalid-and.c │ │ ├── invalid-not.c │ │ ├── invalid-or.c │ │ ├── not-with-literals.c │ │ ├── not-with-variables.c │ │ ├── or-with-literals.c │ │ ├── or-with-variables.c │ │ ├── precedence.c │ │ ├── precedence2.c │ │ └── precedence3.c │ ├── bitwise-shift │ │ ├── invalid-left-shift.c │ │ ├── invalid-right-shift.c │ │ ├── left-shift-with-literals.c │ │ ├── left-shift-with-variables.c │ │ ├── precedence.c │ │ ├── right-shift-with-literals.c │ │ └── right-shift-with-variables.c │ ├── for-loop │ │ ├── missing-assignment.c │ │ ├── multiple-statements.c │ │ ├── nested.c │ │ └── single-statement.c │ ├── hex-literal │ │ ├── all-digit-characters.c │ │ ├── max-value.c │ │ └── min-value.c │ ├── lock │ │ ├── print-with-lock.c │ │ ├── print-without-lock.c │ │ └── release-after-exit.c │ ├── logical │ │ ├── advanced-logical-expressions.c │ │ ├── lazy-eval-and.c │ │ ├── lazy-eval-or.c │ │ ├── logical-and.c │ │ ├── logical-not.c │ │ ├── logical-or.c │ │ ├── precedence.c │ │ └── precedence2.c │ ├── processes │ │ └── hello-world.c │ ├── struct │ │ ├── as-parameter.c │ │ ├── declaration.c │ │ ├── definition.c │ │ ├── initialization.c │ │ ├── member-declaration.c │ │ ├── member-initialization.c │ │ ├── nested-declaration.c │ │ └── nested-initialization.c │ ├── system-calls │ │ ├── invalid-address.c │ │ ├── null-ptr.c │ │ ├── parallel-print.c │ │ ├── sum-exit-code.c │ │ └── unmapped-page-wait.c │ ├── threads │ │ ├── shared-data.c │ │ ├── shared-heap.c │ │ ├── sum-integer-dekker.c │ │ └── syscalls.c │ ├── threadsafe-malloc │ │ ├── load-reserved.c │ │ ├── lr-sc-interleaved.c │ │ ├── no-switch-malloc.c │ │ ├── store-conditional.c │ │ └── threadsafe-malloc.c │ └── treiber-stack │ │ ├── stack-pop.c │ │ └── stack-push.c ├── examr.py ├── lib │ ├── __init__.py │ ├── checks.py │ ├── cli.py │ ├── functional.py │ ├── grade.py │ ├── model.py │ ├── output_processing.py │ ├── print.py │ ├── string.py │ └── system.py ├── self.py └── tests │ ├── __init__.py │ ├── assignment_stubs │ └── processes │ │ └── hello-world.c │ ├── elf-header.m │ ├── instructions │ ├── bitwise-and.s │ ├── bitwise-left-shift.s │ ├── bitwise-not.s │ ├── bitwise-or.s │ ├── bitwise-right-shift.s │ ├── load-reserved.s │ └── store-conditional.s │ ├── links.txt │ ├── sleep-forever.c │ ├── test_bulk_grader.py │ ├── test_cli.py │ ├── test_compilable.py │ ├── test_execution.py │ ├── test_execution_timeout.py │ ├── test_grading.py │ ├── test_output_processing.py │ ├── test_processes.py │ ├── test_riscv_instruction.py │ ├── test_robustness.py │ └── utils.py ├── grammar.md ├── machine ├── .editorconfig ├── .gitignore ├── Makefile ├── README.md ├── asm │ ├── crt.S │ ├── mem.S │ └── trap.S ├── bootstrap.c ├── bootstrap.h ├── bootstrap_kernel.c ├── bootstrap_library.c ├── console.c ├── context.c ├── defines.mk ├── diag.c ├── elf.c ├── filesystem.c ├── filesystem.mk ├── gdbinit_qemu ├── glue_libraryos.c ├── include │ ├── asm_context_switch_offsets.h │ ├── compiler-utils.h │ ├── config.h │ ├── console.h │ ├── context.h │ ├── diag.h │ ├── elf.h │ ├── filesystem.h │ ├── linker-syms.h │ ├── mmu.h │ ├── numeric-utils.h │ ├── sbi_ecall.h │ ├── sbi_ecall_ids.h │ ├── syscalls.h │ ├── tinycstd.h │ └── trap.h ├── mmu.c ├── payload_template.ld ├── sbi_ecall.c ├── syscalls.c ├── tinycstd.c ├── tools │ └── asm_struct_macro_generator.c └── trap.c ├── replit.nix ├── riscu.md ├── selfie.c ├── semantics.md ├── theses ├── README.md ├── bachelor_thesis_bachinger.pdf ├── bachelor_thesis_barthel.pdf ├── bachelor_thesis_bauer.pdf ├── bachelor_thesis_diller.pdf ├── bachelor_thesis_edelmayer.pdf ├── bachelor_thesis_fejzic.pdf ├── bachelor_thesis_fischer.pdf ├── bachelor_thesis_haritopoulos.pdf ├── bachelor_thesis_kollert.pdf ├── bachelor_thesis_landl.pdf ├── bachelor_thesis_oblasser.pdf ├── bachelor_thesis_pape.pdf ├── bachelor_thesis_seidl.pdf ├── bachelor_thesis_siller.pdf ├── bachelor_thesis_thiele.pdf ├── bachelor_thesis_widmoser.pdf └── bachelor_thesis_wulz.pdf └── tools ├── README.md ├── babysat.c ├── beator.c ├── bitme.py ├── bitme ├── .gitignore ├── analyzor.py ├── bitme-data-bBVDD-sZ3-p0-a0-v3.csv ├── bitme-data-bBVDD-sZ3-p0-a4-v3.csv ├── bitme-data-bBVDD-sZ3-p0-a8-v3.csv ├── bitme-data-bBVDD-sZ3-p1-a0-v3.csv ├── bitme-data-bBVDD-sZ3-p1-a4-v3.csv ├── bitme-data-bBVDD-sZ3-p1-a8-v3.csv ├── bitme-data-bBVDD-sZ3-p8-a0-v3.csv ├── bitme-data-bBVDD-sZ3-p8-a4-v3.csv ├── bitme-data-bBVDD-sZ3-p8-a8-v3.csv ├── bitme-data-bCFLOBVDD-sZ3-p8-a0-v3.csv ├── bitme-data-bCFLOBVDD-sZ3-p8-a4-v3.csv ├── bitme-data-bCFLOBVDD-sZ3-p8-a8-v3.csv ├── bitme-data-rotor3-bBVDD-sZ3-p0-a0-v3.csv ├── bitme-data-rotor3-bBVDD-sZ3-p1-a0-v3.csv ├── bitme-data-rotor3-bBVDD-sZ3-p8-a8-v3.csv ├── bitme-data-rotor3-bCFLOBVDD-sZ3-p8-a8-v3.csv ├── bitme-data-rotorF-bBVDD-sZ3-p0-a0-v3.csv ├── bitme-data-rotorF-bBVDD-sZ3-p1-a0-v3.csv ├── bitme-data-rotorF-bBVDD-sZ3-p8-a8-v3.csv ├── bitme-data-rotorF-bCFLOBVDD-sZ3-p8-a8-v3.csv ├── new-cflobvdd-bBVDD-sZ3-p8-a8-v3.csv ├── new-cflobvdd-bCFLOBVDD-sZ3-p8-a8-v3.csv └── tabulizor.py ├── bitwuzlainterface.py ├── boehm-gc.c ├── btor2.py ├── buzzr.c ├── bvdd.py ├── cflobvdd.py ├── gc-lib.c ├── monster.c ├── periscope ├── README.md ├── periscope-py │ ├── .gitignore │ ├── README.md │ ├── pyrightconfig.json │ ├── requirements.txt │ └── src │ │ ├── cmp_bars.py │ │ ├── histogram.py │ │ ├── periscope.py │ │ ├── periscope_result.py │ │ └── whiskers.py └── periscope-rs │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ └── src │ ├── bench │ ├── hyperfine.rs │ ├── mod.rs │ ├── rotor.rs │ └── wc.rs │ ├── btor │ ├── assignment.rs │ ├── btor2.rs │ ├── helpers.rs │ ├── mod.rs │ └── witness_format.rs │ ├── lib.rs │ └── main.rs ├── quarc ├── README.md ├── add.ipynb ├── btor2QC.py ├── check_inputs.py ├── experiments │ ├── nested-if-else-1-35.ipynb │ ├── nested-if-else-reverse-1-35.ipynb │ ├── return-from-loop-1-35.ipynb │ ├── simple-assignment-1-35.ipynb │ ├── simple-if-else-1-35.ipynb │ ├── simple-if-else-reverse-1-35.ipynb │ └── simple-if-without-else-1-35.ipynb ├── instructions.py ├── main.py ├── qasm_files │ ├── add.qasm │ ├── add2.qasm │ ├── and.qasm │ ├── div.qasm │ ├── eq.qasm │ ├── eq_grover.qasm │ ├── ite.qasm │ ├── mul.qasm │ ├── not.qasm │ ├── rem.qasm │ ├── sub.qasm │ ├── ult.qasm │ ├── ult_grover.qasm │ ├── ulte.qasm │ └── ulte_grover.qasm ├── qword.py ├── qword_tools.py ├── requirements.txt ├── scripts │ ├── example_script.py │ └── operators.bash ├── settings.py ├── ult_grover.ipynb ├── uncompute.py └── utils.py ├── qubot ├── 32_symbolic_experiment_statistics.csv ├── 64bit_btor2_files │ └── .DS_Store ├── 64bit_small_sample │ ├── adj.coo │ └── input_propagation.unicorn ├── README.md ├── asplos_main_example.py ├── bit_transformation │ ├── bit_penalty_models.py │ ├── configurations.py │ └── more_gates │ │ ├── classical_gates.py │ │ ├── xnor.py │ │ └── xor.py ├── bqm_input_checker.py ├── btor2bqm.py ├── dummy_btor2files │ └── .DS_Store ├── instructions.py ├── main_experiment_statistics.csv ├── qa_examples │ ├── chimera_embedding.png │ ├── d.ipynb │ ├── d_embedding.csv │ ├── pegasus_embedding.png │ ├── qubit_growth.csv │ ├── u.ipynb │ ├── u_embedding.csv │ └── visualizations.ipynb ├── quantum_computer_tests │ ├── .ipynb_checkpoints │ │ ├── 32_12bad_c_lin-checkpoint.ipynb │ │ ├── Untitled-checkpoint.ipynb │ │ └── Untitled1-checkpoint.ipynb │ ├── pure_qa.ipynb │ └── qubit_growth_graph.ipynb ├── qubit_growth_script.py ├── qword.py ├── qword_tools.py ├── requirements.txt ├── script.py ├── scripts │ ├── 32bit_paper_example.py │ ├── 32symbolic_nomem.py │ ├── 64bit_paper_example.py │ ├── 64symbolic_nomem.py │ ├── qubit_growth.py │ └── symbolic_nomem.py ├── settings.py ├── symbolic_examples.py ├── symbolic_experiment_statistics.csv └── tools.py ├── rotor.c ├── rotor_disassembly_compare.py ├── validator.py └── z3interface.py /.dockerignore: -------------------------------------------------------------------------------- 1 | .git 2 | docs 3 | -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/workflows/benchmark.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.github/workflows/benchmark.yml -------------------------------------------------------------------------------- /.github/workflows/grader.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.github/workflows/grader.yml -------------------------------------------------------------------------------- /.github/workflows/selfie.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.github/workflows/selfie.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.gitignore -------------------------------------------------------------------------------- /.replit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/.replit -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/AUTHORS -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/README.md -------------------------------------------------------------------------------- /assignments/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/assignments/README.md -------------------------------------------------------------------------------- /assignments/ascii-table.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/assignments/ascii-table.md -------------------------------------------------------------------------------- /assignments/compiler-assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/assignments/compiler-assignments.md -------------------------------------------------------------------------------- /assignments/introductory-assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/assignments/introductory-assignments.md -------------------------------------------------------------------------------- /assignments/systems-assignments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/assignments/systems-assignments.md -------------------------------------------------------------------------------- /benchmark/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/Dockerfile -------------------------------------------------------------------------------- /benchmark/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/README.md -------------------------------------------------------------------------------- /benchmark/assets/logo-fit.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/assets/logo-fit.svg -------------------------------------------------------------------------------- /benchmark/bt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/bt.py -------------------------------------------------------------------------------- /benchmark/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/config.yml -------------------------------------------------------------------------------- /benchmark/lib/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/lib/argument_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/argument_parser.py -------------------------------------------------------------------------------- /benchmark/lib/bitwuzla_terminator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/bitwuzla_terminator.py -------------------------------------------------------------------------------- /benchmark/lib/color_map.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/color_map.py -------------------------------------------------------------------------------- /benchmark/lib/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/config.py -------------------------------------------------------------------------------- /benchmark/lib/dict_mixin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/dict_mixin.py -------------------------------------------------------------------------------- /benchmark/lib/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/exceptions.py -------------------------------------------------------------------------------- /benchmark/lib/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/generate.py -------------------------------------------------------------------------------- /benchmark/lib/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/log.py -------------------------------------------------------------------------------- /benchmark/lib/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model.py -------------------------------------------------------------------------------- /benchmark/lib/model_config_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_config_parser.py -------------------------------------------------------------------------------- /benchmark/lib/model_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_data.py -------------------------------------------------------------------------------- /benchmark/lib/model_generation_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_generation_config.py -------------------------------------------------------------------------------- /benchmark/lib/model_grapher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_grapher.py -------------------------------------------------------------------------------- /benchmark/lib/model_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_parser.py -------------------------------------------------------------------------------- /benchmark/lib/model_type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/model_type.py -------------------------------------------------------------------------------- /benchmark/lib/overview.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/overview.py -------------------------------------------------------------------------------- /benchmark/lib/paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/paths.py -------------------------------------------------------------------------------- /benchmark/lib/presenter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/presenter.py -------------------------------------------------------------------------------- /benchmark/lib/rotor_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/rotor_parser.py -------------------------------------------------------------------------------- /benchmark/lib/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/solver.py -------------------------------------------------------------------------------- /benchmark/lib/solver_profile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/solver_profile.py -------------------------------------------------------------------------------- /benchmark/lib/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/lib/utils.py -------------------------------------------------------------------------------- /benchmark/requirements-tests.txt: -------------------------------------------------------------------------------- 1 | pytest>=8.0.0 -------------------------------------------------------------------------------- /benchmark/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/requirements.txt -------------------------------------------------------------------------------- /benchmark/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/run_tests.py -------------------------------------------------------------------------------- /benchmark/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/setup.sh -------------------------------------------------------------------------------- /benchmark/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/tests/integration/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/tests/integration/conftest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/integration/conftest.py -------------------------------------------------------------------------------- /benchmark/tests/integration/helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/integration/helpers.py -------------------------------------------------------------------------------- /benchmark/tests/integration/test_basic_workflows.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/integration/test_basic_workflows.py -------------------------------------------------------------------------------- /benchmark/tests/unit/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark/tests/unit/test_model_config_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/unit/test_model_config_parser.py -------------------------------------------------------------------------------- /benchmark/tests/unit/test_paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/unit/test_paths.py -------------------------------------------------------------------------------- /benchmark/tests/unit/test_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/benchmark/tests/unit/test_solver.py -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/README.md -------------------------------------------------------------------------------- /book/book.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/book.pdf -------------------------------------------------------------------------------- /book/figures/7-bit-adder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/7-bit-adder.png -------------------------------------------------------------------------------- /book/figures/atoi.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/atoi.png -------------------------------------------------------------------------------- /book/figures/audio.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/audio.png -------------------------------------------------------------------------------- /book/figures/byte.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/byte.png -------------------------------------------------------------------------------- /book/figures/call-frame.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/call-frame.png -------------------------------------------------------------------------------- /book/figures/code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/code.png -------------------------------------------------------------------------------- /book/figures/complexity.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/complexity.png -------------------------------------------------------------------------------- /book/figures/constants.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/constants.png -------------------------------------------------------------------------------- /book/figures/contiguous.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/contiguous.png -------------------------------------------------------------------------------- /book/figures/correct-integer-literal-FSM.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/correct-integer-literal-FSM.png -------------------------------------------------------------------------------- /book/figures/directory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/directory.png -------------------------------------------------------------------------------- /book/figures/elementary-expressions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/elementary-expressions.png -------------------------------------------------------------------------------- /book/figures/emitting-arithmetic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-arithmetic.png -------------------------------------------------------------------------------- /book/figures/emitting-assignments.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-assignments.png -------------------------------------------------------------------------------- /book/figures/emitting-expressions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-expressions.png -------------------------------------------------------------------------------- /book/figures/emitting-if-statements.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-if-statements.png -------------------------------------------------------------------------------- /book/figures/emitting-literals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-literals.png -------------------------------------------------------------------------------- /book/figures/emitting-terms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-terms.png -------------------------------------------------------------------------------- /book/figures/emitting-while-loops.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emitting-while-loops.png -------------------------------------------------------------------------------- /book/figures/emu-emu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/emu-emu.png -------------------------------------------------------------------------------- /book/figures/full-adder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/full-adder.png -------------------------------------------------------------------------------- /book/figures/global-variable-declaration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/global-variable-declaration.png -------------------------------------------------------------------------------- /book/figures/half-adder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/half-adder.png -------------------------------------------------------------------------------- /book/figures/image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/image.png -------------------------------------------------------------------------------- /book/figures/integer-literal-FSM.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/integer-literal-FSM.png -------------------------------------------------------------------------------- /book/figures/layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/layout.png -------------------------------------------------------------------------------- /book/figures/live-versus-dead.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/live-versus-dead.png -------------------------------------------------------------------------------- /book/figures/machine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/machine.png -------------------------------------------------------------------------------- /book/figures/memory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/memory.png -------------------------------------------------------------------------------- /book/figures/os-emu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/os-emu.png -------------------------------------------------------------------------------- /book/figures/os-vmm-emu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/os-vmm-emu.png -------------------------------------------------------------------------------- /book/figures/page-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/page-table.png -------------------------------------------------------------------------------- /book/figures/paging-page-tables.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/paging-page-tables.png -------------------------------------------------------------------------------- /book/figures/parsing-literals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/parsing-literals.png -------------------------------------------------------------------------------- /book/figures/performance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/performance.png -------------------------------------------------------------------------------- /book/figures/pointers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/pointers.png -------------------------------------------------------------------------------- /book/figures/roots-into-heap.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/roots-into-heap.png -------------------------------------------------------------------------------- /book/figures/scanner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/scanner.png -------------------------------------------------------------------------------- /book/figures/scanning-character-literals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/scanning-character-literals.png -------------------------------------------------------------------------------- /book/figures/scanning-identifiers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/scanning-identifiers.png -------------------------------------------------------------------------------- /book/figures/scanning-integer-literals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/scanning-integer-literals.png -------------------------------------------------------------------------------- /book/figures/scanning-string-literals.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/scanning-string-literals.png -------------------------------------------------------------------------------- /book/figures/string.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/string.png -------------------------------------------------------------------------------- /book/figures/symbol-table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/symbol-table.png -------------------------------------------------------------------------------- /book/figures/tens-complement.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/tens-complement.png -------------------------------------------------------------------------------- /book/figures/text.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/text.png -------------------------------------------------------------------------------- /book/figures/traffic-light-model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/traffic-light-model.png -------------------------------------------------------------------------------- /book/figures/tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/tree.png -------------------------------------------------------------------------------- /book/figures/variable-use.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/variable-use.png -------------------------------------------------------------------------------- /book/figures/video.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/video.png -------------------------------------------------------------------------------- /book/figures/vonNeumann.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/book/figures/vonNeumann.png -------------------------------------------------------------------------------- /docs/CNAME: -------------------------------------------------------------------------------- 1 | selfie.cs.uni-salzburg.at 2 | -------------------------------------------------------------------------------- /docs/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/_config.yml -------------------------------------------------------------------------------- /docs/_layouts/redirect.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/_layouts/redirect.html -------------------------------------------------------------------------------- /docs/_redirects/slides.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/_redirects/slides.html -------------------------------------------------------------------------------- /docs/images/bkg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/images/bkg.png -------------------------------------------------------------------------------- /docs/images/blacktocat.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/images/blacktocat.png -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/javascripts/main.js: -------------------------------------------------------------------------------- 1 | console.log('This would be the main JS file.'); 2 | -------------------------------------------------------------------------------- /docs/javascripts/scale.fix.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/javascripts/scale.fix.js -------------------------------------------------------------------------------- /docs/stylesheets/github-dark.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/stylesheets/github-dark.css -------------------------------------------------------------------------------- /docs/stylesheets/github-light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/stylesheets/github-light.css -------------------------------------------------------------------------------- /docs/stylesheets/normalize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/stylesheets/normalize.css -------------------------------------------------------------------------------- /docs/stylesheets/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/stylesheets/styles.css -------------------------------------------------------------------------------- /docs/stylesheets/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/docs/stylesheets/stylesheet.css -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/assembly/read-and-exit.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/assembly/read-and-exit.s -------------------------------------------------------------------------------- /examples/bitwise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/bitwise.c -------------------------------------------------------------------------------- /examples/bounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/bounds.c -------------------------------------------------------------------------------- /examples/cache/coherency-invalidation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/cache/coherency-invalidation.c -------------------------------------------------------------------------------- /examples/cache/dcache-access-0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/cache/dcache-access-0.c -------------------------------------------------------------------------------- /examples/cache/dcache-access-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/cache/dcache-access-1.c -------------------------------------------------------------------------------- /examples/count.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/count.c -------------------------------------------------------------------------------- /examples/countdown.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/countdown.c -------------------------------------------------------------------------------- /examples/division-by-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/division-by-zero.c -------------------------------------------------------------------------------- /examples/double.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/double.c -------------------------------------------------------------------------------- /examples/encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/encoding.c -------------------------------------------------------------------------------- /examples/escape.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/escape.c -------------------------------------------------------------------------------- /examples/function.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/function.c -------------------------------------------------------------------------------- /examples/gc/boehm-gc-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/gc/boehm-gc-test.c -------------------------------------------------------------------------------- /examples/gc/gc-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/gc/gc-test.c -------------------------------------------------------------------------------- /examples/hello-world-minified.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/hello-world-minified.c -------------------------------------------------------------------------------- /examples/hello-world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/hello-world.c -------------------------------------------------------------------------------- /examples/iteration-high.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/iteration-high.c -------------------------------------------------------------------------------- /examples/iteration-low.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/iteration-low.c -------------------------------------------------------------------------------- /examples/iteration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/iteration.c -------------------------------------------------------------------------------- /examples/local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/local.c -------------------------------------------------------------------------------- /examples/negative.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/negative.c -------------------------------------------------------------------------------- /examples/overflows.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/overflows.c -------------------------------------------------------------------------------- /examples/overhead.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/overhead.c -------------------------------------------------------------------------------- /examples/pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/pointer.c -------------------------------------------------------------------------------- /examples/procedure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/procedure.c -------------------------------------------------------------------------------- /examples/quine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/quine.c -------------------------------------------------------------------------------- /examples/recursion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/recursion.c -------------------------------------------------------------------------------- /examples/sat/rivest.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/sat/rivest.cnf -------------------------------------------------------------------------------- /examples/symbolic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/README.md -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-bit-inversion-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-bit-inversion-2.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-bit-inversion-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-bit-inversion-3.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-bit-inversion-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-bit-inversion-4.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-bit-inversion-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-bit-inversion-5.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-bit-inversion-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-bit-inversion-6.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-multi-input-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-multi-input-2.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-multi-input-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-multi-input-3.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-multi-input-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-multi-input-4.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-multi-input-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-multi-input-5.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd-multi-input-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd-multi-input-6.c -------------------------------------------------------------------------------- /examples/symbolic/cflobvdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/cflobvdd.c -------------------------------------------------------------------------------- /examples/symbolic/division-by-zero-3-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/division-by-zero-3-35.c -------------------------------------------------------------------------------- /examples/symbolic/invalid-memory-access-fail-2-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/invalid-memory-access-fail-2-35.c -------------------------------------------------------------------------------- /examples/symbolic/memory-access-fail-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/memory-access-fail-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/nested-if-else-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/nested-if-else-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/nested-if-else-reverse-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/nested-if-else-reverse-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/nested-recursion-fail-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/nested-recursion-fail-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/recursive-ackermann-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/recursive-ackermann-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/recursive-factorial-fail-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/recursive-factorial-fail-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/recursive-fibonacci-1-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/recursive-fibonacci-1-10.c -------------------------------------------------------------------------------- /examples/symbolic/return-from-loop-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/return-from-loop-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-assignment-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-assignment-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-decreasing-loop-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-decreasing-loop-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-if-else-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-if-else-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-if-else-reverse-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-if-else-reverse-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-if-without-else-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-if-without-else-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/simple-increasing-loop-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/simple-increasing-loop-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/three-level-nested-loop-fail-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/three-level-nested-loop-fail-1-35.c -------------------------------------------------------------------------------- /examples/symbolic/two-level-nested-loop-1-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/examples/symbolic/two-level-nested-loop-1-35.c -------------------------------------------------------------------------------- /grader/Dockerexamr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/Dockerexamr -------------------------------------------------------------------------------- /grader/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/README.md -------------------------------------------------------------------------------- /grader/assignments/array/access-order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/access-order.c -------------------------------------------------------------------------------- /grader/assignments/array/assignment-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/assignment-variables.c -------------------------------------------------------------------------------- /grader/assignments/array/assignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/assignment.c -------------------------------------------------------------------------------- /grader/assignments/array/call-by-reference.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/call-by-reference.c -------------------------------------------------------------------------------- /grader/assignments/array/global-declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/global-declaration.c -------------------------------------------------------------------------------- /grader/assignments/array/invalid-assignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/invalid-assignment.c -------------------------------------------------------------------------------- /grader/assignments/array/local-declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/local-declaration.c -------------------------------------------------------------------------------- /grader/assignments/array/multidimensional-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/multidimensional-variables.c -------------------------------------------------------------------------------- /grader/assignments/array/multidimensional.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/array/multidimensional.c -------------------------------------------------------------------------------- /grader/assignments/assembler/invalid-argument-add.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/invalid-argument-add.s -------------------------------------------------------------------------------- /grader/assignments/assembler/missing-instruction.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/missing-instruction.s -------------------------------------------------------------------------------- /grader/assignments/assembler/missing-literal.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/missing-literal.s -------------------------------------------------------------------------------- /grader/assignments/assembler/valid-hex.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/valid-hex.s -------------------------------------------------------------------------------- /grader/assignments/assembler/valid-registers-add.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/valid-registers-add.s -------------------------------------------------------------------------------- /grader/assignments/assembler/valid-registers-addi.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/assembler/valid-registers-addi.s -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/and-with-literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/and-with-literals.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/and-with-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/and-with-variables.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/invalid-and.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/invalid-and.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/invalid-not.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/invalid-not.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/invalid-or.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/invalid-or.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/not-with-literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/not-with-literals.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/not-with-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/not-with-variables.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/or-with-literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/or-with-literals.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/or-with-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/or-with-variables.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/precedence.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/precedence.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/precedence2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/precedence2.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-logical/precedence3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-logical/precedence3.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/invalid-left-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/invalid-left-shift.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/invalid-right-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/invalid-right-shift.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/left-shift-with-literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/left-shift-with-literals.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/left-shift-with-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/left-shift-with-variables.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/precedence.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/precedence.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/right-shift-with-literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/right-shift-with-literals.c -------------------------------------------------------------------------------- /grader/assignments/bitwise-shift/right-shift-with-variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/bitwise-shift/right-shift-with-variables.c -------------------------------------------------------------------------------- /grader/assignments/for-loop/missing-assignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/for-loop/missing-assignment.c -------------------------------------------------------------------------------- /grader/assignments/for-loop/multiple-statements.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/for-loop/multiple-statements.c -------------------------------------------------------------------------------- /grader/assignments/for-loop/nested.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/for-loop/nested.c -------------------------------------------------------------------------------- /grader/assignments/for-loop/single-statement.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/for-loop/single-statement.c -------------------------------------------------------------------------------- /grader/assignments/hex-literal/all-digit-characters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/hex-literal/all-digit-characters.c -------------------------------------------------------------------------------- /grader/assignments/hex-literal/max-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/hex-literal/max-value.c -------------------------------------------------------------------------------- /grader/assignments/hex-literal/min-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/hex-literal/min-value.c -------------------------------------------------------------------------------- /grader/assignments/lock/print-with-lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/lock/print-with-lock.c -------------------------------------------------------------------------------- /grader/assignments/lock/print-without-lock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/lock/print-without-lock.c -------------------------------------------------------------------------------- /grader/assignments/lock/release-after-exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/lock/release-after-exit.c -------------------------------------------------------------------------------- /grader/assignments/logical/advanced-logical-expressions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/advanced-logical-expressions.c -------------------------------------------------------------------------------- /grader/assignments/logical/lazy-eval-and.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/lazy-eval-and.c -------------------------------------------------------------------------------- /grader/assignments/logical/lazy-eval-or.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/lazy-eval-or.c -------------------------------------------------------------------------------- /grader/assignments/logical/logical-and.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/logical-and.c -------------------------------------------------------------------------------- /grader/assignments/logical/logical-not.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/logical-not.c -------------------------------------------------------------------------------- /grader/assignments/logical/logical-or.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/logical-or.c -------------------------------------------------------------------------------- /grader/assignments/logical/precedence.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/precedence.c -------------------------------------------------------------------------------- /grader/assignments/logical/precedence2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/logical/precedence2.c -------------------------------------------------------------------------------- /grader/assignments/processes/hello-world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/processes/hello-world.c -------------------------------------------------------------------------------- /grader/assignments/struct/as-parameter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/as-parameter.c -------------------------------------------------------------------------------- /grader/assignments/struct/declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/declaration.c -------------------------------------------------------------------------------- /grader/assignments/struct/definition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/definition.c -------------------------------------------------------------------------------- /grader/assignments/struct/initialization.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/initialization.c -------------------------------------------------------------------------------- /grader/assignments/struct/member-declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/member-declaration.c -------------------------------------------------------------------------------- /grader/assignments/struct/member-initialization.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/member-initialization.c -------------------------------------------------------------------------------- /grader/assignments/struct/nested-declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/nested-declaration.c -------------------------------------------------------------------------------- /grader/assignments/struct/nested-initialization.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/struct/nested-initialization.c -------------------------------------------------------------------------------- /grader/assignments/system-calls/invalid-address.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/system-calls/invalid-address.c -------------------------------------------------------------------------------- /grader/assignments/system-calls/null-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/system-calls/null-ptr.c -------------------------------------------------------------------------------- /grader/assignments/system-calls/parallel-print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/system-calls/parallel-print.c -------------------------------------------------------------------------------- /grader/assignments/system-calls/sum-exit-code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/system-calls/sum-exit-code.c -------------------------------------------------------------------------------- /grader/assignments/system-calls/unmapped-page-wait.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/system-calls/unmapped-page-wait.c -------------------------------------------------------------------------------- /grader/assignments/threads/shared-data.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threads/shared-data.c -------------------------------------------------------------------------------- /grader/assignments/threads/shared-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threads/shared-heap.c -------------------------------------------------------------------------------- /grader/assignments/threads/sum-integer-dekker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threads/sum-integer-dekker.c -------------------------------------------------------------------------------- /grader/assignments/threads/syscalls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threads/syscalls.c -------------------------------------------------------------------------------- /grader/assignments/threadsafe-malloc/load-reserved.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threadsafe-malloc/load-reserved.c -------------------------------------------------------------------------------- /grader/assignments/threadsafe-malloc/lr-sc-interleaved.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threadsafe-malloc/lr-sc-interleaved.c -------------------------------------------------------------------------------- /grader/assignments/threadsafe-malloc/no-switch-malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threadsafe-malloc/no-switch-malloc.c -------------------------------------------------------------------------------- /grader/assignments/threadsafe-malloc/store-conditional.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threadsafe-malloc/store-conditional.c -------------------------------------------------------------------------------- /grader/assignments/threadsafe-malloc/threadsafe-malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/threadsafe-malloc/threadsafe-malloc.c -------------------------------------------------------------------------------- /grader/assignments/treiber-stack/stack-pop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/treiber-stack/stack-pop.c -------------------------------------------------------------------------------- /grader/assignments/treiber-stack/stack-push.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/assignments/treiber-stack/stack-push.c -------------------------------------------------------------------------------- /grader/examr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/examr.py -------------------------------------------------------------------------------- /grader/lib/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /grader/lib/checks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/checks.py -------------------------------------------------------------------------------- /grader/lib/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/cli.py -------------------------------------------------------------------------------- /grader/lib/functional.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/functional.py -------------------------------------------------------------------------------- /grader/lib/grade.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/grade.py -------------------------------------------------------------------------------- /grader/lib/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/model.py -------------------------------------------------------------------------------- /grader/lib/output_processing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/output_processing.py -------------------------------------------------------------------------------- /grader/lib/print.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/print.py -------------------------------------------------------------------------------- /grader/lib/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/string.py -------------------------------------------------------------------------------- /grader/lib/system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/lib/system.py -------------------------------------------------------------------------------- /grader/self.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/self.py -------------------------------------------------------------------------------- /grader/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /grader/tests/assignment_stubs/processes/hello-world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/assignment_stubs/processes/hello-world.c -------------------------------------------------------------------------------- /grader/tests/elf-header.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/elf-header.m -------------------------------------------------------------------------------- /grader/tests/instructions/bitwise-and.s: -------------------------------------------------------------------------------- 1 | and t0,t1,t2 2 | -------------------------------------------------------------------------------- /grader/tests/instructions/bitwise-left-shift.s: -------------------------------------------------------------------------------- 1 | sll t0,t1,t2 2 | -------------------------------------------------------------------------------- /grader/tests/instructions/bitwise-not.s: -------------------------------------------------------------------------------- 1 | xori t0,t0,-1 2 | -------------------------------------------------------------------------------- /grader/tests/instructions/bitwise-or.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/instructions/bitwise-or.s -------------------------------------------------------------------------------- /grader/tests/instructions/bitwise-right-shift.s: -------------------------------------------------------------------------------- 1 | srl t0,t1,t2 2 | -------------------------------------------------------------------------------- /grader/tests/instructions/load-reserved.s: -------------------------------------------------------------------------------- 1 | lr.d t0,(t1) 2 | -------------------------------------------------------------------------------- /grader/tests/instructions/store-conditional.s: -------------------------------------------------------------------------------- 1 | sc.d t0,t1,(t2) 2 | -------------------------------------------------------------------------------- /grader/tests/links.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/links.txt -------------------------------------------------------------------------------- /grader/tests/sleep-forever.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/sleep-forever.c -------------------------------------------------------------------------------- /grader/tests/test_bulk_grader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_bulk_grader.py -------------------------------------------------------------------------------- /grader/tests/test_cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_cli.py -------------------------------------------------------------------------------- /grader/tests/test_compilable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_compilable.py -------------------------------------------------------------------------------- /grader/tests/test_execution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_execution.py -------------------------------------------------------------------------------- /grader/tests/test_execution_timeout.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_execution_timeout.py -------------------------------------------------------------------------------- /grader/tests/test_grading.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_grading.py -------------------------------------------------------------------------------- /grader/tests/test_output_processing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_output_processing.py -------------------------------------------------------------------------------- /grader/tests/test_processes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_processes.py -------------------------------------------------------------------------------- /grader/tests/test_riscv_instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_riscv_instruction.py -------------------------------------------------------------------------------- /grader/tests/test_robustness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/test_robustness.py -------------------------------------------------------------------------------- /grader/tests/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grader/tests/utils.py -------------------------------------------------------------------------------- /grammar.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/grammar.md -------------------------------------------------------------------------------- /machine/.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/.editorconfig -------------------------------------------------------------------------------- /machine/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/.gitignore -------------------------------------------------------------------------------- /machine/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/Makefile -------------------------------------------------------------------------------- /machine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/README.md -------------------------------------------------------------------------------- /machine/asm/crt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/asm/crt.S -------------------------------------------------------------------------------- /machine/asm/mem.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/asm/mem.S -------------------------------------------------------------------------------- /machine/asm/trap.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/asm/trap.S -------------------------------------------------------------------------------- /machine/bootstrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/bootstrap.c -------------------------------------------------------------------------------- /machine/bootstrap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/bootstrap.h -------------------------------------------------------------------------------- /machine/bootstrap_kernel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/bootstrap_kernel.c -------------------------------------------------------------------------------- /machine/bootstrap_library.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/bootstrap_library.c -------------------------------------------------------------------------------- /machine/console.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/console.c -------------------------------------------------------------------------------- /machine/context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/context.c -------------------------------------------------------------------------------- /machine/defines.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/defines.mk -------------------------------------------------------------------------------- /machine/diag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/diag.c -------------------------------------------------------------------------------- /machine/elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/elf.c -------------------------------------------------------------------------------- /machine/filesystem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/filesystem.c -------------------------------------------------------------------------------- /machine/filesystem.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/filesystem.mk -------------------------------------------------------------------------------- /machine/gdbinit_qemu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/gdbinit_qemu -------------------------------------------------------------------------------- /machine/glue_libraryos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/glue_libraryos.c -------------------------------------------------------------------------------- /machine/include/asm_context_switch_offsets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/asm_context_switch_offsets.h -------------------------------------------------------------------------------- /machine/include/compiler-utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/compiler-utils.h -------------------------------------------------------------------------------- /machine/include/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/config.h -------------------------------------------------------------------------------- /machine/include/console.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/console.h -------------------------------------------------------------------------------- /machine/include/context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/context.h -------------------------------------------------------------------------------- /machine/include/diag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/diag.h -------------------------------------------------------------------------------- /machine/include/elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/elf.h -------------------------------------------------------------------------------- /machine/include/filesystem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/filesystem.h -------------------------------------------------------------------------------- /machine/include/linker-syms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/linker-syms.h -------------------------------------------------------------------------------- /machine/include/mmu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/mmu.h -------------------------------------------------------------------------------- /machine/include/numeric-utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/numeric-utils.h -------------------------------------------------------------------------------- /machine/include/sbi_ecall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/sbi_ecall.h -------------------------------------------------------------------------------- /machine/include/sbi_ecall_ids.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/sbi_ecall_ids.h -------------------------------------------------------------------------------- /machine/include/syscalls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/syscalls.h -------------------------------------------------------------------------------- /machine/include/tinycstd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/tinycstd.h -------------------------------------------------------------------------------- /machine/include/trap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/include/trap.h -------------------------------------------------------------------------------- /machine/mmu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/mmu.c -------------------------------------------------------------------------------- /machine/payload_template.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/payload_template.ld -------------------------------------------------------------------------------- /machine/sbi_ecall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/sbi_ecall.c -------------------------------------------------------------------------------- /machine/syscalls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/syscalls.c -------------------------------------------------------------------------------- /machine/tinycstd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/tinycstd.c -------------------------------------------------------------------------------- /machine/tools/asm_struct_macro_generator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/tools/asm_struct_macro_generator.c -------------------------------------------------------------------------------- /machine/trap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/machine/trap.c -------------------------------------------------------------------------------- /replit.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/replit.nix -------------------------------------------------------------------------------- /riscu.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/riscu.md -------------------------------------------------------------------------------- /selfie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/selfie.c -------------------------------------------------------------------------------- /semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/semantics.md -------------------------------------------------------------------------------- /theses/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/README.md -------------------------------------------------------------------------------- /theses/bachelor_thesis_bachinger.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_bachinger.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_barthel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_barthel.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_bauer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_bauer.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_diller.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_diller.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_edelmayer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_edelmayer.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_fejzic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_fejzic.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_fischer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_fischer.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_haritopoulos.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_haritopoulos.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_kollert.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_kollert.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_landl.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_landl.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_oblasser.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_oblasser.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_pape.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_pape.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_seidl.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_seidl.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_siller.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_siller.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_thiele.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_thiele.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_widmoser.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_widmoser.pdf -------------------------------------------------------------------------------- /theses/bachelor_thesis_wulz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/theses/bachelor_thesis_wulz.pdf -------------------------------------------------------------------------------- /tools/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/README.md -------------------------------------------------------------------------------- /tools/babysat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/babysat.c -------------------------------------------------------------------------------- /tools/beator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/beator.c -------------------------------------------------------------------------------- /tools/bitme.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme.py -------------------------------------------------------------------------------- /tools/bitme/.gitignore: -------------------------------------------------------------------------------- 1 | errors.txt -------------------------------------------------------------------------------- /tools/bitme/analyzor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/analyzor.py -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p0-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p0-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p0-a4-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p0-a4-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p0-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p0-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p1-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p1-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p1-a4-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p1-a4-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p1-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p1-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p8-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p8-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p8-a4-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p8-a4-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a4-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a4-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-bCFLOBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p0-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p0-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p1-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p1-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotor3-bBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotor3-bCFLOBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotor3-bCFLOBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p0-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p0-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p1-a0-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p1-a0-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotorF-bBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/bitme-data-rotorF-bCFLOBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/bitme-data-rotorF-bCFLOBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/new-cflobvdd-bBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/new-cflobvdd-bBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/new-cflobvdd-bCFLOBVDD-sZ3-p8-a8-v3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/new-cflobvdd-bCFLOBVDD-sZ3-p8-a8-v3.csv -------------------------------------------------------------------------------- /tools/bitme/tabulizor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitme/tabulizor.py -------------------------------------------------------------------------------- /tools/bitwuzlainterface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bitwuzlainterface.py -------------------------------------------------------------------------------- /tools/boehm-gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/boehm-gc.c -------------------------------------------------------------------------------- /tools/btor2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/btor2.py -------------------------------------------------------------------------------- /tools/buzzr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/buzzr.c -------------------------------------------------------------------------------- /tools/bvdd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/bvdd.py -------------------------------------------------------------------------------- /tools/cflobvdd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/cflobvdd.py -------------------------------------------------------------------------------- /tools/gc-lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/gc-lib.c -------------------------------------------------------------------------------- /tools/monster.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/monster.c -------------------------------------------------------------------------------- /tools/periscope/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/README.md -------------------------------------------------------------------------------- /tools/periscope/periscope-py/.gitignore: -------------------------------------------------------------------------------- 1 | .venv/ 2 | 3 | src/__pycache__/ 4 | -------------------------------------------------------------------------------- /tools/periscope/periscope-py/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/README.md -------------------------------------------------------------------------------- /tools/periscope/periscope-py/pyrightconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/pyrightconfig.json -------------------------------------------------------------------------------- /tools/periscope/periscope-py/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/requirements.txt -------------------------------------------------------------------------------- /tools/periscope/periscope-py/src/cmp_bars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/src/cmp_bars.py -------------------------------------------------------------------------------- /tools/periscope/periscope-py/src/histogram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/src/histogram.py -------------------------------------------------------------------------------- /tools/periscope/periscope-py/src/periscope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/src/periscope.py -------------------------------------------------------------------------------- /tools/periscope/periscope-py/src/periscope_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/src/periscope_result.py -------------------------------------------------------------------------------- /tools/periscope/periscope-py/src/whiskers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-py/src/whiskers.py -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /.periscope 3 | -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/Cargo.lock -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/Cargo.toml -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/README.md -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/bench/hyperfine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/bench/hyperfine.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/bench/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/bench/mod.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/bench/rotor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/bench/rotor.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/bench/wc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/bench/wc.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/btor/assignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/btor/assignment.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/btor/btor2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/btor/btor2.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/btor/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/btor/helpers.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/btor/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/btor/mod.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/btor/witness_format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/btor/witness_format.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/lib.rs -------------------------------------------------------------------------------- /tools/periscope/periscope-rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/periscope/periscope-rs/src/main.rs -------------------------------------------------------------------------------- /tools/quarc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/README.md -------------------------------------------------------------------------------- /tools/quarc/add.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/add.ipynb -------------------------------------------------------------------------------- /tools/quarc/btor2QC.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/btor2QC.py -------------------------------------------------------------------------------- /tools/quarc/check_inputs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/check_inputs.py -------------------------------------------------------------------------------- /tools/quarc/experiments/nested-if-else-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/nested-if-else-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/nested-if-else-reverse-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/nested-if-else-reverse-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/return-from-loop-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/return-from-loop-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/simple-assignment-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/simple-assignment-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/simple-if-else-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/simple-if-else-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/simple-if-else-reverse-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/simple-if-else-reverse-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/experiments/simple-if-without-else-1-35.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/experiments/simple-if-without-else-1-35.ipynb -------------------------------------------------------------------------------- /tools/quarc/instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/instructions.py -------------------------------------------------------------------------------- /tools/quarc/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/main.py -------------------------------------------------------------------------------- /tools/quarc/qasm_files/add.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/add.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/add2.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/add2.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/and.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/and.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/div.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/div.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/eq.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/eq.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/eq_grover.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/eq_grover.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/ite.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/ite.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/mul.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/mul.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/not.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/not.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/rem.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/rem.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/sub.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/sub.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/ult.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/ult.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/ult_grover.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/ult_grover.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/ulte.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/ulte.qasm -------------------------------------------------------------------------------- /tools/quarc/qasm_files/ulte_grover.qasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qasm_files/ulte_grover.qasm -------------------------------------------------------------------------------- /tools/quarc/qword.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qword.py -------------------------------------------------------------------------------- /tools/quarc/qword_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/qword_tools.py -------------------------------------------------------------------------------- /tools/quarc/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/requirements.txt -------------------------------------------------------------------------------- /tools/quarc/scripts/example_script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/scripts/example_script.py -------------------------------------------------------------------------------- /tools/quarc/scripts/operators.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/scripts/operators.bash -------------------------------------------------------------------------------- /tools/quarc/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/settings.py -------------------------------------------------------------------------------- /tools/quarc/ult_grover.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/ult_grover.ipynb -------------------------------------------------------------------------------- /tools/quarc/uncompute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/uncompute.py -------------------------------------------------------------------------------- /tools/quarc/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/quarc/utils.py -------------------------------------------------------------------------------- /tools/qubot/32_symbolic_experiment_statistics.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/32_symbolic_experiment_statistics.csv -------------------------------------------------------------------------------- /tools/qubot/64bit_btor2_files/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/64bit_btor2_files/.DS_Store -------------------------------------------------------------------------------- /tools/qubot/64bit_small_sample/adj.coo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/64bit_small_sample/adj.coo -------------------------------------------------------------------------------- /tools/qubot/64bit_small_sample/input_propagation.unicorn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/64bit_small_sample/input_propagation.unicorn -------------------------------------------------------------------------------- /tools/qubot/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/README.md -------------------------------------------------------------------------------- /tools/qubot/asplos_main_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/asplos_main_example.py -------------------------------------------------------------------------------- /tools/qubot/bit_transformation/bit_penalty_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bit_transformation/bit_penalty_models.py -------------------------------------------------------------------------------- /tools/qubot/bit_transformation/configurations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bit_transformation/configurations.py -------------------------------------------------------------------------------- /tools/qubot/bit_transformation/more_gates/classical_gates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bit_transformation/more_gates/classical_gates.py -------------------------------------------------------------------------------- /tools/qubot/bit_transformation/more_gates/xnor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bit_transformation/more_gates/xnor.py -------------------------------------------------------------------------------- /tools/qubot/bit_transformation/more_gates/xor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bit_transformation/more_gates/xor.py -------------------------------------------------------------------------------- /tools/qubot/bqm_input_checker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/bqm_input_checker.py -------------------------------------------------------------------------------- /tools/qubot/btor2bqm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/btor2bqm.py -------------------------------------------------------------------------------- /tools/qubot/dummy_btor2files/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/dummy_btor2files/.DS_Store -------------------------------------------------------------------------------- /tools/qubot/instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/instructions.py -------------------------------------------------------------------------------- /tools/qubot/main_experiment_statistics.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/main_experiment_statistics.csv -------------------------------------------------------------------------------- /tools/qubot/qa_examples/chimera_embedding.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/chimera_embedding.png -------------------------------------------------------------------------------- /tools/qubot/qa_examples/d.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/d.ipynb -------------------------------------------------------------------------------- /tools/qubot/qa_examples/d_embedding.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/d_embedding.csv -------------------------------------------------------------------------------- /tools/qubot/qa_examples/pegasus_embedding.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/pegasus_embedding.png -------------------------------------------------------------------------------- /tools/qubot/qa_examples/qubit_growth.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/qubit_growth.csv -------------------------------------------------------------------------------- /tools/qubot/qa_examples/u.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/u.ipynb -------------------------------------------------------------------------------- /tools/qubot/qa_examples/u_embedding.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/u_embedding.csv -------------------------------------------------------------------------------- /tools/qubot/qa_examples/visualizations.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qa_examples/visualizations.ipynb -------------------------------------------------------------------------------- /tools/qubot/quantum_computer_tests/.ipynb_checkpoints/32_12bad_c_lin-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/quantum_computer_tests/.ipynb_checkpoints/32_12bad_c_lin-checkpoint.ipynb -------------------------------------------------------------------------------- /tools/qubot/quantum_computer_tests/.ipynb_checkpoints/Untitled-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/quantum_computer_tests/.ipynb_checkpoints/Untitled-checkpoint.ipynb -------------------------------------------------------------------------------- /tools/qubot/quantum_computer_tests/.ipynb_checkpoints/Untitled1-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/quantum_computer_tests/.ipynb_checkpoints/Untitled1-checkpoint.ipynb -------------------------------------------------------------------------------- /tools/qubot/quantum_computer_tests/pure_qa.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/quantum_computer_tests/pure_qa.ipynb -------------------------------------------------------------------------------- /tools/qubot/quantum_computer_tests/qubit_growth_graph.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/quantum_computer_tests/qubit_growth_graph.ipynb -------------------------------------------------------------------------------- /tools/qubot/qubit_growth_script.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/qubot/qword.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qword.py -------------------------------------------------------------------------------- /tools/qubot/qword_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/qword_tools.py -------------------------------------------------------------------------------- /tools/qubot/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/requirements.txt -------------------------------------------------------------------------------- /tools/qubot/script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/script.py -------------------------------------------------------------------------------- /tools/qubot/scripts/32bit_paper_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/32bit_paper_example.py -------------------------------------------------------------------------------- /tools/qubot/scripts/32symbolic_nomem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/32symbolic_nomem.py -------------------------------------------------------------------------------- /tools/qubot/scripts/64bit_paper_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/64bit_paper_example.py -------------------------------------------------------------------------------- /tools/qubot/scripts/64symbolic_nomem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/64symbolic_nomem.py -------------------------------------------------------------------------------- /tools/qubot/scripts/qubit_growth.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/qubit_growth.py -------------------------------------------------------------------------------- /tools/qubot/scripts/symbolic_nomem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/scripts/symbolic_nomem.py -------------------------------------------------------------------------------- /tools/qubot/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/settings.py -------------------------------------------------------------------------------- /tools/qubot/symbolic_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/symbolic_examples.py -------------------------------------------------------------------------------- /tools/qubot/symbolic_experiment_statistics.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/symbolic_experiment_statistics.csv -------------------------------------------------------------------------------- /tools/qubot/tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/qubot/tools.py -------------------------------------------------------------------------------- /tools/rotor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/rotor.c -------------------------------------------------------------------------------- /tools/rotor_disassembly_compare.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/rotor_disassembly_compare.py -------------------------------------------------------------------------------- /tools/validator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/validator.py -------------------------------------------------------------------------------- /tools/z3interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cksystemsteaching/selfie/HEAD/tools/z3interface.py --------------------------------------------------------------------------------