# # ChangeLog for caseStudy_Huffmann # # Generated by Trac 1.2.3 # Jun 29, 2024, 8:04:11 PM Thu, 03 Jan 2013 10:29:33 GMT cecile [106] * caseStudy_Huffmann/huffmann/huff_any_text/any_text_env.v (added) add environment Thu, 20 Dec 2012 13:34:32 GMT cecile [105] * caseStudy_Huffmann/huffmann (added) * caseStudy_Huffmann/huffmann/doc (added) * caseStudy_Huffmann/huffmann/doc/experiments (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_basic_env.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_grade2.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_grade_synchro.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_my_orig.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_original_res.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_original_res_small.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_synchro.tex (added) * caseStudy_Huffmann/huffmann/doc/experiments/huff_with_env.tex (added) * caseStudy_Huffmann/huffmann/doc/fig (added) * caseStudy_Huffmann/huffmann/doc/fig/ArchGeneral.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/ArchGeneral.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/decoder_aut.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/decoder_aut.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/decoder_synchro.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/decoder_synchro.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_aut.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_aut.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.fig.bak (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_aut_vis.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_synchro.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_synchro.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.fig.bak (added) * caseStudy_Huffmann/huffmann/doc/fig/encoder_with_env.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/env_start.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/env_start.fig.bak (added) * caseStudy_Huffmann/huffmann/doc/fig/env_start.pdf (added) * caseStudy_Huffmann/huffmann/doc/fig/environment.fig (added) * caseStudy_Huffmann/huffmann/doc/fig/environment.pdf (added) * caseStudy_Huffmann/huffmann/doc/huffmann_experiments.aux (added) * caseStudy_Huffmann/huffmann/doc/huffmann_experiments.log (added) * caseStudy_Huffmann/huffmann/doc/huffmann_experiments.pdf (added) * caseStudy_Huffmann/huffmann/doc/huffmann_experiments.tex (added) * caseStudy_Huffmann/huffmann/huff_TMR (added) * caseStudy_Huffmann/huffmann/huff_TMR/TMR.sim (added) * caseStudy_Huffmann/huffmann/huff_TMR/huff.ctl (added) * caseStudy_Huffmann/huffmann/huff_TMR/huff_TMR.mv (added) * caseStudy_Huffmann/huffmann/huff_TMR/huff_TMR.v (added) * caseStudy_Huffmann/huffmann/huff_ack (added) * caseStudy_Huffmann/huffmann/huff_ack/huff.ctl (added) * caseStudy_Huffmann/huffmann/huff_ack/huff_ack.sim (added) * caseStudy_Huffmann/huffmann/huff_ack/huff_reset_ext.mv (added) * caseStudy_Huffmann/huffmann/huff_ack/huff_reset_ext.v (added) * caseStudy_Huffmann/huffmann/huff_ack/readme (added) * caseStudy_Huffmann/huffmann/huff_any_text (added) * caseStudy_Huffmann/huffmann/huff_any_text/comp_env+huff.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/comp_env+huff_vis.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/env+huff.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/env+huff_vis.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/env.fair (added) * caseStudy_Huffmann/huffmann/huff_any_text/huff.mv (added) * caseStudy_Huffmann/huffmann/huff_any_text/huff.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/huff_vis.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/huff_with_env_vis.v (added) * caseStudy_Huffmann/huffmann/huff_any_text/protect_env.reg (added) * caseStudy_Huffmann/huffmann/huff_any_text/protect_golden.reg (added) * caseStudy_Huffmann/huffmann/huff_any_text/register.reg (added) * caseStudy_Huffmann/huffmann/huff_any_text/robScript.sh (added) * caseStudy_Huffmann/huffmann/huff_any_text/safe_rob1.ctl (added) * caseStudy_Huffmann/huffmann/huff_any_text/script_grade.sh (added) * caseStudy_Huffmann/huffmann/huff_original (added) * caseStudy_Huffmann/huffmann/huff_original/huff.mv (added) * caseStudy_Huffmann/huffmann/huff_original/huff.v (added) * caseStudy_Huffmann/huffmann/huff_original/protect_golden.reg (added) * caseStudy_Huffmann/huffmann/huff_original/protect_output.reg (added) * caseStudy_Huffmann/huffmann/huff_original/register.reg (added) * caseStudy_Huffmann/huffmann/huff_original/resultat_huff_orig (added) * caseStudy_Huffmann/huffmann/huff_original/rob1.ctl (added) * caseStudy_Huffmann/huffmann/huff_original/robScript.sh (added) * caseStudy_Huffmann/huffmann/huff_original/safe_rob1.ctl (added) * caseStudy_Huffmann/huffmann/huff_original/script_grade.sh (added) * caseStudy_Huffmann/huffmann/huff_original/vis_rob_msmt (added) * caseStudy_Huffmann/huffmann/huff_original/vis_rob_msut (added) * caseStudy_Huffmann/huffmann/huff_original/vis_rob_script1 (added) * caseStudy_Huffmann/huffmann/huff_original/vis_rob_usmt (added) * caseStudy_Huffmann/huffmann/huff_original/vis_rob_usut (added) * caseStudy_Huffmann/huffmann/huff_reset (added) * caseStudy_Huffmann/huffmann/huff_reset/huff.ctl (added) * caseStudy_Huffmann/huffmann/huff_reset/huff.ltl (added) * caseStudy_Huffmann/huffmann/huff_reset/huff_reset1.mv (added) * caseStudy_Huffmann/huffmann/huff_reset/huff_reset1.v (added) * caseStudy_Huffmann/huffmann/huff_reset/huff_reset2.mv (added) * caseStudy_Huffmann/huffmann/huff_reset/huff_reset2.v (added) * caseStudy_Huffmann/huffmann/huff_reset/robScript.sh (added) * caseStudy_Huffmann/huffmann/huff_reset/safe.sh (added) * caseStudy_Huffmann/huffmann/huff_reset/safe_rob1.ctl (added) * caseStudy_Huffmann/huffmann/huff_reset/test.sim (added) * caseStudy_Huffmann/huffmann/huff_synchro (added) * caseStudy_Huffmann/huffmann/huff_synchro/Readme (added) * caseStudy_Huffmann/huffmann/huff_synchro/cex (added) * caseStudy_Huffmann/huffmann/huff_synchro/huff.ctl (added) * caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.mv (added) * caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.sim (added) * caseStudy_Huffmann/huffmann/huff_synchro/huff_synchro.v (added) * caseStudy_Huffmann/huffmann/huff_synchro/register.reg (added) * caseStudy_Huffmann/huffmann/huff_with_env (added) * caseStudy_Huffmann/huffmann/huff_with_env/.huff_with_env.v.swo (added) * caseStudy_Huffmann/huffmann/huff_with_env/cex (added) * caseStudy_Huffmann/huffmann/huff_with_env/env+huff.v (added) * caseStudy_Huffmann/huffmann/huff_with_env/env.fair (added) * caseStudy_Huffmann/huffmann/huff_with_env/env.sim (added) * caseStudy_Huffmann/huffmann/huff_with_env/environment.v (added) * caseStudy_Huffmann/huffmann/huff_with_env/environment2.mv (added) * caseStudy_Huffmann/huffmann/huff_with_env/environment2.v (added) * caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.mv (added) * caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.sim (added) * caseStudy_Huffmann/huffmann/huff_with_env/huff_with_env.v (added) * caseStudy_Huffmann/huffmann/huff_with_env/prop_safe.ctl (added) * caseStudy_Huffmann/huffmann/huff_with_env/protect_env.reg (added) * caseStudy_Huffmann/huffmann/huff_with_env/protect_golden.reg (added) * caseStudy_Huffmann/huffmann/huff_with_env/readme (added) * caseStudy_Huffmann/huffmann/huff_with_env/rob_composition.mv (added) * caseStudy_Huffmann/huffmann/huff_with_env/rob_composition.v (added) * caseStudy_Huffmann/huffmann/huff_with_env/safe.ctl (added) * caseStudy_Huffmann/huffmann/huff_with_env/script (added) * caseStudy_Huffmann/huffmann/readme.txt (added) * caseStudy_Huffmann/huffmann/register.reg (added) Hufmann case study Sun, 11 Dec 2011 12:27:16 GMT cecile [32] * caseStudy_Huffmann/res/huff_original_res.csv (modified) * caseStudy_Huffmann/res/huff_original_res.tex (modified) avec les bon temps Fri, 02 Dec 2011 14:56:05 GMT cecile [26] * caseStudy_Huffmann/res (added) * caseStudy_Huffmann/res/huff_original_res.csv (added) * caseStudy_Huffmann/res/huff_original_res.tex (added) result huffman original Wed, 30 Nov 2011 16:15:31 GMT cecile [25] * caseStudy_Huffmann/fig/ArchGeneral.fig.bak (deleted) * caseStudy_Huffmann/fig/decoder.fig.bak (deleted) * caseStudy_Huffmann/fig/encoder.fig.bak (deleted) delete fichier temporaire Wed, 30 Nov 2011 16:14:54 GMT cecile [24] * caseStudy_Huffmann (added) * caseStudy_Huffmann/fig (added) * caseStudy_Huffmann/fig/ArchGeneral.fig (added) * caseStudy_Huffmann/fig/ArchGeneral.fig.bak (added) * caseStudy_Huffmann/fig/ArchGeneral.pdf (added) * caseStudy_Huffmann/fig/decoder.fig (added) * caseStudy_Huffmann/fig/decoder.fig.bak (added) * caseStudy_Huffmann/fig/decoder.pdf (added) * caseStudy_Huffmann/fig/encoder.fig (added) * caseStudy_Huffmann/fig/encoder.fig.bak (added) * caseStudy_Huffmann/fig/encoder.pdf (added) * caseStudy_Huffmann/huffman.tex (added) * caseStudy_Huffmann/oldtran (added) * caseStudy_Huffmann/oldtran/IEEEabrv.bib (added) * caseStudy_Huffmann/oldtran/IEEEtran.bst (added) * caseStudy_Huffmann/oldtran/IEEEtran.cls (added) * caseStudy_Huffmann/oldtran/IEEEtran_HOWTO.pdf (added) * caseStudy_Huffmann/oldtran/README (added) * caseStudy_Huffmann/oldtran/bare_adv.tex (added) * caseStudy_Huffmann/oldtran/bare_conf.tex (added) * caseStudy_Huffmann/oldtran/bare_jrnl.tex (added) * caseStudy_Huffmann/oldtran/bare_jrnl_compsoc.tex (added) * caseStudy_Huffmann/oldtran/changelog.txt (added) * caseStudy_Huffmann/platform.tex (added) * caseStudy_Huffmann/rob.bib (added) plan du case study