GitHub - pastoref/bdci: Behavioural Driven Conflict Identification, a tool for detecting conflicts among GIT branches

Repository navigation

bdci

Public

Behavioural Driven Conflict Identification, a tool for detecting conflicts among GIT branches

0 stars

1 watching

Name		Name	Last commit message	Last commit date
bin.daikon/daikon		bin.daikon/daikon
lib		lib
src-bct-vNeil/theoremProver/z3		src-bct-vNeil/theoremProver/z3
src/it/unimib/disco/lta/bdci		src/it/unimib/disco/lta/bdci
test/data		test/data
.classpath		.classpath
.project		.project
z3.properties		z3.properties

Behavioural Driven Conflict Identification, a tool for detecting conflicts among GIT branches

0 stars

1 watching