├── SECD-Proof ├── CU_proofs.ml ├── CU_wordn_proofs.ml ├── DP_proofs.ml ├── Inc9_proofs.ml ├── Makefile ├── READ-ME ├── SECD_proofs.ml ├── STATS │ ├── READ-ME │ ├── sumup │ └── tally ├── SYS_proofs.ml ├── TACTICS │ ├── ABBREV_TAC.ml │ ├── BINDER_EQ_TAC.ml │ ├── COND_CASES_THEN.ml │ ├── CONJUNCTS_TAC.ml │ ├── EXISTS_PERM_LIST.ml │ ├── MOVE_EXISTS_OUT_CONV.ml │ ├── RATOR_RAND_CONV.ml │ ├── READ-ME │ ├── SELECT_UNIQUE.ml │ ├── SPLIT_CONJUNCTS.ml │ ├── SYM.ml │ └── load_all.ml ├── abstract_mem_type.ml ├── buses │ ├── Makefile │ ├── READ-ME │ ├── bus_theorems.ml │ ├── hol-init.ml │ └── mk_bus_theorems.ml ├── constraints.ml ├── correctness.ml ├── correctness_ADD.ml ├── correctness_AP.ml ├── correctness_ATOM.ml ├── correctness_CAR.ml ├── correctness_CDR.ml ├── correctness_CONS.ml ├── correctness_DUM.ml ├── correctness_EQ.ml ├── correctness_JOIN.ml ├── correctness_LD.ml ├── correctness_LDC.ml ├── correctness_LDF.ml ├── correctness_LEQ.ml ├── correctness_RAP.ml ├── correctness_RTN.ml ├── correctness_SEL.ml ├── correctness_STOP.ml ├── correctness_SUB.ml ├── correctness_init.ml ├── correctness_misc.ml ├── cu_types.ml ├── dp_types.ml ├── hol-init.ml ├── interface.ml ├── intermediate ├── io.ml ├── liveness.ml ├── loop_proofs.ml ├── mem_abs.ml ├── microcode.ml ├── modulo_ops.ml ├── mu-prog_ADD.ml ├── mu-prog_AP.ml ├── mu-prog_ATOM.ml ├── mu-prog_CAR.ml ├── mu-prog_CDR.ml ├── mu-prog_CONS.ml ├── mu-prog_DUM.ml ├── mu-prog_EQ.ml ├── mu-prog_JOIN.ml ├── mu-prog_LD.ml ├── mu-prog_LD1.ml ├── mu-prog_LD2.ml ├── mu-prog_LDC.ml ├── mu-prog_LDF.ml ├── mu-prog_LEQ.ml ├── mu-prog_RAP.ml ├── mu-prog_RTN.ml ├── mu-prog_SEL.ml ├── mu-prog_STOP.ml ├── mu-prog_SUB.ml ├── mu-prog_init_proofs.ml ├── mu-prog_level.ml ├── mu-prog_proof0.ml ├── mu-prog_proof_fcn.ml ├── mu-prog_sr_proofs.ml ├── phase_lemmas1.ml ├── phase_lemmas2.ml ├── phase_lemmas3.ml ├── phase_lemmas4.ml ├── phase_lemmas5.ml ├── phase_lemmas6.ml ├── phase_lemmas7.ml ├── phase_proof_fcn.ml ├── phase_template.ml ├── rt_CU.ml ├── rt_DP.ml ├── rt_PADS.ml ├── rt_SECD.ml ├── rt_SYS.ml ├── simplify.ml ├── top_SECD.ml ├── val_defs.ml ├── val_theorems.ml ├── when.ml └── wordn │ ├── Makefile │ ├── READ-ME │ ├── bus.ml │ ├── mk_bus.ml │ ├── mk_wordn.ml │ └── wordn.ml ├── default.ipf ├── doc ├── Concurrent and Distributed Functional Systems.pdf ├── Hardware_ACIA.pdf ├── LISP Hardware Breakout Group.pdf ├── LISP Hardware Breakout Group.ppt ├── Reimplementing the SECD Microprocessor on an FPGA.doc ├── The CADR2 Project.pdf └── The CADR2 Project.ppt ├── fep ├── README.txt ├── char_rom_b16.vhd ├── clock_gen_TB.vhd ├── clock_gen_TB_runtest.do ├── clock_synthesis.vhd ├── clock_synthesis_TB.vhd ├── clock_synthesis_TB_runtest.do ├── config.vhd ├── constraints.xcf ├── convert-bits.vhd ├── cpu09.vhd ├── fep_toplevel-broken.vhd ├── fep_toplevel.vhd ├── key_b4.vhd ├── keyboard.vhd ├── maisforth601.vhd ├── miniUART3.vhd ├── ps2_keyboard.vhd ├── ram2k_b16.vhd ├── ram_controller_test_toplevel.vhd ├── rom.vhd ├── rxunit3.vhd ├── secd_fep_trenz_TB.vhd ├── secd_fep_trenz_TB_runtest.do ├── secd_fep_trenz_conf.vhd ├── secd_ram_controller-new.vhd ├── secd_ram_controller.vhd ├── secd_ram_controller_TB.vhd ├── secd_ram_controller_TB_runtest.do ├── secd_ram_controller_TB_tim_cfg.vhd ├── secd_trenz.ipf ├── secd_trenz.ipf_ISE_Backup ├── sim_user_ram.vhd ├── trenz-retro-bb.ucf ├── txunit3.vhd ├── user_ram.vhd ├── vdu8.vhd ├── vdu_TB.vhd └── vdu_TB_runtest.do ├── fmf ├── conversions.vhd ├── ecl_utils.vhd ├── ff_package.vhd ├── fmf │ ├── 0fmf.mgf │ ├── 1fmf.mgf │ ├── 3fmf.mgf │ ├── Edfmap.ini │ ├── compilation.order │ ├── compile.cfg │ ├── elaboration.log │ ├── fmf.LIB │ ├── fmf.adf │ ├── fmf.aws │ ├── fmf.rlb │ ├── fmf.wsp │ ├── library.cfg │ ├── projlib.cfg │ └── synthesis.order ├── gen_utils.vhd ├── idt71v416.vhd ├── memory.vhd ├── state_tab_package.vhd └── switch_pkg.vhd ├── lisp-tools ├── microcode.lisp ├── packages.lisp ├── readme.lisp ├── secd-defs.lisp ├── secd-ram.lisp ├── secd-tools.asd ├── sim-microcode.lisp ├── testbench.vhd ├── tools.lisp └── vhdl-gen.lisp ├── lispkit ├── LKIT-2 │ ├── ADD1.LKC │ ├── ADD1.LKS │ ├── APPCOMPARE.LKC │ ├── APPCOMPARE.LKS │ ├── APPEND.LKS │ ├── APPLY.LKC │ ├── APPLY.LKS │ ├── CHOICE.LKC │ ├── CHOICE.LKS │ ├── DECLIST.LKS │ ├── EQUAL.LKS │ ├── EVAL.LKC │ ├── EVAL.LKS │ ├── FACTORIAL.LKC │ ├── FACTORIAL.LKS │ ├── FIRST-EL.LKC │ ├── FIRST-EL.LKS │ ├── FIRSTSUMS.LKC │ ├── FIRSTSUMS.LKS │ ├── FIRSTSUMS2.LKS │ ├── FLATTEN.DAT │ ├── FLATTEN.LKC │ ├── FLATTEN.LKS │ ├── FRINGE1.DAT │ ├── FRINGEPRINT.LKC │ ├── FRINGEPRINT.LKS │ ├── FRINGES1.DAT │ ├── FRINGES2.DAT │ ├── FUNRET.LKC │ ├── FUNRET.LKS │ ├── GETFRINGE.LKC │ ├── GETFRINGE.LKS │ ├── GETFRINGE1.LKC │ ├── GETFRINGE1.LKS │ ├── HEAP.DAT │ ├── HEAPS3.LKC │ ├── HEAPS3.LKS │ ├── HEAPS4.LKS │ ├── HEAPTREE.LKS │ ├── HelloWorld.cp │ ├── LISPKIT │ ├── LISPKIT.LKC │ ├── LISPKIT.LKS │ ├── LOOP.LKC │ ├── MAPADD.LKC │ ├── MAPADD.LKS │ ├── MAPCAR.LKC │ ├── MAPCAR.LKS │ ├── NQUEEN.LKC │ ├── NQUEEN.LKS │ ├── PERM.LKC │ ├── PERM.LKS │ ├── PRIMES.LKC │ ├── PRIMES.LKS │ ├── PRIMES2.LKC │ ├── PRIMES2.LKS │ ├── READ.ME │ ├── SIXTUPLE.LKC │ ├── SIXTUPLE.LKS │ ├── SUMFOLD.LKC │ ├── SUMFOLD2.LKC │ ├── SUMFOLD2.LKS │ ├── SWAP3.LKC │ ├── SWAP3.LKS │ ├── append.lkc │ ├── eqargs.dat │ ├── eqtest.lkc │ ├── firstsums2.lkc │ ├── lispkit-debug.c │ ├── lispkit-debug.exe │ ├── lispkit-source │ ├── loop.lks │ ├── ptest.lkc │ ├── secd_ram.vhd │ └── test.lkc ├── StansSECD │ ├── CPS │ ├── SECD │ └── SECD1 ├── lispkit.lisp └── new │ ├── LispKit.tar.gz │ ├── check.cls │ ├── check.lob │ ├── check.lso │ ├── compose.lob │ ├── compose.lso │ ├── concat.lob │ ├── dump.cls │ ├── dump.lob │ ├── e.lob │ ├── e.lso │ ├── e_digits.cls │ ├── e_digits.lso │ ├── edit.lob │ ├── edit.lso │ ├── expert.lob │ ├── expert.lso │ ├── expert_lib.lso │ ├── halt.lob │ ├── halt.lso │ ├── identity.cls │ ├── identity.lso │ ├── integers.cls │ ├── integers.lso │ ├── interp.lob │ ├── interp.lso │ ├── lc.cls │ ├── lc.lob │ ├── lc.lso │ ├── libman.lob │ ├── libman.lso │ ├── librarian.lob │ ├── librarian.lso │ ├── loader.cls │ ├── loader.lso │ ├── loadk.lob │ ├── loadk.lso │ ├── loads.lob │ ├── loads.lso │ ├── logic.lob │ ├── logic.lso │ ├── logic_lib.lso │ ├── map_until_end.lob │ ├── map_until_end.lso │ ├── mufp.lob │ ├── mufp.lso │ ├── mufp_lib.lso │ ├── nfib.cls │ ├── nfib.lob │ ├── nfib.lso │ ├── pi.cls │ ├── pi.lso │ ├── pretty.cls │ ├── pretty.lob │ ├── primes.cls │ ├── primes.lso │ ├── round.cls │ ├── round.lso │ ├── secd.pas │ ├── semnet.lob │ ├── semnet.lso │ ├── semnet_lib.lso │ ├── show_lib.cls │ ├── show_lib.lob │ ├── show_lib.lso │ ├── structure.cls │ ├── structure.lob │ ├── syntax.lob │ └── syntax.lso ├── maisforth ├── Makefile ├── an601-leesmij.html ├── an601-readme.html ├── an601.bin ├── an601assembler.html ├── an601color.htm ├── an601extra-gb.html ├── an601extra-nl.html ├── cras601.f ├── imgp1586.jpg ├── imgp1594.jpg ├── meta601.f ├── s3esk.f ├── secd.f ├── system09.f └── targ601.f ├── mark.doc ├── monitor ├── Makefile ├── app-start.asm ├── secd-app.c ├── secd-app.lnk ├── secd-mon.c ├── secd-mon.lnk ├── system09.h └── vec.asm ├── readme.txt ├── secd-microcode.lis ├── secd-microcode.txt ├── secd-microcode.vhd ├── tools ├── SECD.pm ├── bin-to-mem.pl ├── bin-to-ramb16.pl ├── bin-to-vhdl.pl ├── dump-mem.do ├── init.do ├── s19-to-vhdl.pl ├── secd-state.do ├── show-result.do └── trace-compare.lisp ├── vhdl ├── Makefile ├── clock_gen.vhd ├── clock_gen_TB.vhd ├── clock_gen_TB_runtest.do ├── constraints.ucf ├── control_unit.vhd ├── control_unit_TB.vhd ├── control_unit_TB_runtest.do ├── datapath.vhd ├── dff.vhd ├── secd_defs.vhd ├── secd_mon.vhd ├── secd_ram.vhd ├── secd_ram_defs.vhd ├── secd_toplevel.vhd ├── stop_control.vhd ├── testbench.vhd └── work │ └── .gitignore └── workshop ├── ARIES-05.pdf ├── ARIES-08.pdf ├── ARIES-15.pdf ├── capability-based.xml ├── cons-chip.jpg ├── contact.xml ├── home.xml ├── javascript.js ├── menu.xml ├── mofl.pdf ├── secd.xml ├── styles.css └── website.xsl /SECD-Proof/CU_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/CU_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/CU_wordn_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/CU_wordn_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/DP_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/DP_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/Inc9_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/Inc9_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/Makefile -------------------------------------------------------------------------------- /SECD-Proof/READ-ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/READ-ME -------------------------------------------------------------------------------- /SECD-Proof/SECD_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/SECD_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/STATS/READ-ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/STATS/READ-ME -------------------------------------------------------------------------------- /SECD-Proof/STATS/sumup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/STATS/sumup -------------------------------------------------------------------------------- /SECD-Proof/STATS/tally: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/STATS/tally -------------------------------------------------------------------------------- /SECD-Proof/SYS_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/SYS_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/ABBREV_TAC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/ABBREV_TAC.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/BINDER_EQ_TAC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/BINDER_EQ_TAC.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/COND_CASES_THEN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/COND_CASES_THEN.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/CONJUNCTS_TAC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/CONJUNCTS_TAC.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/EXISTS_PERM_LIST.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/EXISTS_PERM_LIST.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/MOVE_EXISTS_OUT_CONV.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/MOVE_EXISTS_OUT_CONV.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/RATOR_RAND_CONV.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/RATOR_RAND_CONV.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/READ-ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/READ-ME -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/SELECT_UNIQUE.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/SELECT_UNIQUE.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/SPLIT_CONJUNCTS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/SPLIT_CONJUNCTS.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/SYM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/SYM.ml -------------------------------------------------------------------------------- /SECD-Proof/TACTICS/load_all.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/TACTICS/load_all.ml -------------------------------------------------------------------------------- /SECD-Proof/abstract_mem_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/abstract_mem_type.ml -------------------------------------------------------------------------------- /SECD-Proof/buses/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/buses/Makefile -------------------------------------------------------------------------------- /SECD-Proof/buses/READ-ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/buses/READ-ME -------------------------------------------------------------------------------- /SECD-Proof/buses/bus_theorems.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/buses/bus_theorems.ml -------------------------------------------------------------------------------- /SECD-Proof/buses/hol-init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/buses/hol-init.ml -------------------------------------------------------------------------------- /SECD-Proof/buses/mk_bus_theorems.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/buses/mk_bus_theorems.ml -------------------------------------------------------------------------------- /SECD-Proof/constraints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/constraints.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_ADD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_ADD.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_AP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_AP.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_ATOM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_ATOM.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_CAR.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_CAR.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_CDR.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_CDR.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_CONS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_CONS.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_DUM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_DUM.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_EQ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_EQ.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_JOIN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_JOIN.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_LD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_LD.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_LDC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_LDC.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_LDF.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_LDF.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_LEQ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_LEQ.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_RAP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_RAP.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_RTN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_RTN.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_SEL.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_SEL.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_STOP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_STOP.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_SUB.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_SUB.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_init.ml -------------------------------------------------------------------------------- /SECD-Proof/correctness_misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/correctness_misc.ml -------------------------------------------------------------------------------- /SECD-Proof/cu_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/cu_types.ml -------------------------------------------------------------------------------- /SECD-Proof/dp_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/dp_types.ml -------------------------------------------------------------------------------- /SECD-Proof/hol-init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/hol-init.ml -------------------------------------------------------------------------------- /SECD-Proof/interface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/interface.ml -------------------------------------------------------------------------------- /SECD-Proof/intermediate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/intermediate -------------------------------------------------------------------------------- /SECD-Proof/io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/io.ml -------------------------------------------------------------------------------- /SECD-Proof/liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/liveness.ml -------------------------------------------------------------------------------- /SECD-Proof/loop_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/loop_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/mem_abs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mem_abs.ml -------------------------------------------------------------------------------- /SECD-Proof/microcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/microcode.ml -------------------------------------------------------------------------------- /SECD-Proof/modulo_ops.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/modulo_ops.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_ADD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_ADD.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_AP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_AP.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_ATOM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_ATOM.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_CAR.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_CAR.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_CDR.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_CDR.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_CONS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_CONS.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_DUM.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_DUM.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_EQ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_EQ.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_JOIN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_JOIN.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LD.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LD1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LD1.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LD2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LD2.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LDC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LDC.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LDF.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LDF.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_LEQ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_LEQ.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_RAP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_RAP.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_RTN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_RTN.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_SEL.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_SEL.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_STOP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_STOP.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_SUB.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_SUB.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_init_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_init_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_level.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_level.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_proof0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_proof0.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_proof_fcn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_proof_fcn.ml -------------------------------------------------------------------------------- /SECD-Proof/mu-prog_sr_proofs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/mu-prog_sr_proofs.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas1.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas2.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas3.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas4.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas5.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas6.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_lemmas7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_lemmas7.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_proof_fcn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_proof_fcn.ml -------------------------------------------------------------------------------- /SECD-Proof/phase_template.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/phase_template.ml -------------------------------------------------------------------------------- /SECD-Proof/rt_CU.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/rt_CU.ml -------------------------------------------------------------------------------- /SECD-Proof/rt_DP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/rt_DP.ml -------------------------------------------------------------------------------- /SECD-Proof/rt_PADS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/rt_PADS.ml -------------------------------------------------------------------------------- /SECD-Proof/rt_SECD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/rt_SECD.ml -------------------------------------------------------------------------------- /SECD-Proof/rt_SYS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/rt_SYS.ml -------------------------------------------------------------------------------- /SECD-Proof/simplify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/simplify.ml -------------------------------------------------------------------------------- /SECD-Proof/top_SECD.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/top_SECD.ml -------------------------------------------------------------------------------- /SECD-Proof/val_defs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/val_defs.ml -------------------------------------------------------------------------------- /SECD-Proof/val_theorems.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/val_theorems.ml -------------------------------------------------------------------------------- /SECD-Proof/when.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/when.ml -------------------------------------------------------------------------------- /SECD-Proof/wordn/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/Makefile -------------------------------------------------------------------------------- /SECD-Proof/wordn/READ-ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/READ-ME -------------------------------------------------------------------------------- /SECD-Proof/wordn/bus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/bus.ml -------------------------------------------------------------------------------- /SECD-Proof/wordn/mk_bus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/mk_bus.ml -------------------------------------------------------------------------------- /SECD-Proof/wordn/mk_wordn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/mk_wordn.ml -------------------------------------------------------------------------------- /SECD-Proof/wordn/wordn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/SECD-Proof/wordn/wordn.ml -------------------------------------------------------------------------------- /default.ipf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/default.ipf -------------------------------------------------------------------------------- /doc/Concurrent and Distributed Functional Systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/Concurrent and Distributed Functional Systems.pdf -------------------------------------------------------------------------------- /doc/Hardware_ACIA.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/Hardware_ACIA.pdf -------------------------------------------------------------------------------- /doc/LISP Hardware Breakout Group.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/LISP Hardware Breakout Group.pdf -------------------------------------------------------------------------------- /doc/LISP Hardware Breakout Group.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/LISP Hardware Breakout Group.ppt -------------------------------------------------------------------------------- /doc/Reimplementing the SECD Microprocessor on an FPGA.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/Reimplementing the SECD Microprocessor on an FPGA.doc -------------------------------------------------------------------------------- /doc/The CADR2 Project.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/The CADR2 Project.pdf -------------------------------------------------------------------------------- /doc/The CADR2 Project.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/doc/The CADR2 Project.ppt -------------------------------------------------------------------------------- /fep/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/README.txt -------------------------------------------------------------------------------- /fep/char_rom_b16.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/char_rom_b16.vhd -------------------------------------------------------------------------------- /fep/clock_gen_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/clock_gen_TB.vhd -------------------------------------------------------------------------------- /fep/clock_gen_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/clock_gen_TB_runtest.do -------------------------------------------------------------------------------- /fep/clock_synthesis.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/clock_synthesis.vhd -------------------------------------------------------------------------------- /fep/clock_synthesis_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/clock_synthesis_TB.vhd -------------------------------------------------------------------------------- /fep/clock_synthesis_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/clock_synthesis_TB_runtest.do -------------------------------------------------------------------------------- /fep/config.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/config.vhd -------------------------------------------------------------------------------- /fep/constraints.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/constraints.xcf -------------------------------------------------------------------------------- /fep/convert-bits.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/convert-bits.vhd -------------------------------------------------------------------------------- /fep/cpu09.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/cpu09.vhd -------------------------------------------------------------------------------- /fep/fep_toplevel-broken.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/fep_toplevel-broken.vhd -------------------------------------------------------------------------------- /fep/fep_toplevel.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/fep_toplevel.vhd -------------------------------------------------------------------------------- /fep/key_b4.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/key_b4.vhd -------------------------------------------------------------------------------- /fep/keyboard.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/keyboard.vhd -------------------------------------------------------------------------------- /fep/maisforth601.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/maisforth601.vhd -------------------------------------------------------------------------------- /fep/miniUART3.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/miniUART3.vhd -------------------------------------------------------------------------------- /fep/ps2_keyboard.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/ps2_keyboard.vhd -------------------------------------------------------------------------------- /fep/ram2k_b16.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/ram2k_b16.vhd -------------------------------------------------------------------------------- /fep/ram_controller_test_toplevel.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/ram_controller_test_toplevel.vhd -------------------------------------------------------------------------------- /fep/rom.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/rom.vhd -------------------------------------------------------------------------------- /fep/rxunit3.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/rxunit3.vhd -------------------------------------------------------------------------------- /fep/secd_fep_trenz_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_fep_trenz_TB.vhd -------------------------------------------------------------------------------- /fep/secd_fep_trenz_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_fep_trenz_TB_runtest.do -------------------------------------------------------------------------------- /fep/secd_fep_trenz_conf.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_fep_trenz_conf.vhd -------------------------------------------------------------------------------- /fep/secd_ram_controller-new.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_ram_controller-new.vhd -------------------------------------------------------------------------------- /fep/secd_ram_controller.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_ram_controller.vhd -------------------------------------------------------------------------------- /fep/secd_ram_controller_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_ram_controller_TB.vhd -------------------------------------------------------------------------------- /fep/secd_ram_controller_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_ram_controller_TB_runtest.do -------------------------------------------------------------------------------- /fep/secd_ram_controller_TB_tim_cfg.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_ram_controller_TB_tim_cfg.vhd -------------------------------------------------------------------------------- /fep/secd_trenz.ipf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_trenz.ipf -------------------------------------------------------------------------------- /fep/secd_trenz.ipf_ISE_Backup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/secd_trenz.ipf_ISE_Backup -------------------------------------------------------------------------------- /fep/sim_user_ram.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/sim_user_ram.vhd -------------------------------------------------------------------------------- /fep/trenz-retro-bb.ucf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/trenz-retro-bb.ucf -------------------------------------------------------------------------------- /fep/txunit3.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/txunit3.vhd -------------------------------------------------------------------------------- /fep/user_ram.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/user_ram.vhd -------------------------------------------------------------------------------- /fep/vdu8.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/vdu8.vhd -------------------------------------------------------------------------------- /fep/vdu_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/vdu_TB.vhd -------------------------------------------------------------------------------- /fep/vdu_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fep/vdu_TB_runtest.do -------------------------------------------------------------------------------- /fmf/conversions.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/conversions.vhd -------------------------------------------------------------------------------- /fmf/ecl_utils.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/ecl_utils.vhd -------------------------------------------------------------------------------- /fmf/ff_package.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/ff_package.vhd -------------------------------------------------------------------------------- /fmf/fmf/0fmf.mgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/0fmf.mgf -------------------------------------------------------------------------------- /fmf/fmf/1fmf.mgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/1fmf.mgf -------------------------------------------------------------------------------- /fmf/fmf/3fmf.mgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/3fmf.mgf -------------------------------------------------------------------------------- /fmf/fmf/Edfmap.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/Edfmap.ini -------------------------------------------------------------------------------- /fmf/fmf/compilation.order: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/compilation.order -------------------------------------------------------------------------------- /fmf/fmf/compile.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/compile.cfg -------------------------------------------------------------------------------- /fmf/fmf/elaboration.log: -------------------------------------------------------------------------------- 1 | elbread.dll ver. 1.0.5.375 Sat May 05 08:46:27 2007 2 | 3 | -------------------------------------------------------------------------------- /fmf/fmf/fmf.LIB: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/fmf.LIB -------------------------------------------------------------------------------- /fmf/fmf/fmf.adf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/fmf.adf -------------------------------------------------------------------------------- /fmf/fmf/fmf.aws: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/fmf.aws -------------------------------------------------------------------------------- /fmf/fmf/fmf.rlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/fmf.rlb -------------------------------------------------------------------------------- /fmf/fmf/fmf.wsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/fmf.wsp -------------------------------------------------------------------------------- /fmf/fmf/library.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/library.cfg -------------------------------------------------------------------------------- /fmf/fmf/projlib.cfg: -------------------------------------------------------------------------------- 1 | fmf = ".\fmf.LIB" 1150913914718 2 | -------------------------------------------------------------------------------- /fmf/fmf/synthesis.order: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/fmf/synthesis.order -------------------------------------------------------------------------------- /fmf/gen_utils.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/gen_utils.vhd -------------------------------------------------------------------------------- /fmf/idt71v416.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/idt71v416.vhd -------------------------------------------------------------------------------- /fmf/memory.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/memory.vhd -------------------------------------------------------------------------------- /fmf/state_tab_package.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/state_tab_package.vhd -------------------------------------------------------------------------------- /fmf/switch_pkg.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/fmf/switch_pkg.vhd -------------------------------------------------------------------------------- /lisp-tools/microcode.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/microcode.lisp -------------------------------------------------------------------------------- /lisp-tools/packages.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/packages.lisp -------------------------------------------------------------------------------- /lisp-tools/readme.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/readme.lisp -------------------------------------------------------------------------------- /lisp-tools/secd-defs.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/secd-defs.lisp -------------------------------------------------------------------------------- /lisp-tools/secd-ram.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/secd-ram.lisp -------------------------------------------------------------------------------- /lisp-tools/secd-tools.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/secd-tools.asd -------------------------------------------------------------------------------- /lisp-tools/sim-microcode.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/sim-microcode.lisp -------------------------------------------------------------------------------- /lisp-tools/testbench.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/testbench.vhd -------------------------------------------------------------------------------- /lisp-tools/tools.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/tools.lisp -------------------------------------------------------------------------------- /lisp-tools/vhdl-gen.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lisp-tools/vhdl-gen.lisp -------------------------------------------------------------------------------- /lispkit/LKIT-2/ADD1.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/ADD1.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/ADD1.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/ADD1.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/APPCOMPARE.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/APPCOMPARE.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/APPCOMPARE.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/APPCOMPARE.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/APPEND.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/APPEND.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/APPLY.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/APPLY.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/APPLY.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/APPLY.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/CHOICE.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/CHOICE.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/CHOICE.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/CHOICE.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/DECLIST.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/DECLIST.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/EQUAL.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/EQUAL.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/EVAL.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/EVAL.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/EVAL.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/EVAL.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FACTORIAL.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FACTORIAL.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/FACTORIAL.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FACTORIAL.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FIRST-EL.LKC: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lispkit/LKIT-2/FIRST-EL.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FIRST-EL.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FIRSTSUMS.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FIRSTSUMS.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/FIRSTSUMS.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FIRSTSUMS.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FIRSTSUMS2.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FIRSTSUMS2.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FLATTEN.DAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FLATTEN.DAT -------------------------------------------------------------------------------- /lispkit/LKIT-2/FLATTEN.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FLATTEN.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/FLATTEN.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FLATTEN.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FRINGE1.DAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FRINGE1.DAT -------------------------------------------------------------------------------- /lispkit/LKIT-2/FRINGEPRINT.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FRINGEPRINT.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/FRINGEPRINT.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FRINGEPRINT.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/FRINGES1.DAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FRINGES1.DAT -------------------------------------------------------------------------------- /lispkit/LKIT-2/FRINGES2.DAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FRINGES2.DAT -------------------------------------------------------------------------------- /lispkit/LKIT-2/FUNRET.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FUNRET.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/FUNRET.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/FUNRET.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/GETFRINGE.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/GETFRINGE.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/GETFRINGE.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/GETFRINGE.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/GETFRINGE1.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/GETFRINGE1.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/GETFRINGE1.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/GETFRINGE1.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/HEAP.DAT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HEAP.DAT -------------------------------------------------------------------------------- /lispkit/LKIT-2/HEAPS3.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HEAPS3.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/HEAPS3.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HEAPS3.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/HEAPS4.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HEAPS4.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/HEAPTREE.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HEAPTREE.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/HelloWorld.cp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/HelloWorld.cp -------------------------------------------------------------------------------- /lispkit/LKIT-2/LISPKIT: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lispkit/LKIT-2/LISPKIT.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/LISPKIT.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/LISPKIT.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/LISPKIT.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/LOOP.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/LOOP.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/MAPADD.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/MAPADD.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/MAPADD.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/MAPADD.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/MAPCAR.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/MAPCAR.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/MAPCAR.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/MAPCAR.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/NQUEEN.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/NQUEEN.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/NQUEEN.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/NQUEEN.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/PERM.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PERM.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/PERM.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PERM.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/PRIMES.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PRIMES.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/PRIMES.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PRIMES.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/PRIMES2.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PRIMES2.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/PRIMES2.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/PRIMES2.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/READ.ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/READ.ME -------------------------------------------------------------------------------- /lispkit/LKIT-2/SIXTUPLE.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SIXTUPLE.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/SIXTUPLE.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SIXTUPLE.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/SUMFOLD.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SUMFOLD.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/SUMFOLD2.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SUMFOLD2.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/SUMFOLD2.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SUMFOLD2.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/SWAP3.LKC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SWAP3.LKC -------------------------------------------------------------------------------- /lispkit/LKIT-2/SWAP3.LKS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/SWAP3.LKS -------------------------------------------------------------------------------- /lispkit/LKIT-2/append.lkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/append.lkc -------------------------------------------------------------------------------- /lispkit/LKIT-2/eqargs.dat: -------------------------------------------------------------------------------- 1 | NIL & 2 | -------------------------------------------------------------------------------- /lispkit/LKIT-2/eqtest.lkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/eqtest.lkc -------------------------------------------------------------------------------- /lispkit/LKIT-2/firstsums2.lkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/firstsums2.lkc -------------------------------------------------------------------------------- /lispkit/LKIT-2/lispkit-debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/lispkit-debug.c -------------------------------------------------------------------------------- /lispkit/LKIT-2/lispkit-debug.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/lispkit-debug.exe -------------------------------------------------------------------------------- /lispkit/LKIT-2/lispkit-source: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/lispkit-source -------------------------------------------------------------------------------- /lispkit/LKIT-2/loop.lks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/loop.lks -------------------------------------------------------------------------------- /lispkit/LKIT-2/ptest.lkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/ptest.lkc -------------------------------------------------------------------------------- /lispkit/LKIT-2/secd_ram.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/secd_ram.vhd -------------------------------------------------------------------------------- /lispkit/LKIT-2/test.lkc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/LKIT-2/test.lkc -------------------------------------------------------------------------------- /lispkit/StansSECD/CPS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/StansSECD/CPS -------------------------------------------------------------------------------- /lispkit/StansSECD/SECD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/StansSECD/SECD -------------------------------------------------------------------------------- /lispkit/StansSECD/SECD1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/StansSECD/SECD1 -------------------------------------------------------------------------------- /lispkit/lispkit.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/lispkit.lisp -------------------------------------------------------------------------------- /lispkit/new/LispKit.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/LispKit.tar.gz -------------------------------------------------------------------------------- /lispkit/new/check.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/check.cls -------------------------------------------------------------------------------- /lispkit/new/check.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/check.lob -------------------------------------------------------------------------------- /lispkit/new/check.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/check.lso -------------------------------------------------------------------------------- /lispkit/new/compose.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/compose.lob -------------------------------------------------------------------------------- /lispkit/new/compose.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/compose.lso -------------------------------------------------------------------------------- /lispkit/new/concat.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/concat.lob -------------------------------------------------------------------------------- /lispkit/new/dump.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/dump.cls -------------------------------------------------------------------------------- /lispkit/new/dump.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/dump.lob -------------------------------------------------------------------------------- /lispkit/new/e.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/e.lob -------------------------------------------------------------------------------- /lispkit/new/e.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/e.lso -------------------------------------------------------------------------------- /lispkit/new/e_digits.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/e_digits.cls -------------------------------------------------------------------------------- /lispkit/new/e_digits.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/e_digits.lso -------------------------------------------------------------------------------- /lispkit/new/edit.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/edit.lob -------------------------------------------------------------------------------- /lispkit/new/edit.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/edit.lso -------------------------------------------------------------------------------- /lispkit/new/expert.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/expert.lob -------------------------------------------------------------------------------- /lispkit/new/expert.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/expert.lso -------------------------------------------------------------------------------- /lispkit/new/expert_lib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/expert_lib.lso -------------------------------------------------------------------------------- /lispkit/new/halt.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/halt.lob -------------------------------------------------------------------------------- /lispkit/new/halt.lso: -------------------------------------------------------------------------------- 1 | (run_and_halt(quote NIL)) 2 | -------------------------------------------------------------------------------- /lispkit/new/identity.cls: -------------------------------------------------------------------------------- 1 | ((3(1(0.0)24 5)5)) 2 | -------------------------------------------------------------------------------- /lispkit/new/identity.lso: -------------------------------------------------------------------------------- 1 | (lambda(x)x) 2 | -------------------------------------------------------------------------------- /lispkit/new/integers.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/integers.cls -------------------------------------------------------------------------------- /lispkit/new/integers.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/integers.lso -------------------------------------------------------------------------------- /lispkit/new/interp.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/interp.lob -------------------------------------------------------------------------------- /lispkit/new/interp.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/interp.lso -------------------------------------------------------------------------------- /lispkit/new/lc.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/lc.cls -------------------------------------------------------------------------------- /lispkit/new/lc.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/lc.lob -------------------------------------------------------------------------------- /lispkit/new/lc.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/lc.lso -------------------------------------------------------------------------------- /lispkit/new/libman.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/libman.lob -------------------------------------------------------------------------------- /lispkit/new/libman.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/libman.lso -------------------------------------------------------------------------------- /lispkit/new/librarian.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/librarian.lob -------------------------------------------------------------------------------- /lispkit/new/librarian.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/librarian.lso -------------------------------------------------------------------------------- /lispkit/new/loader.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/loader.cls -------------------------------------------------------------------------------- /lispkit/new/loader.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/loader.lso -------------------------------------------------------------------------------- /lispkit/new/loadk.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/loadk.lob -------------------------------------------------------------------------------- /lispkit/new/loadk.lso: -------------------------------------------------------------------------------- 1 | (lambda(s)(load_code(head s))) 2 | -------------------------------------------------------------------------------- /lispkit/new/loads.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/loads.lob -------------------------------------------------------------------------------- /lispkit/new/loads.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/loads.lso -------------------------------------------------------------------------------- /lispkit/new/logic.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/logic.lob -------------------------------------------------------------------------------- /lispkit/new/logic.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/logic.lso -------------------------------------------------------------------------------- /lispkit/new/logic_lib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/logic_lib.lso -------------------------------------------------------------------------------- /lispkit/new/map_until_end.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/map_until_end.lob -------------------------------------------------------------------------------- /lispkit/new/map_until_end.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/map_until_end.lso -------------------------------------------------------------------------------- /lispkit/new/mufp.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/mufp.lob -------------------------------------------------------------------------------- /lispkit/new/mufp.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/mufp.lso -------------------------------------------------------------------------------- /lispkit/new/mufp_lib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/mufp_lib.lso -------------------------------------------------------------------------------- /lispkit/new/nfib.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/nfib.cls -------------------------------------------------------------------------------- /lispkit/new/nfib.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/nfib.lob -------------------------------------------------------------------------------- /lispkit/new/nfib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/nfib.lso -------------------------------------------------------------------------------- /lispkit/new/pi.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/pi.cls -------------------------------------------------------------------------------- /lispkit/new/pi.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/pi.lso -------------------------------------------------------------------------------- /lispkit/new/pretty.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/pretty.cls -------------------------------------------------------------------------------- /lispkit/new/pretty.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/pretty.lob -------------------------------------------------------------------------------- /lispkit/new/primes.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/primes.cls -------------------------------------------------------------------------------- /lispkit/new/primes.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/primes.lso -------------------------------------------------------------------------------- /lispkit/new/round.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/round.cls -------------------------------------------------------------------------------- /lispkit/new/round.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/round.lso -------------------------------------------------------------------------------- /lispkit/new/secd.pas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/secd.pas -------------------------------------------------------------------------------- /lispkit/new/semnet.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/semnet.lob -------------------------------------------------------------------------------- /lispkit/new/semnet.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/semnet.lso -------------------------------------------------------------------------------- /lispkit/new/semnet_lib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/semnet_lib.lso -------------------------------------------------------------------------------- /lispkit/new/show_lib.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/show_lib.cls -------------------------------------------------------------------------------- /lispkit/new/show_lib.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/show_lib.lob -------------------------------------------------------------------------------- /lispkit/new/show_lib.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/show_lib.lso -------------------------------------------------------------------------------- /lispkit/new/structure.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/structure.cls -------------------------------------------------------------------------------- /lispkit/new/structure.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/structure.lob -------------------------------------------------------------------------------- /lispkit/new/syntax.lob: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/syntax.lob -------------------------------------------------------------------------------- /lispkit/new/syntax.lso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/lispkit/new/syntax.lso -------------------------------------------------------------------------------- /maisforth/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/Makefile -------------------------------------------------------------------------------- /maisforth/an601-leesmij.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601-leesmij.html -------------------------------------------------------------------------------- /maisforth/an601-readme.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601-readme.html -------------------------------------------------------------------------------- /maisforth/an601.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601.bin -------------------------------------------------------------------------------- /maisforth/an601assembler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601assembler.html -------------------------------------------------------------------------------- /maisforth/an601color.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601color.htm -------------------------------------------------------------------------------- /maisforth/an601extra-gb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601extra-gb.html -------------------------------------------------------------------------------- /maisforth/an601extra-nl.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/an601extra-nl.html -------------------------------------------------------------------------------- /maisforth/cras601.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/cras601.f -------------------------------------------------------------------------------- /maisforth/imgp1586.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/imgp1586.jpg -------------------------------------------------------------------------------- /maisforth/imgp1594.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/imgp1594.jpg -------------------------------------------------------------------------------- /maisforth/meta601.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/meta601.f -------------------------------------------------------------------------------- /maisforth/s3esk.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/s3esk.f -------------------------------------------------------------------------------- /maisforth/secd.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/secd.f -------------------------------------------------------------------------------- /maisforth/system09.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/system09.f -------------------------------------------------------------------------------- /maisforth/targ601.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/maisforth/targ601.f -------------------------------------------------------------------------------- /mark.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/mark.doc -------------------------------------------------------------------------------- /monitor/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/Makefile -------------------------------------------------------------------------------- /monitor/app-start.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/app-start.asm -------------------------------------------------------------------------------- /monitor/secd-app.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/secd-app.c -------------------------------------------------------------------------------- /monitor/secd-app.lnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/secd-app.lnk -------------------------------------------------------------------------------- /monitor/secd-mon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/secd-mon.c -------------------------------------------------------------------------------- /monitor/secd-mon.lnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/secd-mon.lnk -------------------------------------------------------------------------------- /monitor/system09.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/system09.h -------------------------------------------------------------------------------- /monitor/vec.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/monitor/vec.asm -------------------------------------------------------------------------------- /readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/readme.txt -------------------------------------------------------------------------------- /secd-microcode.lis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/secd-microcode.lis -------------------------------------------------------------------------------- /secd-microcode.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/secd-microcode.txt -------------------------------------------------------------------------------- /secd-microcode.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/secd-microcode.vhd -------------------------------------------------------------------------------- /tools/SECD.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/SECD.pm -------------------------------------------------------------------------------- /tools/bin-to-mem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/bin-to-mem.pl -------------------------------------------------------------------------------- /tools/bin-to-ramb16.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/bin-to-ramb16.pl -------------------------------------------------------------------------------- /tools/bin-to-vhdl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/bin-to-vhdl.pl -------------------------------------------------------------------------------- /tools/dump-mem.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/dump-mem.do -------------------------------------------------------------------------------- /tools/init.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/init.do -------------------------------------------------------------------------------- /tools/s19-to-vhdl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/s19-to-vhdl.pl -------------------------------------------------------------------------------- /tools/secd-state.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/secd-state.do -------------------------------------------------------------------------------- /tools/show-result.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/show-result.do -------------------------------------------------------------------------------- /tools/trace-compare.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/tools/trace-compare.lisp -------------------------------------------------------------------------------- /vhdl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/Makefile -------------------------------------------------------------------------------- /vhdl/clock_gen.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/clock_gen.vhd -------------------------------------------------------------------------------- /vhdl/clock_gen_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/clock_gen_TB.vhd -------------------------------------------------------------------------------- /vhdl/clock_gen_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/clock_gen_TB_runtest.do -------------------------------------------------------------------------------- /vhdl/constraints.ucf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/constraints.ucf -------------------------------------------------------------------------------- /vhdl/control_unit.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/control_unit.vhd -------------------------------------------------------------------------------- /vhdl/control_unit_TB.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/control_unit_TB.vhd -------------------------------------------------------------------------------- /vhdl/control_unit_TB_runtest.do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/control_unit_TB_runtest.do -------------------------------------------------------------------------------- /vhdl/datapath.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/datapath.vhd -------------------------------------------------------------------------------- /vhdl/dff.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/dff.vhd -------------------------------------------------------------------------------- /vhdl/secd_defs.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/secd_defs.vhd -------------------------------------------------------------------------------- /vhdl/secd_mon.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/secd_mon.vhd -------------------------------------------------------------------------------- /vhdl/secd_ram.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/secd_ram.vhd -------------------------------------------------------------------------------- /vhdl/secd_ram_defs.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/secd_ram_defs.vhd -------------------------------------------------------------------------------- /vhdl/secd_toplevel.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/secd_toplevel.vhd -------------------------------------------------------------------------------- /vhdl/stop_control.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/stop_control.vhd -------------------------------------------------------------------------------- /vhdl/testbench.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/vhdl/testbench.vhd -------------------------------------------------------------------------------- /vhdl/work/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | -------------------------------------------------------------------------------- /workshop/ARIES-05.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/ARIES-05.pdf -------------------------------------------------------------------------------- /workshop/ARIES-08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/ARIES-08.pdf -------------------------------------------------------------------------------- /workshop/ARIES-15.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/ARIES-15.pdf -------------------------------------------------------------------------------- /workshop/capability-based.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/capability-based.xml -------------------------------------------------------------------------------- /workshop/cons-chip.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/cons-chip.jpg -------------------------------------------------------------------------------- /workshop/contact.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/contact.xml -------------------------------------------------------------------------------- /workshop/home.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/home.xml -------------------------------------------------------------------------------- /workshop/javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/javascript.js -------------------------------------------------------------------------------- /workshop/menu.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/menu.xml -------------------------------------------------------------------------------- /workshop/mofl.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/mofl.pdf -------------------------------------------------------------------------------- /workshop/secd.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/secd.xml -------------------------------------------------------------------------------- /workshop/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/styles.css -------------------------------------------------------------------------------- /workshop/website.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hanshuebner/secd/HEAD/workshop/website.xsl --------------------------------------------------------------------------------