26.12.08	- Term::SO_CoverVector
			- PLA::LoadPLA corrected. Uniformly interprets all PLA types (supports even r)			
31.12.08	- new project: Split_udc
			- new project: MergePLAs
1.1.09		- Term::tmp variable
3.1.09		- bitvector
			- function parameters to const
			- AppendTerm from ( Term *t ) to ( const Term &t )
			- AppendPLA from ( PLA *_pla ) to ( const PLA &_pla )
4.1.09		- list<Term> Term::Sharp( const Term& t ) const
			- PLA *PLA::Sharp( PLA &_pla )
			- PLA *PLA::Sharp( const Term &t ) const
9.1.09		- PLA::getGEs
			- new project: GetInfo
			- Term::Equal IM
			- PLA *PLA::JoinPLAsByInputs( PLA &_pla )
			- list<Term> *PLA::FindTerm( const string t );
			- bool PLA_type::operator== ( const PLA_type &_type ) const
			- bool PLA_type::operator!= ( const PLA_type &_type ) const
10.1.09		- PLA::keep_TT
			- Algorithms directory
			- PLA *PLA::JoinPLAsByInputs( PLA &_pla ) moved to PLA_algorithms.cpp
			- list<Term> Term::Sharp( const Term& t ) const moved to Sharp.cpp
			- PLA *PLA::Sharp( PLA &_pla ) moved to Sharp.cpp
			- PLA *PLA::Sharp( const Term &t ) const moved to Sharp.cpp
15.1.09		- string getIName(const unsigned int i) const;
			- string getOName(const unsigned int i) const;
			- void setIName(const unsigned int i, const string name);
			- void setOName(const unsigned int i, const string name);
24.1.09		- Getinfo - corrected.
			- AuraCover (not functionous yet)
2.2.09		- void PLA::RemoveUselessTerms()
5.2.09		- AuraCover functioning, but there are static variables
7.2.09		- AuraCover finished
			- Sharp moved to PLA_operations
			- list<Term>::iterator PLA::AppendTerm( const string iv, const string ov )
			- PLA_operations: PLAComplement
14.2.09		- PLA_operations: TermComplement - OM processing support
			- Not enough memory handled
19.2.09		- bug in bitvector fixed
21.2.09		- keepTT problems solved
28.2.09		- "Term" class divided into "Term" and "Cube"
			- "SoPLA" class introduced
7.3.09		- PLA:F, D, R converted to Cube
			- Cube::GetInputs
			- Term:GetOutputs
			- PLA_operations: Sharp for SoPLA
			- PLA_operations: Sharp improved
			- RemoveAbsorbed moved from Cover to PLA
14.3.09		- New project - Split_outputs
28.3.09		- New project - Asynch_Multilevel
			- Cube:: inames
			- Blif class introduced
1.3.09		- Blif::LoadBlif
			- Blif::SaveBlif
			- Blif constructors
4.4.09		- Asynch_Multilevel
			- Blif:: some new methods
10.4.09		- Blif:: LoadBlif corrected
21.4.09		- PLA:: F, D, R converted to vector<SoPLA>.
			- PLA::Clear() to PLA::clear()
			- SoPLA::clear()
			- Blif::clear()
			- PLA PLA::( SoPLA &sopla )
28.4.09		- Blif: constant nodes support
3.5.09		- PLA_operations - SoPLA *PLATermSharp( SoPLA &pla, const Cube &t ) corrected
			- void SoPLA::RemoveAbsorbed(void)
			- list<Cube>::iterator SoPLA::DeleteTerm(const list<Cube>::iterator ti)
			- PLA_operations - Cofactor corrected
5.5.09		- Parity project
9.5.09		- SoPLA::name introduced
			- SoPLA::type introduced
			- Blif - data moved to SoPLA
			- PLA::tmp moved to SoPLA
			- improved PLA <-> SoPLA conversions
			- new setters&getters in SoPLA
			- SoPLA, PLA_operations included in all projects
			- Parity project functionous
			- Bitvector - logic operations instead of division
16.5.09		- PLA::Splice, SoPLA::Splice
			- PLA::GenerateOnSet, GenerateOffSet, GenerateDCSet - computed by a complement
			- minor safety improvements in PLA class
			- PLA::init, SoPLA::init
			- slight changes in CD-search
19.5.09		- Network, Node, Connection classes
			- Network::Mergenodes
