from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/shell/shell.cc: Move readline wrapper to...
	* src/misc/readline.hh: This file.
	* src/misc/Makefile.am: Distribute readline.hh

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* tests/runtime/address-load.s, tests/runtime/address-store.s:
	Test illegal access to memory.
	* tests/runtime/Makefile.am: Distribute them.
	

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/vm/memory.hh, src/vm/mmu.hh, src/vm/virtual_machine.cc:
	Make the MMU responsible of address translation and exception 
	raising.
	* src/vm/cp0.hh (raise_addr_load, raise_addr_store): Add address
	load and store exception.
	* src/vm/virtual_machine.hh (execute): Stop execution on fatal
	exceptions.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/vm/mmu.hh: Hide instructions' access behind MMU.
	* src/vm/cpu.hh, src/vm/cpu.cc, src/vm/virtual_machine.hh:
	Use the MMU to access instructions.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/vm/memory.hh, src/vm/mmu.hh, src/vm/cpu.cc,
	* src/vm/virtual_machine.cc:
	Implement reset() method.
	* src/vm/virtual_machine.hh, src/vm/virtual_machine.hh:
	Keep and reload the main offset of loaded program.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/vm/virtual_machine.hh: Move the implementation of
        rarely used methods to...
        * src/vm/virtual_machine.cc: This file.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/shell.cc (readline): When the true readline is lacking, use
	STL's getline instead of istream::operator>> to get a line instead
	of a word.
	Reported by Julien Vanegue.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* INSTALL: Explain --with-readline-{includes,library} usage.
	Suggested by Marco Tessari.

	* configure.ac: Bump to 0.7a.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* src/vm/cpu.hh (get_unlimited): Print a lovely error message when
	an unlimited register is used before initialized.
	* tests/runtime/Makefile.am, tests/runtime/uninitialized-x.s: 
	Test the case.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	Update distribution's files.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	Update test suite machinery.
	
	* tests/nolimips-check:
	Rename PSYFLAGS to NOLFLAGS.
	* tests/generate-ref.mk:
	Distribute reference output files.
	* tests/common.mk,
	* tests/lexical/Makefile.am, tests/lexical/check-lexical,
	* tests/runtime/Makefile.am, tests/runtime/check-runtime,
	* tests/syntax/Makefile.am, tests/syntax/check-syntax, 
	* tests/good/Makefile.am, tests/good/check-good,
	* tests/solve/Makefile.am, tests/solve/check-solve,
	* tests/unlimited/Makefile.am, tests/unlimited/check-unlimited,
	Use automake's TESTS_ENVIRONMENT variable to set Nolimips' flags.
	

from  Benoît Perrot  <benoit@lrde.epita.fr>

	Make Nolimips compile on OS X.

	* dev/parse-asm-scan.ll: 
	Suggested by Akim Demaille: Prefer istringstream to strtoll.

	Update makefile's machinery.

	* src/parse/Makefile.am, dev/inst-makefile-gen.py:
	Rename .log files to .stamp files.
	* src/parse/Makefile.am:
	Suggested by Akim Demaille: do not put asm-parse.cc in 
	BUILT_SOURCES.

from  Beno?t Perrot  <benoit@lrde.epita.fr>

        Generate debian package.

        * distrib/debian/control,
        * distrib/debian/compat,
        * distrib/debian/changelog,
        * distrib/debian/copyright,
        * distrib/debian/docs,
        * distrib/debian/rules,
        * distrib/debian/info:
        Add debian package control files.
        * distrib/debian/Makefile.am, distrib/Makefile.am,
        * Makefile.am, configure.ac:
        Distribute distrib and distrib/debian subdirectories.

