]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_extra.ml
Extracted code. The main executable is medium_tests that runs the emulator on
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Apr 2008 13:09:02 +0000 (13:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Apr 2008 13:09:02 +0000 (13:09 +0000)
commitecdb00b94db5abc2f7df2dcbaa76b1b5639ebaee
tree0896e264a8975aa2b55ed49a5b207663a02c0afa
parentdc58e20b610718080da9a4bdb4db4ac7780be8f9
Extracted code. The main executable is medium_tests that runs the emulator on
a few assembly programs with inputs of different sizes:
  * string reverse
  * counting sort
  * perfect numbers
44 files changed:
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/Makefile [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_bool.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_compare.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_datatypes_constructors.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_aux_bases.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_byte8.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_debug.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_exadecim.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_extra.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_load_write.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_medium_tests.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_medium_tests_lemmas.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_medium_tests_tools.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_memory_abs.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_memory_bits.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_memory_func.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_memory_struct.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_memory_trees.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_micro_tests.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_model.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_multivm.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_opcode.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_status.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_HC05.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_HC08.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_HCS08.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_table_RS08.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_translation.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_freescale_word16.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_higher_order_defs_functions.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_list_list.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_logic_connectives.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_logic_equality.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_compare.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_div_and_mod.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_exp.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_factorial.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_minimization.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_minus.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_nat.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_plus.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_primes.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_sigma_and_pi.ml [new file with mode: 0644]
helm/software/matita/contribs/assembly/freescale/freescale_ocaml/matita_nat_times.ml [new file with mode: 0644]