summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* Switch -A <file_name> to specify file name for dumping abstrated model with &...Alan Mishchenko2012-06-212-2/+4
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-6/+8
* Misc changes.Alan Mishchenko2012-05-211-2/+2
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-201-1/+2
* Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ...Alan Mishchenko2012-05-201-1/+1
* Misc changes.Alan Mishchenko2012-05-193-1/+69
* Better resolution of CO drivers. Should impact the QoR after 'if'.Alan Mishchenko2012-05-152-0/+55
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-033-6/+14
* Misc changes.Alan Mishchenko2012-05-021-1/+2
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-013-31/+60
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-0/+13
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-0/+8
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-283-7/+48
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-2/+2
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-282-5/+40
* Writing status file vta.status when dumping intermediate abstraction in &vta.Alan Mishchenko2012-04-271-1/+3
* Updating the counter of finished frames when dumping intermediate abstraction...Alan Mishchenko2012-04-271-0/+3
* Misc changes.Alan Mishchenko2012-04-221-1/+5
* Adding dumping abstractions in &vta.Alan Mishchenko2012-04-151-2/+5
* Added/moved several APIs.Alan Mishchenko2012-04-101-4/+0
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-071-2/+2
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-072-0/+37
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-302-0/+13
* Exploration of ISO and minor changes.Alan Mishchenko2012-03-131-7/+104
* Updating &test to call full check.Alan Mishchenko2012-03-101-1/+1
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-0926-102/+102
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0969-618/+618
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0962-503/+503
* Do not cancel the current abstraction when a new refinement is discovered in ...Alan Mishchenko2012-03-091-3/+3
* Commenting out verbose statements.Alan Mishchenko2012-03-081-4/+4
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-2/+2
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-6/+134
* Adding features related to the communication bridge.Alan Mishchenko2012-03-021-9/+77
* Redirecting printf messages.Alan Mishchenko2012-03-021-50/+42
* Added skipping &iso when there is only one PO.Alan Mishchenko2012-02-291-0/+2
* Adding flag -s to &put to disable status clearing.Alan Mishchenko2012-02-221-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-201-11/+44
* Isomorphism checking code.Alan Mishchenko2012-02-204-129/+580
* Isomorphism checking code.Alan Mishchenko2012-02-192-10/+13
* Isomorphism checking code.Alan Mishchenko2012-02-193-18/+144
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-196-14/+27
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-193-219/+3
* Isomorphism checking code.Alan Mishchenko2012-02-191-55/+201
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-191-1/+1
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-192-3/+7
* Isomorphism checking code.Alan Mishchenko2012-02-182-875/+537
* Isomorphism checking code.Alan Mishchenko2012-02-171-195/+273
* Isomorphism checking code.Alan Mishchenko2012-02-172-8/+196
* Isomorphism checking code.Alan Mishchenko2012-02-172-8/+15
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 10:57:31 +0000