Commits · 625ccde611da6eecf3bfdefc7632cd7a801767df · lvzhengyang / abc · GitLab

17 Aug, 2021 1 commit
- Improving AIG to Verilog converter. · 4da6cc89
  Alan Mishchenko committed 3 years ago
  
  4da6cc89 Browse File
13 Aug, 2021 1 commit
- Suggested changes to collect and pass timing information (compiler issues). · 0deb8bf6
  Alan Mishchenko committed 3 years ago
  
  0deb8bf6 Browse File
09 Jul, 2021 2 commits
- Experiments with MUX decomposition. · 4116e13b
  Alan Mishchenko committed 3 years ago
  
  4116e13b Browse File
- Experiments with MUX decomposition. · 5a135c87
  Alan Mishchenko committed 3 years ago
  
  5a135c87 Browse File
25 Jun, 2021 1 commit
- Adding place holder file for resub experiments. · 28ba2c52
  Alan Mishchenko committed 3 years ago
  
  28ba2c52 Browse File
20 Jun, 2021 1 commit
- Experiments with LUT mapping for small functions. · b4f099c5
  Alan Mishchenko committed 3 years ago
  
  b4f099c5 Browse File
08 May, 2021 1 commit
- Updating cost function in &save/&load. · 13a0bb97
  Alan Mishchenko committed 3 years ago
  
  13a0bb97 Browse File
30 Dec, 2020 1 commit
- Experiments with simulation. · d0efef2f
  Alan Mishchenko committed 4 years ago
  
  d0efef2f Browse File
21 Dec, 2020 1 commit
- Compiler warnings. · f06217e2
  Alan Mishchenko committed 4 years ago
  
  f06217e2 Browse File
14 Nov, 2020 1 commit
- Upgrading the SAT solvers. · bab4c1dd
  Alan Mishchenko committed 4 years ago
  
  bab4c1dd Browse File
13 Nov, 2020 1 commit
- Duplicating Glucose package. · b3d3f7dd
  Alan Mishchenko committed 4 years ago
  
  b3d3f7dd Browse File
09 Nov, 2020 1 commit
- Experiments with SAT sweeping. · 40bfe2fb
  Alan Mishchenko committed 4 years ago
  
  40bfe2fb Browse File
08 Jul, 2020 1 commit
- Adding new resub code. · 0b734d10
  Alan Mishchenko committed 4 years ago
  
  0b734d10 Browse File
03 Apr, 2020 1 commit
- Extend ISOP to return the truth table. · 5a20a27c
  Alan Mishchenko committed 4 years ago
  
  5a20a27c Browse File
22 Feb, 2020 2 commits
- Adding commands to generate data for experiments. · c8894603
  Alan Mishchenko committed 5 years ago
  
  c8894603 Browse File
- Adding commands to generate data for experiments. · d1f10f32
  Alan Mishchenko committed 5 years ago
  
  d1f10f32 Browse File
21 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · 3c586f88
  Alan Mishchenko committed 5 years ago
  
  3c586f88 Browse File
06 Feb, 2020 1 commit
- Experimental simulation based code. · 081afc3f
  Alan Mishchenko committed 5 years ago
  
  081afc3f Browse File
15 Dec, 2019 1 commit
- Adding experimental command. · 53d4d651
  Alan Mishchenko committed 5 years ago
  
  53d4d651 Browse File
27 Oct, 2019 1 commit
- Experiments with simulation. · 5a118446
  Alan Mishchenko committed 5 years ago
  
  5a118446 Browse File
17 Apr, 2019 1 commit
- Adding new command handler for experimental procedures. · 3e9bc99e
  Alan Mishchenko committed 5 years ago
  
  3e9bc99e Browse File
28 Jan, 2019 1 commit
- Experiments with memory abstraction. · 0699c43a
  Alan Mishchenko committed 6 years ago
  
  0699c43a Browse File
23 Jan, 2019 1 commit
- Experiments with memory abstraction. · f86cfc93
  Alan Mishchenko committed 6 years ago
  
  f86cfc93 Browse File
15 Jan, 2019 1 commit
- Procedures to generate constant-argument multipliers. · 1779f545
  Alan Mishchenko committed 6 years ago
  
  1779f545 Browse File
09 Jan, 2019 1 commit
- Procedures to generate constant-argument multipliers. · f3ba29b3
  Alan Mishchenko committed 6 years ago
  
  f3ba29b3 Browse File
12 Oct, 2018 1 commit
- Extending extra library with additional ZDD-based procedures. · 5560011f
  Alan Mishchenko committed 6 years ago
  
  5560011f Browse File
01 Oct, 2018 1 commit
- Experiments with word-level retiming. · 9e787c71
  Alan Mishchenko committed 6 years ago
  
  9e787c71 Browse File
16 Sep, 2018 1 commit
- Expriments with functions. · c9e520e2
  Alan Mishchenko committed 6 years ago
  
  c9e520e2 Browse File
02 Aug, 2018 1 commit
- Experiments with function enumeration. · 94f6bfef
  Alan Mishchenko committed 6 years ago
  
  94f6bfef Browse File
23 Jul, 2018 1 commit
- Procedure to return seq equivalences. · 7732b9a2
  Alan Mishchenko committed 6 years ago
  
  7732b9a2 Browse File
04 Jul, 2018 1 commit
- Adding command 'majgen'. · f49e8f0f
  Alan Mishchenko committed 6 years ago
  
  f49e8f0f Browse File
06 Jun, 2018 1 commit
- Experiments with path enumeration. · aae37ffd
  Alan Mishchenko committed 6 years ago
  
  aae37ffd Browse File
23 May, 2018 1 commit
- Simple BDD package. · 3697bdbe
  Alan Mishchenko committed 6 years ago
  
  3697bdbe Browse File
16 Apr, 2018 1 commit
- Memory abstraction. · 09810301
  Alan Mishchenko committed 6 years ago
  
  09810301 Browse File
22 Mar, 2018 1 commit
- Adding switch 'scorr -f' to dump inductive invariant as an AIG. · 53e7d1f9
  Alan Mishchenko committed 6 years ago
  
  53e7d1f9 Browse File
01 Mar, 2018 1 commit
- Adding parameters and improvements to %blast. · 7e9f3f02
  Alan Mishchenko committed 7 years ago
  
  7e9f3f02 Browse File
29 Jan, 2018 1 commit
- Adding support of reading and writing designs using a new internal format. · 99ddb640
  Alan Mishchenko committed 7 years ago
  
  99ddb640 Browse File
27 Jan, 2018 1 commit
- Experiments with circuit-based SAT. · 99c4dda7
  Alan Mishchenko committed 7 years ago
  
  99c4dda7 Browse File
29 Dec, 2017 1 commit
- New exact synthesis command 'allexact'. · 7d7ce3ec
  Alan Mishchenko committed 7 years ago
  
  7d7ce3ec Browse File
26 Nov, 2017 1 commit
- Improvements to AIG-based quantification. · c681506b
  Alan Mishchenko committed 7 years ago
  
  c681506b Browse File