from  Benoît Perrot  <benoit@lrde.epita.fr>

	Bump to nolimips-0.7

	* INSTALL, README, TODO,
	* Makefile.am, bootstrap,
	* configure.ac,
	* dev/doc-inst-set-gen.py, dev/inst-builder-gen.py,
	* dev/inst-makefile-gen.py, dev/inst-nodes-gen.py,
	* dev/inst-solver-gen.py, dev/nolimips.py,
	* dev/nolimips.xml, dev/parse-asm-parse-gen.py,
	* dev/parse-asm-scan-gen.py,
	* doc/Makefile.am, doc/macros.texi,
	* src/Makefile.am, src/common.hh, src/modules.hh,
	* src/inst/section.hh,
	* src/inst/data_section.hh, src/inst/data_section.cc
	* src/inst/text_section.hh, src/inst/text_section.cc,
	* src/inst/program.hh, src/inst/program_builder.cc,
	* src/inst/exp-visitor.hh, src/inst/exp.hh, src/inst/exp.cc
	* src/inst/inst-tasks.cc, src/inst/inst-tasks.hh, 
	* src/inst/inst.hh, src/inst/label.cc, src/inst/label.hh
	* src/inst/register.hh,
	* src/parse/Makefile.am, src/parse/asm-scan.hh,
	* src/parse/libparse.cc, src/parse/libparse.hh,
	* src/parse/parse-tasks.cc, src/parse/parse-tasks.hh,
	* src/shell/cmd.hh,
	* src/shell/shell-tasks.cc, src/shell/shell-tasks.hh,
	* src/shell/shell.cc, src/shell/shell.hh,
	* src/task/task-tasks.cc, src/task/task-tasks.hh,
	* src/task/task.cc, src/task/task.hh,
	* src/task/task_register.cc, src/task/task_register.hh,
	* src/vm/cp0.hh, src/vm/cpu.hh, src/vm/cpu.cc
	* src/vm/memory.hh, src/vm/mmu.hh, src/vm/segment.hh
	* src/vm/table.hh, src/vm/virtual_machine.hh
	* src/vm/vm-tasks.cc, src/vm/vm-tasks.hh
	* tests/Makefile.am, tests/generate-ref.mk, tests/good/check-good
	* tests/good/fact.s, tests/lexical/check-lexical,
	* tests/runtime/check-runtime, tests/solve/check-solve
	* tests/syntax/check-syntax, tests/unlimited/check-unlimited:
	Rename mipsy as nolimips.

	* dev/mipsy.py, dev/mipsy.xml,
	* doc/mipsy.texi,
	* src/mipsy.cc, src/mipsy-tasks.cc, src/mipsy-tasks.hh,
	* tests/mipsy-check:
	Move to...
	* dev/nolimips.py, dev/nolimips.xml,
	* doc/nolimips.texi,
	* src/nolimips.cc, src/nolimips-tasks.cc, src/nolimips-tasks.hh,
	* tests/nolimips-check:
	These new files.

	* NEWS, configure.ac:
	Bump to nolimips-0.7.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/misc/contract.hh,
        * src/misc/counted_ptr.hh,
        * src/misc/deref.hh,
        * src/misc/escape.hh,
        * src/misc/has.hh,
        * src/misc/select_const.hh:
        Add license.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/misc/counted_ptr.hh,
        * src/misc/Makefile.am:
        Add counted_ptr tool.
        * dev/inst-nodes-gen.py,
        * src/inst/exp.hh,
        * src/inst/program_builder.cc:
        Use counted pointers in expression trees.

        * doc/mipsy.texi:
        Document it.
