summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-1/+24
* Temporarily (?) undoing previous change because it is incompatible with old A...Alan Mishchenko2013-09-051-3/+4
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
* Improved unrolling manager.Alan Mishchenko2013-09-051-2/+2
* Adding new line (\n) after 'c' at the beginning of the comment section in AIG...Alan Mishchenko2013-08-291-1/+4
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-282-0/+46
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-202-0/+37
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-5/+5
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+2
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-4/+4
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-1/+1
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-36/+46
* Bug fix in &if -z.Alan Mishchenko2013-08-141-5/+16
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-3/+2
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-0/+29
* Enabling pin sorting in &if.Alan Mishchenko2013-07-221-0/+3
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-161-2/+2
* New technology mapper.Alan Mishchenko2013-07-142-2/+7
* New technology mapper.Alan Mishchenko2013-07-131-0/+3
* New technology mapper.Alan Mishchenko2013-07-121-0/+6
* New technology mapper.Alan Mishchenko2013-07-122-1855/+0
* Fix to &era to skip synthesis and print verbose output more often.Alan Mishchenko2013-07-101-2/+3
* Updating new mapper.Alan Mishchenko2013-06-301-366/+379
* Updating new mapper.Alan Mishchenko2013-06-301-76/+139
* Updating new mapper.Alan Mishchenko2013-06-301-150/+114
* Updating new mapper.Alan Mishchenko2013-06-301-207/+237
* Updating new mapper.Alan Mishchenko2013-06-301-8/+29
* Updating new mapper.Alan Mishchenko2013-06-301-13/+64
* Updating new mapper.Alan Mishchenko2013-06-291-110/+386
* Improvemesnts to the mapper.Alan Mishchenko2013-06-291-1/+4
* Updating new mapper.Alan Mishchenko2013-06-281-241/+309
* Data-structure experiment.Alan Mishchenko2013-06-271-85/+82
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-1/+1
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-2512-448/+245
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-252-12/+15
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-253-225/+190
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-221-9/+15
* Compiler warnings.Alan Mishchenko2013-06-182-1/+1
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-044-8/+438
* Multiplexer profiling.Alan Mishchenko2013-05-275-129/+369
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2730-258/+258
* Counter-example depth minimization.Alan Mishchenko2013-05-223-6/+98
* Windows Visual Studio 2008 warnings.Alan Mishchenko2013-05-202-3/+3
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* Bug fix in &frames.Alan Mishchenko2013-05-191-25/+6
* Bug fix in &mprove.Alan Mishchenko2013-05-191-2/+2
* Added new switched to command &frames.Alan Mishchenko2013-05-192-6/+45
* Added switch -I <file_name> to &sim to perform simulation with the user's sim...Alan Mishchenko2013-05-181-0/+95
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 16:08:23 +0000