summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+3
* Integrating sweeping information.Alan Mishchenko2013-02-232-3/+5
* Allowing for Verilog names of the type slash-<name>-space-[N].Alan Mishchenko2013-02-221-2/+8
* Integrating sweeping information.Alan Mishchenko2013-02-201-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-7/+8
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-202-0/+24
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-191-27/+35
* Integrating sweeping information.Alan Mishchenko2013-02-182-6/+136
* Integration of timing manager.Alan Mishchenko2013-02-031-1/+1
* Integration of timing manager.Alan Mishchenko2013-02-011-0/+1
* Integration of timing manager.Alan Mishchenko2013-01-301-0/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-303-80/+86
* Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.Alan Mishchenko2013-01-251-0/+19
* Integration of timing manager.Alan Mishchenko2013-01-251-3/+10
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-1/+2
* Integration of timing manager.Alan Mishchenko2013-01-231-2/+4
* Fixing C++ compilation issues.Alan Mishchenko2013-01-082-4/+8
* Technology mapper.Alan Mishchenko2013-01-081-0/+253
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-152-5/+51
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-132-10/+22
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-102-0/+62
* Unifification of custom extensions.Alan Mishchenko2012-12-103-32/+31
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-3/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-6/+5
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-082-1/+118
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-2/+2
* Counter-example analysis and optimization.Alan Mishchenko2012-11-292-0/+20
* Counter-example analysis and optimization.Alan Mishchenko2012-11-282-0/+12
* DSD manager.Alan Mishchenko2012-11-201-5/+5
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-11/+12
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-0/+59
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Improved DSD.Alan Mishchenko2012-11-111-3/+46
* Improved DSD.Alan Mishchenko2012-11-061-0/+52
* Improved DSD.Alan Mishchenko2012-11-061-45/+164
* Improved DSD.Alan Mishchenko2012-11-031-1/+2
* Improved DSD.Alan Mishchenko2012-11-021-21/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-10/+2
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-462/+69
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-84/+101
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+38
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-4/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-304-80/+906
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 17:02:54 +0000