From 5b6c794b630bb5da8e20e839fcacbb33781f978f Mon Sep 17 00:00:00 2001 From: gsimko Date: Tue, 18 Feb 2014 16:16:59 -0600 Subject: [PATCH] Update README.md --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index cd6315a..cb2a653 100644 --- a/README.md +++ b/README.md @@ -7,15 +7,15 @@ Modifications ------------- Modifications in include.h: -1. Added an exception class for signaling cases when no valid remainder intervals can be found. -2. Fixed a MingW issue with regards to mkdir. + 1. Added an exception class for signaling cases when no valid remainder intervals can be found. + 2. Fixed a MingW issue with regards to mkdir. Modifications in ContinuousSystem.cpp: -1. Added iterative interval estimation widening (and miniStep narrowing) in + 1. Added iterative interval estimation widening (and miniStep narrowing) in * adaptive step size, fixed-order ContinuousSystem::reach_low_degree() method. * fixed step size, fixed-order ContinuousSystem::reach_non_polynomial_taylor() method. * adaptive stepsize , fixed-order ContinuousSystem::reach_non_polynomial_taylor() method. -2. Added exception throwing instead of fprintf(stdout) if no valid remainder intervals can be found. (ContinuousSystem::reach_... methods) + 2. Added exception throwing instead of fprintf(stdout) if no valid remainder intervals can be found. (ContinuousSystem::reach_... methods) Exported functions ------------------ @@ -38,4 +38,4 @@ In order to compile Flow*, the following libraries are needed: * mpfr * gsl * glpk -Pre-compiled Windows binaries can be downloaded from the releases. \ No newline at end of file +Pre-compiled Windows binaries can be downloaded from the releases.