from  Benoît Perrot  <benoit@lrde.epita.fr>

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * NEWS,
        * dev/inst-builder-gen.py,
        * src/parse/libparse.cc, src/parse/libparse.hh,
        * src/parse/parse-tasks.cc, src/parse/parse-tasks.hh,
        * src/shell/cmd.hh,
        * src/shell/shell.cc, src/shell/shell.hh,
        * tests/good/Makefile.am, tests/good/check-good
        * tests/runtime/check-runtime,
        * tests/unlimited/Makefile.am, tests/unlimited/check-unlimited:
        Rename `--fill-delay-slots' to `--nop-after-branch', which is more
        accurate. Reserve `--fill-delay-slots' for optimal delay slots
        filling.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * tests/good/fact.s, tests/good/Makefile.am:
        Add new test.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/inst/register.hh:
        Add a copy constructor.
        * dev/inst-nodes-gen.py:
        Copy inst::Registers instead of keeping a pointer on them,
        avoiding hazardous memory manipulations.
        * dev/inst-builder-gen.py, src/inst/program_builder.cc,
        * src/vm/cpu.cc (bubble_):
        Prefer copy to reallocation of inst::Registers.
        * dev/parse-asm-parse-gen.py:
        Once they are copied, delete the inst::Registers created by the
        scanner.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/shell/shell.cc:
        Use std::cin when readline library cannot be used. Add history to
        readline.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * configure.ac, config/readline.m4,
        * src/Makefile.am, src/shell/Makefile.am:
        Improve readline detection and related information use.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/shell/cmd.hh,
        * src/shell/shell.hh, src/shell/shell.cc:
        Use std::string instead of char* or std::string*, avoiding
        hazardous memory manipulations.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/shell/cmd.hh,
        * src/shell/shell.cc, src/shell/shell.hh:
        Use references instead of pointers for aggregated attributes.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        Use coprocessor to raise exception.

        * src/vm/cp0.hh:
        (raise_overflow) Raise an arithmetic overflow exception.
        * src/vm/cpu.cc:
        Call raise_overflow when an arithmetic overflow occurs.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * src/mipsy-tasks.hh,
        * src/vm/vm-tasks.hh,
        * src/shell/shell-tasks.hh:
        Add short options.
        * src/task/task_register.hh, src/task/task_register.cc:
        Support concatenated short options.
        * NEWS, doc/mipsy.texi:
        Document this.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        Enhance readline detection.

        * config/readline.m4:
        Provide AC_CHECK_READLINE.
        * configure.ac, src/Makefile.am:
        Use AC_CHECK_READLINE to check readline library presence and
        usability.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        Restore distcheck with automake1.8

        * Makefile.am: Distribute inst-solver-gen.py.
        * dev/doc-inst-set-gen.py,
        * doc/mipsy.texi:
        Suggested by Akim Demaille: do not use commands in @node.
        The file texinfo.tex from automake1.8 does not handle it, leading to
        make dvi failure, leading to make distcheck failure.
        * doc/Makefile.am: Do not distribute deprecated files anymore.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * AUTHORS: Add Jérémy Demeule as contributor.
        * NEWS: Update.

        Add an interactive shell.

        * src/vm/cpu.hh, src/vm/cpu.cc:
        Add a print operator.
        * src/vm/virtual_machine.hh:
        Add breakpoint suport and some shell entry points for step by step
        execution.

        * src/shell/cmd.hh,
        * src/shell/shell.cc, src/shell/shell.hh:
        Implement interactive shell, using readline.
        * src/shell/shell-tasks.cc, src/shell/shell-tasks.hh:
        Add shell's tasks.
        * src/shell/Makefile.am:
        Distribute shell.
        * src/modules.hh:
        Declare shell.

        * configure.ac:
        Check for readline library. Add shell directory.
        * src/Makefile.am:
        Add shell directory and link with readline.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/vm/cp0.hh:
        Add control coprocessor.
        * src/vm/Makefile.am:
        Distribute it.
        * src/vm/cpu.hh, src/vm/cpu.cc,
        * src/vm/virtual_machine.hh:
        Use control coprocessor.
        * dev/mipsy.py,
        * dev/mipsy.xml:
        Add instructions to move registers to/from control coprocessor.
        * dev/inst-solver-gen.py,
        Check register identifiers for control coprocessor instructions.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * dev/inst-solver-gen.py,
        * dev/parse-asm-scan-gen.py,
        * src/inst/register.hh:
        Support generic register identifiers.
        * NEWS:
        Document it.
        * tests/lexical/unlimited-regs.s:
        Move to...
        * tests/solve/unlimited-regs.s:
        This file.
        * tests/lexical/Makefile.am,
        * tests/solve/Makefile.am:
        Update.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * dev/mipsy.py:
        Add a C++ variable identifier writer.
        * dev/inst-solver-gen.py:
        Generate program solver (interface and implementation).
        * dev/inst-makefile-gen.py:
        Use the generator.
        * src/inst/program_solver.hh:
        Remove now generated file.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        * src/common.hh,
        * src/mipsy.cc,
        * src/inst/exp.hh,
        * src/inst/register.hh,
        * src/vm/cpu.hh, src/vm/cpu.cc:
        Use STL type naming style on enumerations.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        * dev/inst-nodes-gen.py,
        * src/inst/exp.cc:
        Display the identifier of labels and registers instead of
        their address.

from  Benoît Perrot  <benoit@lrde.epita.fr>
        More documentation.

        * doc/copying.texi,
        * doc/internal.texi,
        * doc/invoking.texi,
        * doc/language.texi:
        Remove files, move their content to...
        * doc/mipsy.texi:
        ... this file.
        Augment documentation on invocation.

from  Benoît Perrot  <benoit@lrde.epita.fr>

        Homogenize attribute names.

        * dev/inst-builder-gen.py, src/inst/program_builder.cc,
        * src/inst/data_section.hh, src/inst/data_section.cc,
        * src/inst/exp.hh, src/inst/exp.cc,
        * src/inst/label.cc, src/inst/label.hh,
        * src/inst/program.hh,
        * src/inst/program_solver.hh,
        * src/inst/register.hh,
        * src/inst/section.hh,
        * src/inst/text_section.hh, src/inst/text_section.cc,
        * src/misc/deref.hh, src/misc/escape.hh,
        * src/task/task.cc, src/task/task.hh
        * src/task/task_register.cc, src/task/task_register.hh
        * src/vm/cpu.hh, src/vm/cpu.cc
        * src/vm/memory.hh, src/vm/segment.hh,
        * src/vm/table.hh,
        * src/vm/virtual_machine.hh:
        Rename...
        (_program, fill_delay_slot_p, _size, bytes, immediate, integer)
        (label, kind, left, right, set, set_node, _text_section, _data_section)
        (_pc, _program, kind, index, labels, offsets, insts, postr, s)
        (print_delim, _long_opt, _short_opt, _module, _description)
        (dependencies, _execute, _modules, _tasks, _enabled_tasks, mmu, GPR)
        (hi, lo, pc, unlimited, halt, istr, ostr, call_stack)
        (check_callee_save_p, trace_p, bubble, pipeline, heap, stack)
        (stack_top, _size, _bytes, _scopes, memory, mmu, cpu)
        as...
        (program_, fill_delay_slot_p_, size_, bytes_, immediate_, integer_)
        (label_, kind_, left_, right_, set_, set_node_, text_section_)
        (data_section_, pc_, program_, kind_, index_, labels_, offsets_)
        (insts_, postr_, s_, print_delim_, long_opt_, short_opt_, module_)
        (description_, dependencies_, execute_, modules_, tasks_)
        (enabled_tasks_, mmu_, GPR_, hi_, lo_, pc_, unlimited_, halt_, istr_)
        (ostr_, call_stack_, check_callee_save_p_, trace_p_, bubble_)
        (pipeline_, heap_, stack_, stack_top_, size_, bytes_, scopes_)
        (memory_, mmu_, cpu_)