13.6.09		- new methods in Network, Node, Connection classes
19.6.09		- .gate support in Blif
			- GetInfo for Blif
20.6.09		- Network - indexed
			- Network::SaveMblif
27.6.09		- Network::names
			- Network::DerivePorts
6.7.09		- Network::SaveMBlif corrected
18.7.09		- Network - several new methods, improved old methods
25.7.09		- PLA::splice - TT support
			- PLA::getTerm -> getTermByIndex
27.9.09		- new structure of the whole project, Linux support
			- SoTerm renamed to Cube
28.9.09		- PLA_op class created from PLA_operations
31.10.09	- GroupOutputs project
			- SL_partition project
27.11.09	- SoPLA::getGEs computation corrected (inverters were not accounted)
			- Network::GetDelay
5.12.09		- GroupOutputs - finished
			- SL_Partition - finished
			- PLA::FindIName, FindOName
			- PLA::LoadPLA - corrected reading of PLAs having output vector on a separate line
27.12.09	- improved notwork connections support (Network, Connection, Node)
28.12.09	- completely re-elaborated connections support. Connection class deleted. Signal class introduced. NameStruct deleted.
23.1.10		- hashtable for signals names
			- Network::FindSignal returns iterator
4.2.10		- Network::GetDelay
			- Asynch_DIMS - dims2
6.2.10		- DFF support in reading Blif. DFF property in SoPLA. Temporary!
14.2.10		- Network::DeleteNode - inconsistency in signal target nodes corrected
			- Network::ReconnectInput, ReconnectOutput
20.2.10		- BlowupNetwork - branch duplication completed
6.3.10		- Network: computation of node levels
1.5.10		- Negate project
			- minor improvements in PLA, Network (regarding names)
5.6.10		- GroupOutputs: -omax introduced
6.6.10		- GetInfo - improved
			- Parity - grouping support
26.6.10		- Resynth_order project
3.7.10		- Resynth - v. 2.0
			- Boom 3.0e
5.7.10		- Changed the structure of the Solution. Kernel and Multilevel_kernel projects created. These are linked as libraries to other projects
			- Cube, Term - new implementation independent setters and getters
			- !!!!!! Setters and getters partially exchanged in all projects. Hopefully without errors.
10.7.10		- BOOM project improved
		    - Complement class (Espresso-like computation)
17.7.10		- Split_output project improved - blif support
			- Cube, Term, SoPLA, PLA, Node, Network::GetInput(), GetOutput() renamed to input(), output()
			- BOOM project improved
			- PLA consistency check
20.7.10		- GroupOutputs - corrected error in FC-grouping
21.7.10		- PLA::Sort
			- Asynch_Multilevel - node don't care support
22.7.10		- PLA:MergePLAs
			- Asynch_Multilevel - node don't care support yet improved (on- and off-set nodes needn't have equal support)
			- ============== The last stable version compatible with chars =============
24.7.10		- bitvector representation of cubes
25.7.10		- the work on bitvector representation of cubes continues
26.7.10		- Asynch_Multilevel - constants support
			- bitvector improved and corrected
			- the work on bitvector representation of cubes continues
29.7.10		- Test project
31.7.10		- Asynch_Multilevel - improved
3.8.10		- Asynch_Multilevel - improved
			- PLA::RemoveAllDCCols - constants support
5.8.10		- Asynch_Multilevel - improved
			- PLA::ToSoPLA - corrected error
8.8.10		- !!! Blif::Blif( const Blif &orig ) changed to Blif::Blif( const Blif *orig ) !!!
			- Asynch_Multilevel - improved
11.8.10		- Some platform compatibility problems solved. Makefile updated
19.8.10		- All projects made fully platform compatible
21.8.10		- some errors in Complement corrected, class rewritten
			- Blif: exdc directive ignored (terminates reading the file)
23.8.10		- Term::contains - all types support
			- Complement rewritten
24.8.10		- some improvements in Cube, SoPLA classes, bitvector
			- methods of Cube renamed
19.9.10		- PermuteSynthesis - AIG nodes counting support		
25.9.10		- BOOM - FC-Min corrected
			- Term, SoPLA, PLA rewritten, names of methods changed
6.10.10		- Term::RemoveAllDCCols corrected
9.10.10		- PLA_operations::Sharp(PLA, PLA) extended
12.10.10	- GetInfo - -l and -L in Blif support
			- Resynth improved
14.10.10	- Resynth improved




			

Last modified: 14.10.