2 commits

Author	SHA1	Message	Date
Eelco Dolstra	6baa2c4420	* Get rid of identifiers since they are redundant now. This greatly ... simplifies stuff. * The format of Nix expressions and the database schema changed because of this, so it's best to delete old Nix installations.	2003-10-08 15:06:59 +00:00
Eelco Dolstra	5d4171f7fb	* Synchronise terminology with the ICSE paper (e.g., slice -> closure, ... fstate -> Nix expression). * Fix src/test.cc.	2003-10-07 12:27:49 +00:00

Renamed from src/fstate.cc (Browse further)