luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
298 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

298 Commits

Author SHA1 Message Date
Baruch Sterin 3a41da37a2 src/misc/util/utilSignal.c 2011-02-01 15:54:01 -08:00
Baruch Sterin b538a5fad0 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. 2011-02-01 11:13:53 -08:00
Alan Mishchenko 624af674a0 New code since Dec 2010. 2011-01-13 13:32:18 -08:00
Baruch Sterin ab80b015a4 merge changes from main branch 2011-01-13 22:42:54 +02:00
Alan Mishchenko ae4b51351c Cumulative changes in the last few weeks. 2011-01-13 12:38:59 -08:00
Baruch Sterin 811f5631a8 pyabc: reorganize supporting python scripts 2011-01-13 22:12:37 +02:00
Baruch Sterin c85a763444 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 2011-01-13 22:11:37 +02:00
Alan Mishchenko f4066b5be3 Initial implementation of AnalyseFinal 2010-12-03 09:26:08 -08:00
Alan Mishchenko 002ad0f984 Latest project file 2010-12-03 09:24:29 -08:00
Alan Mishchenko ff5fdb92e2 Bug fix in &srm (not generating result when there is no equivs) 2010-12-03 01:21:49 -08:00
Alan Mishchenko 2adc30f56b Initial integration of PDR 2010-12-03 01:20:51 -08:00
Alan Mishchenko c9a6252486 Fixing memory leak in LTL property handling code 2010-12-02 19:30:19 -08:00
Alan Mishchenko c7bb89d1b9 An option to output verbose stats about timeframe sizes during unrolling 2010-11-29 01:45:48 -08:00
Alan Mishchenko 5a192f026f Bug fix: alloing "dsat" to work on multi-output cones 2010-11-29 01:43:14 -08:00
Alan Mishchenko ffb04d244f Code formatting change 2010-11-29 01:40:49 -08:00
Alan Mishchenko f404f9ffb4 Performance bug fix in area-only mapping "map -a". 2010-11-29 01:38:31 -08:00
Alan Mishchenko 92420c2d1f Rearranging data members in the structure (not a bug) 2010-11-29 01:37:13 -08:00
Alan Mishchenko 42cebe99d0 Bug fix: unhandled & symbol in Liberty formula representation 2010-11-29 01:35:09 -08:00
Alan Mishchenko 9bff0309ae Added ternary simulation value storage 2010-11-29 01:32:29 -08:00
Alan Mishchenko 719d399a64 Bug fix to read flops with init state 3 (don't know) 2010-11-29 01:30:03 -08:00
Alan Mishchenko a2e2661e1f Fixing combinational loop problem in choice computation 2010-11-29 01:26:00 -08:00
Alan Mishchenko cdcbd60b39 Adding missing license agreements 2010-11-29 01:23:21 -08:00
Alan Mishchenko 0c337bc344 Added API Abc_FrameReadGia 2010-11-29 01:15:16 -08:00
Alan Mishchenko 584643747c Fix for write_status/read_status to use PO index 2010-11-29 01:08:18 -08:00
Alan Mishchenko c2c9a5cf8d Added command "swappos". 2010-11-28 22:44:54 -08:00
Alan Mishchenko a17a4e5ca4 NPN class computation. 2010-11-28 22:30:15 -08:00
Alan Mishchenko 98257daa82 Added command "testcex". 2010-11-28 19:32:19 -08:00
Baruch Sterin 093774c1b8 fixed compilation in linux 2010-11-01 02:06:26 -07:00
Baruch Sterin 2d499788eb made depends.sh executable 2010-11-01 01:39:04 -07:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
convert-repo f0e77f6797 update tags 2015-06-23 14:12:12 +00:00
Alan Mishchenko 51a646a355 Version abc90901 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:13 -07:00
Alan Mishchenko 3270783939 Version abc90813 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:09 -07:00
Alan Mishchenko 4d1bc4a268 Version abc90809 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:06 -07:00
Alan Mishchenko b288bac6b3 Version abc90807 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:02 -07:00
Alan Mishchenko da65e88e3b Version abc90804 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:59 -07:00
Alan Mishchenko 270f6db246 Version abc90715 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:56 -07:00
Alan Mishchenko 0398ced824 Version abc90714 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:53 -07:00
Alan Mishchenko 70697f868a Version abc90528 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:43 -07:00
Alan Mishchenko d5b0fdee74 Version abc90505 2009-05-05 08:01:00 -07:00
Alan Mishchenko d7a048d738 Version abc90424 2009-04-24 08:01:00 -07:00
Alan Mishchenko 77fab468ad Version abc90413 2009-04-13 08:01:00 -07:00
Alan Mishchenko ccd1b57264 Version abc90410 2009-04-10 08:01:00 -07:00
Alan Mishchenko df6fdd1dff Version abc90408 2009-04-08 08:01:00 -07:00
Alan Mishchenko e3e2918eb8 Version abc90405 2009-04-05 08:01:00 -07:00
Alan Mishchenko 23fd11037a Version abc90329 2009-03-29 08:01:00 -07:00
Alan Mishchenko d74d35aa42 Version abc90321 2009-03-21 08:01:00 -07:00
Alan Mishchenko 770bc99e79 Version abc90315 2009-03-15 08:01:00 -07:00
Alan Mishchenko 81b51657f5 Version abc90313 2009-03-13 08:01:00 -07:00
Alan Mishchenko 243cb29e56 Version abc90311 2009-03-11 08:01:00 -07:00