Browse Source

Supported validators and generators.

mirzayanovmr 16 years ago
parent
commit
bfa6c35ba7

+ 0 - 0
prewritten/dcmp.cpp → checkers/dcmp.cpp


+ 0 - 0
prewritten/fcmp.cpp → checkers/fcmp.cpp


+ 0 - 0
prewritten/hcmp.cpp → checkers/hcmp.cpp


+ 0 - 0
prewritten/icmp.cpp → checkers/icmp.cpp


+ 0 - 0
prewritten/lcmp.cpp → checkers/lcmp.cpp


+ 0 - 0
prewritten/ncmp.cpp → checkers/ncmp.cpp


+ 0 - 0
prewritten/rcmp.cpp → checkers/rcmp.cpp


+ 0 - 0
prewritten/rcmp4.cpp → checkers/rcmp4.cpp


+ 0 - 0
prewritten/rcmp6.cpp → checkers/rcmp6.cpp


+ 0 - 0
prewritten/rcmp9.cpp → checkers/rcmp9.cpp


+ 0 - 0
prewritten/rncmp.cpp → checkers/rncmp.cpp


+ 0 - 0
prewritten/wcmp.cpp → checkers/wcmp.cpp


+ 0 - 0
prewritten/yesno.cpp → checkers/yesno.cpp


BIN
docs/read.me


BIN
generators/bgen.cpp


BIN
generators/igen.cpp


BIN
generators/iwgen.cpp


BIN
generators/sgen.cpp


BIN
generators/swgen.cpp


BIN
testlib.h


BIN
validators/ival.cpp


BIN
validators/nval.cpp


BIN
validators/sval.cpp