summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Merged alanmi/abc into defaultMathias Soeken2016-09-091-0/+53
|\
| * Experimental code for polynomial construction.Alan Mishchenko2016-09-051-0/+53
* | BMS fixes and start gates parameter.Mathias Soeken2016-08-251-6/+18
* | Merged alanmi/abc into defaultMathias Soeken2016-08-211-6/+18
|\|
| * Merge with parent.Mathias Soeken2016-08-181-3/+3
| |\
| | * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-2/+2
| * | Missing code for CLI integration.Mathias Soeken2016-08-161-2/+2
| * | Provide number of max cubes as parameter.Mathias Soeken2016-08-161-4/+16
| |/
* | Merged alanmi/abc into defaultMathias Soeken2016-08-151-4/+8
|\|
| * Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-151-4/+8
* | Exact synthesis (revert one change).Mathias Soeken2016-08-091-1/+1
* | Exact synthesis.Mathias Soeken2016-08-091-1/+1
* | Resource constraints in exact synthesis, arrival times in exact command.Mathias Soeken2016-08-081-12/+50
|/
* Improvements in exact synthesis.Mathias Soeken2016-08-081-5/+9
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-1/+1
* Read and write to exact store.Mathias Soeken2016-08-041-6/+75
* Exact synthesis minimization.Mathias Soeken2016-08-041-4/+121
* Tests and bug fixes for exact store manager.Mathias Soeken2016-08-021-1/+3
* Check whether exact network can be found.Mathias Soeken2016-07-301-5/+11
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-3/+21
* Several updates to exact synthesis.Mathias Soeken2016-07-281-13/+63
* Extending command 'dump_equv' to match inputs by name.Alan Mishchenko2016-07-271-1/+1
* Extending command 'dump_equv' to match inputs by name.Alan Mishchenko2016-07-271-8/+16
* Extending command 'exact' to handle delay constraints.Alan Mishchenko2016-07-231-6/+18
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-2/+6
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-1/+78
* Extension in the detection code.Alan Mishchenko2016-07-191-5/+9
* Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...Alan Mishchenko2016-07-161-0/+57
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-151-11/+22
* Small change to make &if not abort the scripts.Alan Mishchenko2016-07-041-1/+1
* Experiments with edge-based mapping.Alan Mishchenko2016-06-291-9/+25
* New command 'phase_map'.Alan Mishchenko2016-06-171-0/+55
* Adding a switch 'retime -o' to use old flop naming conventions.Alan Mishchenko2016-06-161-4/+10
* Experiments with edge-based mapping.Alan Mishchenko2016-06-151-3/+13
* Adding switch -P <num> to command 'cover'.Alan Mishchenko2016-06-141-6/+20
* Detecting properties of internal nodes.Alan Mishchenko2016-06-141-2/+2
* Detecting properties of internal nodes.Alan Mishchenko2016-06-071-0/+53
* Switch 'fx -x' to use only canonical divisors in 'fx'.Alan Mishchenko2016-06-061-4/+8
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-041-3/+19
* Small changes for today's experiments.Alan Mishchenko2016-06-031-0/+6
* Merged alanmi/abc into defaultBruno Schmitt2016-06-021-0/+1
|\
| * Silencing several messages.Alan Mishchenko2016-06-011-0/+1
* | Removing the memory saving mode, it is no longer necessary.Bruno Schmitt2016-06-021-9/+3
|/
* Adding switch 'pdr -o' to control using property output in induction.Alan Mishchenko2016-05-251-2/+6
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-201-5/+9
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-2/+2
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-201-23/+23
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-10/+15
* Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.Alan Mishchenko2016-05-191-2/+6
* Bug fix in &demiter.Alan Mishchenko2016-05-161-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-20 02:26:43 +0000