Common subdirectories: ./.deps and /home/frehse/data/phaver_v0.34/src/.deps
Only in .: .libs
Only in .: DHR_PolyhedronSet.o
Only in .: DHR_Rational.o
Only in .: DHR_split.o
Files ./Makefile and /home/frehse/data/phaver_v0.34/src/Makefile differ
Files ./Makefile.am and /home/frehse/data/phaver_v0.34/src/Makefile.am differ
Files ./Makefile.in and /home/frehse/data/phaver_v0.34/src/Makefile.in differ
Only in .: ag_sim.o
Only in .: agc_sim.o
Files ./automaton.cpp and /home/frehse/data/phaver_v0.34/src/automaton.cpp differ
Files ./automaton.cpp~ and /home/frehse/data/phaver_v0.34/src/automaton.cpp~ differ
Files ./automaton.h and /home/frehse/data/phaver_v0.34/src/automaton.h differ
Files ./automaton.h~ and /home/frehse/data/phaver_v0.34/src/automaton.h~ differ
Only in .: automaton.o
Files ./automaton_compose.cpp and /home/frehse/data/phaver_v0.34/src/automaton_compose.cpp differ
Files ./automaton_compose.cpp~ and /home/frehse/data/phaver_v0.34/src/automaton_compose.cpp~ differ
Only in .: automaton_compose.o
Files ./automaton_general.cpp and /home/frehse/data/phaver_v0.34/src/automaton_general.cpp differ
Only in .: automaton_general.cpp~
Only in .: automaton_general.o
Only in .: automaton_minim.o
Files ./automaton_reach.cpp and /home/frehse/data/phaver_v0.34/src/automaton_reach.cpp differ
Files ./automaton_reach.cpp~ and /home/frehse/data/phaver_v0.34/src/automaton_reach.cpp~ differ
Only in .: automaton_reach.o
Only in .: automaton_reach_buggy.cpp
Only in .: automaton_reach_old.cpp
Files ./automaton_refine.cpp and /home/frehse/data/phaver_v0.34/src/automaton_refine.cpp differ
Files ./automaton_refine.cpp~ and /home/frehse/data/phaver_v0.34/src/automaton_refine.cpp~ differ
Only in .: automaton_refine.o
Files ./automaton_sim.cpp and /home/frehse/data/phaver_v0.34/src/automaton_sim.cpp differ
Files ./automaton_sim.cpp~ and /home/frehse/data/phaver_v0.34/src/automaton_sim.cpp~ differ
Only in .: automaton_sim.o
Files ./automaton_vec.cpp and /home/frehse/data/phaver_v0.34/src/automaton_vec.cpp differ
Only in .: automaton_vec.cpp~
Files ./automaton_vec.h and /home/frehse/data/phaver_v0.34/src/automaton_vec.h differ
Only in .: automaton_vec.h~
Only in .: automaton_vec.o
Only in .: bidirectional_map.cpp~
Only in .: bidirectional_map.h
Only in .: bidirectional_map.h~
Only in .: bimap.h
Only in .: bimap.h~
Files ./clock_val_set.cpp and /home/frehse/data/phaver_v0.34/src/clock_val_set.cpp differ
Files ./clock_val_set.cpp~ and /home/frehse/data/phaver_v0.34/src/clock_val_set.cpp~ differ
Files ./clock_val_set.h and /home/frehse/data/phaver_v0.34/src/clock_val_set.h differ
Files ./clock_val_set.h~ and /home/frehse/data/phaver_v0.34/src/clock_val_set.h~ differ
Only in .: clock_val_set.o
Only in .: continuous_set.cpp
Only in .: continuous_set.cpp~
Only in .: continuous_set.h
Only in .: continuous_set.h~
Only in .: continuous_set.o
Files ./convex_clock_val_set.cpp and /home/frehse/data/phaver_v0.34/src/convex_clock_val_set.cpp differ
Files ./convex_clock_val_set.cpp~ and /home/frehse/data/phaver_v0.34/src/convex_clock_val_set.cpp~ differ
Files ./convex_clock_val_set.h and /home/frehse/data/phaver_v0.34/src/convex_clock_val_set.h differ
Files ./convex_clock_val_set.h~ and /home/frehse/data/phaver_v0.34/src/convex_clock_val_set.h~ differ
Only in .: convex_clock_val_set.o
Only in .: deriv_def.o
Only in .: deriv_ops.o
Only in .: derivify.o
Files ./extended_ppl.cpp and /home/frehse/data/phaver_v0.34/src/extended_ppl.cpp differ
Files ./extended_ppl.cpp~ and /home/frehse/data/phaver_v0.34/src/extended_ppl.cpp~ differ
Files ./extended_ppl.h and /home/frehse/data/phaver_v0.34/src/extended_ppl.h differ
Files ./extended_ppl.h~ and /home/frehse/data/phaver_v0.34/src/extended_ppl.h~ differ
Only in .: extended_ppl.o
Only in .: fp_interface.o
Only in .: general.o
Files ./lex.yy.c and /home/frehse/data/phaver_v0.34/src/lex.yy.c differ
Files ./location.cpp and /home/frehse/data/phaver_v0.34/src/location.cpp differ
Files ./location.cpp~ and /home/frehse/data/phaver_v0.34/src/location.cpp~ differ
Files ./location.h and /home/frehse/data/phaver_v0.34/src/location.h differ
Files ./location.h~ and /home/frehse/data/phaver_v0.34/src/location.h~ differ
Only in .: location.o
Files ./myPFunction.cpp and /home/frehse/data/phaver_v0.34/src/myPFunction.cpp differ
Only in .: myPFunction.cpp~
Only in .: myPFunction.o
Only in .: optimal_split.o
Files ./parameters.h and /home/frehse/data/phaver_v0.34/src/parameters.h differ
Files ./parameters.h~ and /home/frehse/data/phaver_v0.34/src/parameters.h~ differ
Only in .: parameters.o
Only in .: parser.c
Files ./parser.l and /home/frehse/data/phaver_v0.34/src/parser.l differ
Files ./parser.l~ and /home/frehse/data/phaver_v0.34/src/parser.l~ differ
Files ./parser.tab.c and /home/frehse/data/phaver_v0.34/src/parser.tab.c differ
Files ./parser.tab.h and /home/frehse/data/phaver_v0.34/src/parser.tab.h differ
Files ./parser.y and /home/frehse/data/phaver_v0.34/src/parser.y differ
Files ./parser.y~ and /home/frehse/data/phaver_v0.34/src/parser.y~ differ
Only in .: phaver
Files ./phaver.cpp and /home/frehse/data/phaver_v0.34/src/phaver.cpp differ
Files ./phaver.cpp~ and /home/frehse/data/phaver_v0.34/src/phaver.cpp~ differ
Only in .: phaver.o
Only in .: rat_linexpression.o
Only in .: stopwatch.o
Only in .: symb_states.o
Files ./symb_states_type.cpp and /home/frehse/data/phaver_v0.34/src/symb_states_type.cpp differ
Files ./symb_states_type.cpp~ and /home/frehse/data/phaver_v0.34/src/symb_states_type.cpp~ differ
Files ./symb_states_type.h and /home/frehse/data/phaver_v0.34/src/symb_states_type.h differ
Files ./symb_states_type.h~ and /home/frehse/data/phaver_v0.34/src/symb_states_type.h~ differ
Only in .: symb_states_type.o
Only in .: tmp_diff.txt
Only in .: transition.o
Only in .: variable_id_map.cpp
Only in .: variable_id_map.cpp~
Only in .: variable_id_map.h
Only in .: variable_id_map.h~
Only in .: variable_id_map.o
Files ./variable_time_elapse_func.cpp and /home/frehse/data/phaver_v0.34/src/variable_time_elapse_func.cpp differ
Files ./variable_time_elapse_func.cpp~ and /home/frehse/data/phaver_v0.34/src/variable_time_elapse_func.cpp~ differ
Files ./variable_time_elapse_func.h and /home/frehse/data/phaver_v0.34/src/variable_time_elapse_func.h differ
Files ./variable_time_elapse_func.h~ and /home/frehse/data/phaver_v0.34/src/variable_time_elapse_func.h~ differ
Only in .: variable_time_elapse_func.o
