Menu ▾ ▴

Tree [r321] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 ._bcdi 2017-09-13 stefan_ratschan [r1] Initial commit
 ._d 2019-07-23 stefan_ratschan [r311]
 distribution 2019-07-23 stefan_ratschan [r311]
 examples 2019-07-23 stefan_ratschan [r311]
 examples_false 2018-10-17 stefan_ratschan [r220] initial version
 manual 2018-07-13 stefan_ratschan [r138] polynomial templates
 verification 2017-09-13 stefan_ratschan [r1] Initial commit
 visualization 2017-09-13 stefan_ratschan [r1] Initial commit
 www 2019-07-23 stefan_ratschan [r311]
 CHANGELOG 2019-02-18 stefan_ratschan [r305]
 Make_parse_result 2017-09-13 stefan_ratschan [r1] Initial commit
 Make_statespace 2017-09-13 stefan_ratschan [r1] Initial commit
 Makefile 2019-07-23 stefan_ratschan [r311]
 candidate.ml 2019-12-06 stefan_ratschan [r320] bugfix
 candidate.mli 2019-07-23 stefan_ratschan [r311]
 example.ml 2017-11-09 stefan_ratschan [r35] cntrxpl finding: filtering out unreliable results
 example.mli 2017-09-13 stefan_ratschan [r1] Initial commit
 examples.ml 2019-12-03 stefan_ratschan [r314] jacobian
 examples.mli 2019-12-03 stefan_ratschan [r314] jacobian
 expr_interpr.ml 2019-02-22 stefan_ratschan [r310] gradient division
 expr_interpr.mli 2018-12-20 stefan_ratschan [r273]
 expr_lexer.mll 2019-02-18 stefan_ratschan [r299] SQRT
 expr_parser.mly 2018-12-20 stefan_ratschan [r271]
 expr_parser_access.ml 2019-02-18 stefan_ratschan [r300] separated from rest of code
 expr_parser_access.mli 2018-12-14 stefan_ratschan [r260] defining constants
 expr_parser_intern.ml 2019-02-18 stefan_ratschan [r298] separated from rest of code
 expr_parser_intern.mli 2019-02-18 stefan_ratschan [r298] separated from rest of code
 falsification.ml 2019-07-23 stefan_ratschan [r311]
 falsification.mli 2019-07-23 stefan_ratschan [r311]
 find_cntrxpl.ml 2019-01-25 stefan_ratschan [r294] debugging tracing
 find_cntrxpl.mli 2018-10-23 stefan_ratschan [r226] printing counter-examples
 gnuplot.ml 2018-11-14 stefan_ratschan [r239] plotting for hybrid systems
 gnuplot.mli 2018-11-14 stefan_ratschan [r240] plotting for hybrid systems
 graph.ml 2019-12-03 stefan_ratschan [r315] bugfix
 graph.mli 2019-07-23 stefan_ratschan [r311]
 lex_input.mll 2018-12-14 stefan_ratschan [r263] defining constants
 main.ml 2019-07-23 stefan_ratschan [r311]
 mode.ml 2018-10-05 stefan_ratschan [r196] hybrid systems
 mode.mli 2018-10-05 stefan_ratschan [r197] hybrid systems
 mode_set.ml 2018-10-05 stefan_ratschan [r196] hybrid systems
 mode_set.mli 2018-10-11 stefan_ratschan [r209] jumps
 optutil.ml 2019-01-07 stefan_ratschan [r281] bugfix
 optutil.mli 2019-01-07 stefan_ratschan [r279] initial version
 parse_input.mly 2018-12-20 stefan_ratschan [r270] invariants
 parse_result.ml 2018-11-26 stefan_ratschan [r255] initialize template in modes without samples wi...
 parse_result.mli 2018-12-14 stefan_ratschan [r260] defining constants
 parser_intern.ml 2018-08-02 stefan_ratschan [r152] initial version
 parser_intern.mli 2018-08-02 stefan_ratschan [r152] initial version
 point.ml 2018-09-25 stefan_ratschan [r190] hybrid systems preparation
 point.mli 2018-09-25 stefan_ratschan [r189] hybrid systems preparation
 regression 2019-07-23 stefan_ratschan [r311]
 repeat 2017-09-13 stefan_ratschan [r1] Initial commit
 results.ods 2017-09-13 stefan_ratschan [r1] Initial commit
 rsolver_int.ml 2019-01-24 stefan_ratschan [r288] hybrid case
 rsolver_int.mli 2018-12-11 stefan_ratschan [r257]
 search_loop 2017-09-13 stefan_ratschan [r1] Initial commit
 separate.result 2017-09-13 stefan_ratschan [r1] Initial commit
 separate.result1 2017-09-13 stefan_ratschan [r1] Initial commit
 shortest_path.ml 2019-01-11 stefan_ratschan [r285] parametrized
 shortest_path.mli 2019-01-11 stefan_ratschan [r285] parametrized
 smtlib.ml 2019-12-06 stefan_ratschan [r321] changed name
 smtlib.mli 2019-12-06 stefan_ratschan [r321] changed name
 state.ml 2018-12-21 stefan_ratschan [r277]
 state.mli 2018-10-23 stefan_ratschan [r224] printing states
 state_set.ml 2018-09-21 stefan_ratschan [r183]
 state_set.mli 2018-09-21 stefan_ratschan [r187]
 syntax.ml 2017-09-13 stefan_ratschan [r1] Initial commit
 syntax.mli 2017-09-13 stefan_ratschan [r1] Initial commit
 templates.ml 2019-12-05 stefan_ratschan [r318] hessian computation
 templates.mli 2019-12-05 stefan_ratschan [r318] hessian computation
 test_dynamics.ml 2017-09-13 stefan_ratschan [r1] Initial commit
 traj_graph.ml 2019-07-23 stefan_ratschan [r311]
 traj_graph.mli 2019-07-23 stefan_ratschan [r311]
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.