Commits · f844fb10575921a51e043da95e29023627166915 · lvzhengyang / abc · GitLab

07 Aug, 2022 1 commit
- Improvements to command 'twoexact'. · 30ddf14c
  Alan Mishchenko committed 2 years ago
  
  30ddf14c Browse File
26 Jun, 2022 1 commit
- Experiments with technology mapping. · 8cf3f542
  Alan Mishchenko committed 2 years ago
  
  8cf3f542 Browse File
15 Nov, 2020 1 commit
- Improvements to the SAT sweeper. · fef0c368
  Alan Mishchenko committed 4 years ago
  
  fef0c368 Browse File
14 Nov, 2020 1 commit
- Upgrading the SAT solvers. · bab4c1dd
  Alan Mishchenko committed 4 years ago
  
  bab4c1dd Browse File
24 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · f4339310
  Alan Mishchenko committed 5 years ago
  
  f4339310 Browse File
22 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · d1f10f32
  Alan Mishchenko committed 5 years ago
  
  d1f10f32 Browse File
06 Apr, 2017 1 commit
- Adding stand-alone cut computation to GIA. · 2373c5b1
  Alan Mishchenko committed 7 years ago
  
  2373c5b1 Browse File
04 Apr, 2017 1 commit
- Experiments with don't-cares. · 44605f5a
  Alan Mishchenko committed 7 years ago
  
  44605f5a Browse File
27 Jan, 2017 1 commit
- Adding visualization of word-level networks Wlc_Ntk_t. · 64d7119d
  Alan Mishchenko committed 8 years ago
  
  64d7119d Browse File
15 Jan, 2017 1 commit
- Updates to arithmetic verification. · 153b71c1
  Alan Mishchenko committed 8 years ago
  
  153b71c1 Browse File
20 Oct, 2016 1 commit
- Fixing accidental change in the project file. · 5e4e815d
  Alan Mishchenko committed 8 years ago
  
  5e4e815d Browse File
28 Jul, 2016 1 commit
- Extending command 'dump_equv' to match inputs by name. · 9895f30d
  Alan Mishchenko committed 8 years ago
  
  9895f30d Browse File
25 Aug, 2015 1 commit
- Changes to be able to compile ABC without CUDD. · eb699bba
  Alan Mishchenko committed 9 years ago
  
  eb699bba Browse File
29 Oct, 2014 1 commit
- Removing dependency on ABC library in the settings. · 8d62c0a3
  Alan Mishchenko committed 10 years ago
  
  8d62c0a3 Browse File
22 Oct, 2014 1 commit
- Preparing to work with C++ code. · a9317eac
  Alan Mishchenko committed 10 years ago
  
  a9317eac Browse File
19 Sep, 2014 1 commit
- Improvements to Boolean matching. · ee727912
  Alan Mishchenko committed 10 years ago
  
  ee727912 Browse File
12 Aug, 2014 1 commit
- Bug fix in &fraig -L <num>. · 99a917ca
  Alan Mishchenko committed 10 years ago
  
  99a917ca Browse File
08 Aug, 2014 1 commit
- Adding delay optimization to synthesis script &syn2. · 68ce0bc1
  Alan Mishchenko committed 10 years ago
  
  68ce0bc1 Browse File
25 Feb, 2014 1 commit
- Changes to LUT mappers. · 9005c6bf
  Alan Mishchenko committed 11 years ago
  
  9005c6bf Browse File
05 May, 2013 1 commit
- Changing the queue to work in the same the array of costs is realloced. · eacfad76
  Alan Mishchenko committed 11 years ago
  
  eacfad76 Browse File
04 May, 2013 1 commit
- Making changes suggested by Mark Jarvin. · 6ecf7c60
  Alan Mishchenko committed 11 years ago
  
  6ecf7c60 Browse File
25 Apr, 2013 1 commit
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed 11 years ago
  
  486eacc5 Browse File
15 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 117bc0db
  Alan Mishchenko committed 12 years ago
  
  117bc0db Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
24 Jan, 2012 1 commit
- Variable timeframe abstraction. · 94d35a25
  Alan Mishchenko committed 13 years ago
  
  94d35a25 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
27 Mar, 2011 1 commit
- Improvements in Vec_Vec_t. · 4dcf8cee
  Alan Mishchenko committed 13 years ago
  
  4dcf8cee Browse File
13 Jan, 2011 1 commit
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed 14 years ago
  
  ae4b5135 Browse File
01 Nov, 2010 1 commit
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed 14 years ago
  
  6130e39b Browse File
10 Mar, 2009 1 commit
- Version abc90310 · 32314347
  Alan Mishchenko committed 15 years ago
  
  32314347 Browse File
15 Feb, 2009 1 commit
- Version abc90215 · 0871bffa
  Alan Mishchenko committed 16 years ago
  
  0871bffa Browse File