carpet.git - Cactus FMR driver.

	Commit message (Collapse)	Author	Age
*	Requirements: Move clause class into separate files	Ian Hinder	2013-04-03
\|
*	Requirements: Add comments	Ian Hinder	2013-04-03
\|
*	output more verbose info (variable index and nr of timelevels	Frank Löffler	2013-04-03
\|
*	Requirements: White space cleanup	Erik Schnetter	2013-04-03
\|
*	Requirements: Use vector instead of set to store ignored variables	Erik Schnetter	2013-04-03
\| \| \| \| \|	Use vector instead of set to store ignored variables. Move some code.
*	Requirements: New thorn	Erik Schnetter	2013-04-02
	Move requirement handling code out of Carpet and into a new thorn.