RSolver CodeSVN

Brought to you by: stefan_ratschan

Commit [r13] Maximize Restore History

EXISTS* FORALL*

basic relaxation to universally quantified linear programs

Authored by: stefan_ratschan 2005-07-15

Browse code at this revision

Parent: [r12]

Child: [r14]

changed	/trunk/CHANGELOG
changed	/trunk/Makefile
changed	/trunk/constants.ml
changed	/trunk/constants.mli
changed	/trunk/constr.ml
changed	/trunk/constr.mli
changed	/trunk/interval.mli
changed	/trunk/lexer.mll
changed	/trunk/parser.mly
changed	/trunk/prune.mli
added	/trunk/relaxation.ml
added	/trunk/relaxation.mli
changed	/trunk/rsolver-c-register.ml
changed	/trunk/rsolver-lib.c
changed	/trunk/rsolver-lib.h
changed	/trunk/rsolver-main.ml
changed	/trunk/rsolver.ml
changed	/trunk/rsolver.mli

/trunk/CHANGELOG Diff Switch to side-by-side view

/trunk/Makefile Diff Switch to side-by-side view

/trunk/constants.ml Diff Switch to side-by-side view

/trunk/constants.mli Diff Switch to side-by-side view

/trunk/constr.ml Diff Switch to side-by-side view

/trunk/constr.mli Diff Switch to side-by-side view

/trunk/interval.mli Diff Switch to side-by-side view

/trunk/lexer.mll Diff Switch to side-by-side view

/trunk/parser.mly Diff Switch to side-by-side view

/trunk/prune.mli Diff Switch to side-by-side view

/trunk/relaxation.ml Diff Switch to side-by-side view

/trunk/relaxation.mli Diff Switch to side-by-side view

/trunk/rsolver-c-register.ml Diff Switch to side-by-side view

/trunk/rsolver-lib.c Diff Switch to side-by-side view

/trunk/rsolver-lib.h Diff Switch to side-by-side view

/trunk/rsolver-main.ml Diff Switch to side-by-side view

/trunk/rsolver.ml Diff Switch to side-by-side view

/trunk/rsolver.mli Diff Switch to side-by-side view