Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 190 Bytes
Newer Older
Created a communication bridge.
325ac583
 
Alan Mishchenko committed
1 2 
SRC +=  src/misc/util/utilBridge.c \
    src/misc/util/utilCex.c \
Unified the use of counter-examples in three packages.
71cbf17e
 
Alan Mishchenko committed
3 
    src/misc/util/utilFile.c \
Added new name manager and modified hierarchy manager to use it.
095345fc
 
Alan Mishchenko committed
4 
    src/misc/util/utilNam.c \
Added new sorting procedures.
4ffe37b3
 
Alan Mishchenko committed
5 6 
    src/misc/util/utilSignal.c \
    src/misc/util/utilSort.c