summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added switch -f to 'print_io' to suppress printing flops.Alan Mishchenko2012-02-113-7/+14
* Graph isomorphism checking code.Alan Mishchenko2012-02-1118-536/+1467
* Bug fixes in &cec command.Alan Mishchenko2012-02-102-31/+87
* Bug fix in flop-level abstraction refinement.Alan Mishchenko2012-02-091-1/+2
* Removed unused 'bool' definition and unused memory management macros.Alan Mishchenko2012-02-071-19/+0
* Graph isomorphism checking code.Alan Mishchenko2012-02-022-41/+123
* Trying to fix a false-positive due to incorrect inductive termination check i...Alan Mishchenko2012-02-011-3/+9
* Lazy man's logic synthesis.Alan Mishchenko2012-02-013-90/+319
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+7
* Graph isomorphism checking code.Alan Mishchenko2012-01-306-12/+217
* Graph isomorphism checking code.Alan Mishchenko2012-01-295-3/+845
* Moving Vec_IntPrint to where it belongs.Alan Mishchenko2012-01-292-20/+20
* Variable timeframe abstraction.Alan Mishchenko2012-01-282-7/+8
* Variable timeframe abstraction.Alan Mishchenko2012-01-281-2/+7
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-0/+206
* Generation of dual-rail miter.Alan Mishchenko2012-01-282-10/+16
* Generation of dual-rail miter.Alan Mishchenko2012-01-283-0/+184
* Variable timeframe abstraction.Alan Mishchenko2012-01-282-16/+19
* Variable timeframe abstraction.Alan Mishchenko2012-01-272-3/+15
* Variable timeframe abstraction.Alan Mishchenko2012-01-276-306/+199
* Variable timeframe abstraction.Alan Mishchenko2012-01-243-25/+45
* Variable timeframe abstraction.Alan Mishchenko2012-01-245-58/+336
* Variable timeframe abstraction.Alan Mishchenko2012-01-233-8/+19
* Added returning counter-example after BMC, which was recently added to 'dprove'.Alan Mishchenko2012-01-231-0/+4
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-232-3/+3
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-223-6/+6
* Variable timeframe abstraction.Alan Mishchenko2012-01-213-176/+248
* minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, a...Baruch Sterin2012-01-211-3/+3
* add arch_flags to .hgignoreBaruch Sterin2012-01-211-0/+3
* pyabc: adapt build to recent changes in the rest of ABCBaruch Sterin2012-01-212-22/+3
* Major restructuring of the code.Alan Mishchenko2012-01-21898-32023/+4252
* Deleting file added by mistake.Alan Mishchenko2012-01-201-357/+0
* Preserving CI/CO varible names when moving between the main space and &-space.Alan Mishchenko2012-01-201-8/+25
* Variable timeframe abstraction.Alan Mishchenko2012-01-204-28/+109
* Variable timeframe abstraction.Alan Mishchenko2012-01-207-208/+266
* New hierarchy manager.Alan Mishchenko2012-01-201-7/+13
* New hierarchy manager.Alan Mishchenko2012-01-191-5/+195
* New hierarchy manager.Alan Mishchenko2012-01-192-21/+29
* Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control B...Alan Mishchenko2012-01-195-20/+48
* New hierarchy manager.Alan Mishchenko2012-01-191-6/+32
* Added switch 'write_counter -f' to output flop values in each time frame.Alan Mishchenko2012-01-183-20/+84
* New hierarchy manager.Alan Mishchenko2012-01-181-2/+36
* New hierarchy manager.Alan Mishchenko2012-01-181-4/+133
* Removing debug print-outs from the SAT solver.Alan Mishchenko2012-01-171-2/+2
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-175-31/+367
* New hierarchy manager.Alan Mishchenko2012-01-173-10/+162
* Small bug induced by changes in the SAT solver.Alan Mishchenko2012-01-171-0/+2
* Added notification about exceeding the number of nodes.Alan Mishchenko2012-01-171-0/+2
* New hierarchy manager.Alan Mishchenko2012-01-172-48/+219
* Variable timeframe abstraction.Alan Mishchenko2012-01-161-211/+159