news

2008-12-05

Version 1.0 of the cspim MIPS simulator released. This fixes the following previously outstanding issues:

Build process moved to CMake, so the simulator can be successfully cross-compiled with mipsel-elf-gcc.
Designed error-reporting scheme.

As a consequence of these fixes, CSPIM can now successfully simulate itself; demo programs are in the archive. However, forwarding of system calls from the innermost program to the host program is not yet implemented.

2008-08-17

Added ext2frag program to the software section.

2008-07-26

Added a new book ("A Modern Introduction to Probability and Statistics: Understanding Why and How") to the bookshelf (mathematics).

2008-06-22

PROLOG tutorial moved to its own page together with errata.

2008-06-01

Updated bookshelf (the philosophy page).

2008-03-22

First public release of the cspim MIPS simulator.

2008-03-16

Updated bookshelf (philosophy/todo pages), and reorganized the writings section.

2008-01-29

Added lecture notes from the course on formal verification of systems. Read more about them on the writings page.

2008-01-23

Added short description of the Trollringen book.

2007-11-11

Added C tutorial to the writings page.