iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-2/+2
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	6	-12/+12
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	2	-45/+208
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	2	-33/+138
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-3/+9
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-6/+6
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	2	-3/+5
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	5	-19/+147
*	Improved unrolling manager.	Alan Mishchenko	2013-09-05	1	-94/+92
*	Improved unrolling manager.	Alan Mishchenko	2013-09-05	1	-74/+123
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-02	1	-0/+242
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-02	3	-1/+28
*	Bug fix in 'int'.	Alan Mishchenko	2013-08-05	1	-2/+2
*	Bug fix in 'int'.	Alan Mishchenko	2013-08-05	1	-42/+35
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	1	-0/+210
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	4	-4/+49
*	Experiment with 'pdr'.	Alan Mishchenko	2013-07-19	3	-0/+63
*	Bug fix in the timeout for 'int'.	Alan Mishchenko	2013-07-01	1	-1/+1
*	Adding timeout to the interpolant computation procedure.	Alan Mishchenko	2013-06-28	2	-2/+19
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-21	2	-2/+2
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	22	-220/+220
*	Changing how often timeout is checked in the SAT solver and several applicati...	Alan Mishchenko	2013-05-27	2	-2/+2
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	2	-0/+422
*	g++ warnings.	Alan Mishchenko	2013-05-19	1	-1/+1
*	Improvements to 'bmc3'.	Alan Mishchenko	2013-05-18	1	-158/+11
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-5/+53
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-0/+4
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-0/+1
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-3/+9
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	4	-6/+15
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	4	-3/+28
*	SAT variable profiling (undo).	Alan Mishchenko	2013-05-18	3	-19/+0
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	3	-0/+19
*	SAT variable profiling (undo).	Alan Mishchenko	2013-05-18	3	-19/+0
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	3	-0/+19
*	Changing per-output runtime limit to be in miliseconds.	Alan Mishchenko	2013-05-09	1	-2/+2
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	1	-1/+3
*	Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).	Alan Mishchenko	2013-05-03	2	-10/+45
*	Adding rollback for the other solver.	Alan Mishchenko	2013-04-25	3	-3/+141
*	Adding callback to bmc3, sim3, pdr in the multi-output mode.	Alan Mishchenko	2013-04-17	2	-8/+14
*	Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.	Alan Mishchenko	2013-04-09	2	-13/+34
*	Updating bmc3 printout to show the number of failed outputs.	Alan Mishchenko	2013-03-30	1	-14/+12
*	Updating bmc3 printout to show the number of failed outputs.	Alan Mishchenko	2013-03-30	1	-5/+11
*	Compiler warnings.	Alan Mishchenko	2013-03-30	1	-3/+3
*	Updating bmc3 printout to show the number of failed outputs.	Alan Mishchenko	2013-03-30	1	-4/+6
*	Added dumping QDIMACS files in command 'qbf'.	Alan Mishchenko	2013-03-27	2	-6/+34
*	Fixing the dump of SAT solver into a CNF file.	Alan Mishchenko	2013-03-26	3	-17/+18
*	Fixing gap timeout in 'bmc3'.	Alan Mishchenko	2013-03-13	1	-6/+40
*	Making 'bmc3' with switch '-a' not save CEXes.	Alan Mishchenko	2013-03-07	1	-13/+13