Commits · 2f69fa134e387698c05ea5c1c47f19684e99961f · lvzhengyang / abc · GitLab

03 Mar, 2017 2 commits
- Moving global declarations into 'abcapi.h' and moving it into 'main' package. · 2f69fa13
  Alan Mishchenko committed Mar 02, 2017
  
  2f69fa13 Browse Files
- Macro to prevent writing history file. · 64035e52
  Alan Mishchenko committed Mar 02, 2017
  
  64035e52 Browse Files
02 Mar, 2017 7 commits
- Adding experimental command. · 96a39956
  Alan Mishchenko committed Mar 02, 2017
  
  96a39956 Browse Files
- Adding command 'glitch' for glitch simulation. · d8505990
  Alan Mishchenko committed Mar 02, 2017
  
  d8505990 Browse Files
- Network interface exploration. · fc904409
  Alan Mishchenko committed Mar 02, 2017
  
  fc904409 Browse Files
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed Mar 02, 2017
  
  ff88edd6 Browse Files
- Adding efficient procedure to minimize the set of assumptions (improved literal reordering). · 160d1311
  Alan Mishchenko committed Mar 02, 2017
  
  160d1311 Browse Files
- Adding alternative generalization procedure. · f419f2e8
  Alan Mishchenko committed Mar 01, 2017
  
  f419f2e8 Browse Files
- Adding alternative generalization procedure. · 7747d89c
  Alan Mishchenko committed Mar 01, 2017
  
  7747d89c Browse Files
01 Mar, 2017 5 commits
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed Mar 01, 2017
  
  bd9b7d64 Browse Files
- Fixed a few compilcation issues with Windows compiler. · b71d2ab2
  Alan Mishchenko committed Feb 28, 2017
  
  b71d2ab2 Browse Files
- small tweaks · 007195dd
  Yen-Sheng Ho committed Feb 28, 2017
  
  007195dd Browse Files
- merge · 777c7778
  Yen-Sheng Ho committed Feb 28, 2017
  
  777c7778 Browse Files
- added an option -r to %pdra: proof-based refinement only · 902a78ee
  Yen-Sheng Ho committed Feb 28, 2017
  
  902a78ee Browse Files
28 Feb, 2017 4 commits
- Adding an procedure to write DIMACS. · 99577367
```
Fixing small bugs.
```
  Bruno Schmitt committed Feb 28, 2017
  99577367 Browse Files
- improved profiling in %pdra · d95d51c4
  Yen-Sheng Ho committed Feb 28, 2017
  
  d95d51c4 Browse Files
- added -L to %abs · 43f34ddc
  Yen-Sheng Ho committed Feb 28, 2017
  
  43f34ddc Browse Files
- improved %pdra -L · 46b6ac15
  Yen-Sheng Ho committed Feb 27, 2017
  
  46b6ac15 Browse Files
27 Feb, 2017 3 commits
- %pdra -L: now applies to all types · 9195192f
  Yen-Sheng Ho committed Feb 27, 2017
  
  9195192f Browse Files
- small tweaks · bb3eacf4
  Yen-Sheng Ho committed Feb 27, 2017
  
  bb3eacf4 Browse Files
- Enabling LUT pairing. · ed316797
  Alan Mishchenko committed Feb 27, 2017
  
  ed316797 Browse Files
26 Feb, 2017 6 commits
- fixed a bug · ff745ca1
  Yen-Sheng Ho committed Feb 26, 2017
  
  ff745ca1 Browse Files
- added an option -L to %pdra for limiting the number of muxes · 86b3cb3d
  Yen-Sheng Ho committed Feb 26, 2017
  
  86b3cb3d Browse Files
- small tweaks · 27bdffd5
  Yen-Sheng Ho committed Feb 26, 2017
  
  27bdffd5 Browse Files
- improved %pdra -b · cba376cf
  Yen-Sheng Ho committed Feb 25, 2017
  
  cba376cf Browse Files
- added an option -b to %pdra · a8f6e5c6
  Yen-Sheng Ho committed Feb 25, 2017
  
  a8f6e5c6 Browse Files
- Adding dump of trivial abstraction map at the beginning in &gla -m. · 4ec5ee41
  Alan Mishchenko committed Feb 25, 2017
  
  4ec5ee41 Browse Files
25 Feb, 2017 5 commits
- imported proof-based codes from ufar · a7bc919b
  Yen-Sheng Ho committed Feb 25, 2017
  
  a7bc919b Browse Files
- imported proof-based codes from ufar · 7508a37a
  Yen-Sheng Ho committed Feb 25, 2017
  
  7508a37a Browse Files
- Restoring constraint manager to read old constraint file by default (use… · 7d5b1c57
```
Restoring constraint manager to read old constraint file by default (use 'read_constr -n' to read new format).
```
  Alan Mishchenko committed Feb 25, 2017
  7d5b1c57 Browse Files
- Adding dump of trivial abstraction map at the beginning in &gla -m. · 80773b95
  Alan Mishchenko committed Feb 25, 2017
  
  80773b95 Browse Files
- imported proof-based codes from ufar · 14cf1179
  Yen-Sheng Ho committed Feb 25, 2017
  
  14cf1179 Browse Files
24 Feb, 2017 1 commit
- mege · 06797fb6
  Yen-Sheng Ho committed Feb 24, 2017
  
  06797fb6 Browse Files
23 Feb, 2017 4 commits
- Small changes in the usage message for &gla. · db36c65b
  Alan Mishchenko committed Feb 23, 2017
  
  db36c65b Browse Files
- changed how pdr -t cleans up abs flops · ca0bdde9
  Yen-Sheng Ho committed Feb 23, 2017
  
  ca0bdde9 Browse Files
- added %pdra -a: run with pdr -nct · d5bbf918
  Yen-Sheng Ho committed Feb 23, 2017
  
  d5bbf918 Browse Files
- working on %pdra -m · f01c63f7
  Yen-Sheng Ho committed Feb 22, 2017
  
  f01c63f7 Browse Files
22 Feb, 2017 3 commits
- added an option -m for %pdra · 2f90e5e1
  Yen-Sheng Ho committed Feb 22, 2017
  
  2f90e5e1 Browse Files
- Removing unused procedure. · dd8cc7e9
  Alan Mishchenko committed Feb 22, 2017
  
  dd8cc7e9 Browse Files
- Remapping flops in '%pdra. · 53b1d46b
  Alan Mishchenko committed Feb 21, 2017
  
  53b1d46b Browse Files