Skip to content

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