luke
/
netgen
mirror of https://github.com/RTimothyEdwards/netgen.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
netgen/base
History
Tim Edwards 0f5a618353 Corrected some problems with property matching in netcmp.c. 
However, I have identified an issue that has not yet been resolved,
which is that there can be automorphisms that are potentially
broken by property matching.  Currently, the automorphisms are
arbitrarily resolved, then properties are matched---and may fail
accordingly.
 		2020-03-10 21:39:41 -04:00
..
Depend Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
Makefile Added new handling for verilog structural netlists, and fixed 2018-04-12 17:09:10 -04:00
actel.c Overhaul of the hash table method. Original method used global 2016-06-23 10:13:18 -04:00
actellib.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
anneal.c Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
bottomup.c Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
ccode.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
config.h Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
dbug.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
embed.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
embed.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
ext.c Added new handling for verilog structural netlists, and fixed 2018-04-12 17:09:10 -04:00
flatten.c Changed behavior of MatchPins so that disconnected pins that are to 2020-03-04 21:01:43 -05:00
greedy.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
hash.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
hash.h Corrected a number of function returns, mainly to avoid compile- 2018-01-26 11:56:41 -05:00
inetcomp.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
netcmp.c Corrected some problems with property matching in netcmp.c. 2020-03-10 21:39:41 -04:00
netcmp.h Based on code from John Wood, added command "netgen::format <col1_width> 2020-02-10 09:11:34 -05:00
netfile.c Corrected the verilog parser to handle backslash-escape notation 2020-03-04 16:55:53 -05:00
netfile.h A fairly large refactoring of the conditional handling code in the 2019-09-09 11:26:31 -04:00
netgen.c Corrected two instances of missing values on return from a function. 2018-11-19 08:12:12 -05:00
netgen.h Fairly substantial overhaul of the tokenizing routine to better 2019-01-09 20:26:38 -05:00
ntk.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
objlist.c Corrected a missing "#ifdef TCL_NETGEN" around a Tcl subroutine 2019-07-24 11:13:25 -04:00
objlist.h Fairly substantial overhaul of the tokenizing routine to better 2019-01-09 20:26:38 -05:00
pdutils.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
pdutils.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
place.c Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
print.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
print.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
proto.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
query.c Corrected the verilog parser to handle backslash-escape notation 2020-03-04 16:55:53 -05:00
query.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
random.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
regexp.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
spice.c Corrected error in printing the name of a file when it is not found 2020-03-05 09:41:22 -05:00
test.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
timing.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
timing.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
verilog.c Corrected error in printing the name of a file when it is not found 2020-03-05 09:41:22 -05:00
wombat.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
xilinx.c Corrected a number of function returns, mainly to avoid compile- 2018-01-26 11:56:41 -05:00
xillib.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
xnetgen.c Fixed a bug in the combine routine that causes a segfault; added 2017-01-07 06:56:51 -05:00
xnetgen.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00