Commits · b538a5fad096764a686a68f843f74ee36d3c7ef1 · lvzhengyang / abc

01 Feb, 2011 1 commit

1. Replace system() with a function that responds to SIGINT. 2. Add functions to… · b538a5fa

1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.

committed Feb 01, 2011

b538a5fa Browse Files

13 Jan, 2011 5 commits
- New code since Dec 2010. · 624af674
  Alan Mishchenko committed Jan 13, 2011
  
  624af674 Browse Files
- merge changes from main branch · ab80b015
  Baruch Sterin committed Jan 13, 2011
  
  ab80b015 Browse Files
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed Jan 13, 2011
  
  ae4b5135 Browse Files
- pyabc: reorganize supporting python scripts · 811f5631
  Baruch Sterin committed Jan 13, 2011
  
  811f5631 Browse Files
- pyabc: make the SIGINT signal handler clean up by sending SIGINT to child… · c85a7634
```
pyabc: make the SIGINT signal handler clean up by sending SIGINT to child processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked
```
  Baruch Sterin committed Jan 13, 2011
  c85a7634 Browse Files
03 Dec, 2010 5 commits
- Initial implementation of AnalyseFinal · f4066b5b
  Alan Mishchenko committed Dec 03, 2010
  
  f4066b5b Browse Files
- Latest project file · 002ad0f9
  Alan Mishchenko committed Dec 03, 2010
  
  002ad0f9 Browse Files
- Bug fix in &srm (not generating result when there is no equivs) · ff5fdb92
  Alan Mishchenko committed Dec 03, 2010
  
  ff5fdb92 Browse Files
- Initial integration of PDR · 2adc30f5
  Alan Mishchenko committed Dec 03, 2010
  
  2adc30f5 Browse Files
- Fixing memory leak in LTL property handling code · c9a62524
  Alan Mishchenko committed Dec 02, 2010
  
  c9a62524 Browse Files
29 Nov, 2010 15 commits
- An option to output verbose stats about timeframe sizes during unrolling · c7bb89d1
  Alan Mishchenko committed Nov 29, 2010
  
  c7bb89d1 Browse Files
- Bug fix: alloing "dsat" to work on multi-output cones · 5a192f02
  Alan Mishchenko committed Nov 29, 2010
  
  5a192f02 Browse Files
- Code formatting change · ffb04d24
  Alan Mishchenko committed Nov 29, 2010
  
  ffb04d24 Browse Files
- Performance bug fix in area-only mapping "map -a". · f404f9ff
  Alan Mishchenko committed Nov 29, 2010
  
  f404f9ff Browse Files
- Rearranging data members in the structure (not a bug) · 92420c2d
  Alan Mishchenko committed Nov 29, 2010
  
  92420c2d Browse Files
- Bug fix: unhandled & symbol in Liberty formula representation · 42cebe99
  Alan Mishchenko committed Nov 29, 2010
  
  42cebe99 Browse Files
- Added ternary simulation value storage · 9bff0309
  Alan Mishchenko committed Nov 29, 2010
  
  9bff0309 Browse Files
- Bug fix to read flops with init state 3 (don't know) · 719d399a
  Alan Mishchenko committed Nov 29, 2010
  
  719d399a Browse Files
- Fixing combinational loop problem in choice computation · a2e2661e
  Alan Mishchenko committed Nov 29, 2010
  
  a2e2661e Browse Files
- Adding missing license agreements · cdcbd60b
  Alan Mishchenko committed Nov 29, 2010
  
  cdcbd60b Browse Files
- Added API Abc_FrameReadGia · 0c337bc3
  Alan Mishchenko committed Nov 29, 2010
  
  0c337bc3 Browse Files
- Fix for write_status/read_status to use PO index · 58464374
  Alan Mishchenko committed Nov 29, 2010
  
  58464374 Browse Files
- Added command "swappos". · c2c9a5cf
  Alan Mishchenko committed Nov 28, 2010
  
  c2c9a5cf Browse Files
- NPN class computation. · a17a4e5c
  Alan Mishchenko committed Nov 28, 2010
  
  a17a4e5c Browse Files
- Added command "testcex". · 98257daa
  Alan Mishchenko committed Nov 28, 2010
  
  98257daa Browse Files
01 Nov, 2010 3 commits
- fixed compilation in linux · 093774c1
  Baruch Sterin committed Nov 01, 2010
  
  093774c1 Browse Files
- made depends.sh executable · 2d499788
  Baruch Sterin committed Nov 01, 2010
  
  2d499788 Browse Files
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed Nov 01, 2010
  
  6130e39b Browse Files
23 Jun, 2015 9 commits
- update tags · f0e77f67
  convert-repo committed Jun 23, 2015
  
  f0e77f67 Browse Files
- Version abc90901 · 51a646a3
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  51a646a3 Browse Files
- Version abc90813 · 32707839
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  32707839 Browse Files
- Version abc90809 · 4d1bc4a2
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  4d1bc4a2 Browse Files
- Version abc90807 · b288bac6
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  b288bac6 Browse Files
- Version abc90804 · da65e88e
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  da65e88e Browse Files
- Version abc90715 · 270f6db2
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  270f6db2 Browse Files
- Version abc90714 · 0398ced8
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  0398ced8 Browse Files
- Version abc90528 · 70697f86
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed Jun 22, 2015
  70697f86 Browse Files
05 May, 2009 1 commit
- Version abc90505 · d5b0fdee
  Alan Mishchenko committed May 05, 2009
  
  d5b0fdee Browse Files
24 Apr, 2009 1 commit
- Version abc90424 · d7a048d7
  Alan Mishchenko committed Apr 24, 2009
  
  d7a048d7 Browse Files