data/apron-0.9.10/README:6: developpers ==> developers data/apron-0.9.10/README:7: informations ==> information data/apron-0.9.10/mlgmpidl/mpf.ml:42: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.ml:68: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.idl:37: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.idl:54: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.idl:93: functionss ==> functions data/apron-0.9.10/mlgmpidl/mpzf.mli:8: neded ==> needed data/apron-0.9.10/mlgmpidl/mpf.mli:46: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.mli:72: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpf.mli:121: functionss ==> functions data/apron-0.9.10/mlgmpidl/mpz.mli:34: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpfr.mli:198: functionss ==> functions data/apron-0.9.10/mlgmpidl/mpqf.mli:8: neded ==> needed data/apron-0.9.10/mlgmpidl/mpq.mli:46: Assignements ==> Assignments data/apron-0.9.10/mlgmpidl/mpq.mli:81: functionss ==> functions data/apron-0.9.10/mlgmpidl/mpfrf.mli:9: neded ==> needed data/apron-0.9.10/mlgmpidl/mpfr.idl:135: functionss ==> functions data/apron-0.9.10/mlgmpidl/mpz.ml:30: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/mpz.idl:31: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/sedscript_c:8: paramater ==> parameter data/apron-0.9.10/mlgmpidl/README:23: developped ==> developed data/apron-0.9.10/mlgmpidl/mpq.idl:44: Assignements ==> Assignments data/apron-0.9.10/mlgmpidl/mpq.idl:74: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpf.ml:39: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.ml:65: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.idl:37: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.idl:54: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.idl:93: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpf.mli:43: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.mli:69: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpf.mli:118: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpz.mli:31: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpfr.mli:195: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpq.mli:43: Assignements ==> Assignments data/apron-0.9.10/mlgmpidl/tmp/mpq.mli:78: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpfr.idl:135: functionss ==> functions data/apron-0.9.10/mlgmpidl/tmp/mpz.ml:27: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpz.idl:31: Assignement ==> Assignment data/apron-0.9.10/mlgmpidl/tmp/mpq.idl:44: Assignements ==> Assignments data/apron-0.9.10/mlgmpidl/tmp/mpq.idl:74: functionss ==> functions data/apron-0.9.10/apron/Makefile:150: developpers ==> developers data/apron-0.9.10/apron/README:10: developpers ==> developers data/apron-0.9.10/apron/README:11: informations ==> information data/apron-0.9.10/apron/octagons/oct_internal.h:212: beteween ==> between data/apron-0.9.10/apron/octagons/oct_internal.h:538: contraint ==> constraint data/apron-0.9.10/apron/octagons/oct_nary.c:172: origial ==> original data/apron-0.9.10/apron/octagons/oct_nary.c:210: origial ==> original data/apron-0.9.10/apron/octagons/oct.mli:66: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct.mli:74: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct.mli:83: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct.idl:86: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct.idl:94: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct.idl:103: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/oct_transfer.c:532: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/oct_transfer.c:724: retrun ==> return data/apron-0.9.10/apron/octagons/oct_transfer.c:741: contraints ==> constraints data/apron-0.9.10/apron/octagons/oct_predicate.c:327: arithmetics ==> arithmetic data/apron-0.9.10/apron/octagons/oct_doc.html:199: arithmetics ==> arithmetic data/apron-0.9.10/apron/octagons/oct_hmat.c:28: redudant ==> redundant data/apron-0.9.10/apron/octagons/oct_hmat.c:50: retreived ==> retrieved data/apron-0.9.10/apron/octagons/oct_hmat.c:54: alloced ==> allocated data/apron-0.9.10/apron/octagons/mlexample.ml:147: assignements ==> assignments data/apron-0.9.10/apron/octagons/mlexample.ml:147: assignement ==> assignment data/apron-0.9.10/apron/octagons/oct_fun.h:124: responsability ==> responsibility data/apron-0.9.10/apron/octagons/oct_fun.h:284: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/oct_fun.h:313: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/apron/octagons/tmp/interval.idl:85: bouunds ==> bounds data/apron-0.9.10/apron/octagons/tmp/abstract0.idl:292: Assignements ==> Assignments data/apron-0.9.10/apron/octagons/tmp/abstract0.idl:295: assignement ==> assignment data/apron-0.9.10/apron/octagons/tmp/abstract0.idl:319: assignement ==> assignment data/apron-0.9.10/apron/octagons/tmp/abstract0.idl:582: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/tmp/oct.mli:66: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/oct.mli:74: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/oct.mli:83: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/oct.idl:86: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/oct.idl:94: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/oct.idl:103: Instanciate ==> Instantiate data/apron-0.9.10/apron/octagons/tmp/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/octagons/tmp/mpz.idl:31: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/tmp/mpq.idl:44: Assignements ==> Assignments data/apron-0.9.10/apron/octagons/tmp/mpq.idl:74: functionss ==> functions data/apron-0.9.10/apron/octagons/tmp/abstract1.idl:334: Assignement ==> Assignment data/apron-0.9.10/apron/octagons/tmp/abstract1.idl:337: assignement ==> assignment data/apron-0.9.10/apron/octagons/tmp/abstract1.idl:363: assignement ==> assignment data/apron-0.9.10/apron/octagons/tmp/abstract1.idl:680: Assignement ==> Assignment data/apron-0.9.10/apron/box/box_representation.c:309: responsability ==> responsibility data/apron-0.9.10/apron/box/box.h:91: responsability ==> responsibility data/apron-0.9.10/apron/box/box.h:233: Assignement ==> Assignment data/apron-0.9.10/apron/box/box.h:264: Assignement ==> Assignment data/apron-0.9.10/apron/box/box.mli:30: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/box.mli:38: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/box.mli:47: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/mlexample.ml:147: assignements ==> assignments data/apron-0.9.10/apron/box/mlexample.ml:147: assignement ==> assignment data/apron-0.9.10/apron/box/box.idl:40: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/box.idl:48: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/box.idl:57: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/box/tmp/box.mli:30: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/tmp/box.mli:38: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/tmp/box.mli:47: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/tmp/box.idl:40: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/tmp/box.idl:48: Instanciate ==> Instantiate data/apron-0.9.10/apron/box/tmp/box.idl:57: Instanciate ==> Instantiate data/apron-0.9.10/apron/test/ctest1.c:36: paramaters ==> parameters data/apron-0.9.10/apron/test/ctest1.c:1433: serie ==> series data/apron-0.9.10/apron/itv/itv_linexpr.h:159: substract ==> subtract data/apron-0.9.10/apron/itv/itv_linexpr.h:160: Substraction ==> Subtraction data/apron-0.9.10/apron/itv/itv.h:91: Assignement ==> Assignment data/apron-0.9.10/apron/itv/itv.h:205: paramater ==> parameter data/apron-0.9.10/apron/mlapronidl/interval.idl:85: bouunds ==> bounds data/apron-0.9.10/apron/mlapronidl/abstract0.idl:292: Assignements ==> Assignments data/apron-0.9.10/apron/mlapronidl/abstract0.idl:295: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract0.idl:319: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract0.idl:582: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/manager.mli:88: abstrat ==> abstract data/apron-0.9.10/apron/mlapronidl/abstract1.ml:169: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/introduction.mli:321: libraires ==> libraries data/apron-0.9.10/apron/mlapronidl/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/mlapronidl/interval.mli:67: bouunds ==> bounds data/apron-0.9.10/apron/mlapronidl/abstract0.mli:241: Assignements ==> Assignments data/apron-0.9.10/apron/mlapronidl/abstract0.mli:243: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract0.mli:251: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract0.mli:401: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/abstract0.ml:168: Assignements ==> Assignments data/apron-0.9.10/apron/mlapronidl/manager.ml:88: abstrat ==> abstract data/apron-0.9.10/apron/mlapronidl/abstract1.idl:334: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/abstract1.idl:337: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract1.idl:363: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract1.idl:680: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/abstract1.mli:225: Assignement ==> Assignment data/apron-0.9.10/apron/mlapronidl/abstract1.mli:228: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract1.mli:236: assignement ==> assignment data/apron-0.9.10/apron/mlapronidl/abstract1.mli:376: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl.mli:73: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/ppl.mli:91: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/ppl.mli:110: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/ppl_poly.hh:123: responsability ==> responsibility data/apron-0.9.10/apron/ppl/ppl_poly.hh:263: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_poly.hh:290: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_poly.cc:289: contraint ==> constraint data/apron-0.9.10/apron/ppl/ppl_poly.cc:843: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.h:98: responsability ==> responsibility data/apron-0.9.10/apron/ppl/ppl_grid.h:228: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.h:239: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.h:254: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.cc:316: contraint ==> constraint data/apron-0.9.10/apron/ppl/ppl_grid.cc:847: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ap_ppl.texi:44: arithmetics ==> arithmetic data/apron-0.9.10/apron/ppl/mlexample.ml:147: assignements ==> assignments data/apron-0.9.10/apron/ppl/mlexample.ml:147: assignement ==> assignment data/apron-0.9.10/apron/ppl/README:28: directoy ==> directory data/apron-0.9.10/apron/ppl/README:39: correcty ==> correctly data/apron-0.9.10/apron/ppl/README:41: availble ==> available data/apron-0.9.10/apron/ppl/README:49: aggreed ==> agreed data/apron-0.9.10/apron/ppl/README:58: libary ==> library data/apron-0.9.10/apron/ppl/ppl_grid.hh:119: responsability ==> responsibility data/apron-0.9.10/apron/ppl/ppl_grid.hh:271: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.hh:282: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.hh:297: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.hh:308: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl_grid.hh:323: Assignement ==> Assignment data/apron-0.9.10/apron/ppl/ppl.idl:94: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/ppl.idl:112: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/ppl.idl:131: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/ppl/tmp/ppl.mli:73: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/tmp/ppl.mli:91: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/tmp/ppl.mli:110: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/tmp/ppl.idl:94: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/tmp/ppl.idl:112: Instanciate ==> Instantiate data/apron-0.9.10/apron/ppl/tmp/ppl.idl:131: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.idl:82: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.idl:91: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.idl:101: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.mli:32: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.mli:41: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/polkaGrid.mli:51: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/mlexample.ml:151: assignements ==> assignments data/apron-0.9.10/apron/products/mlexample.ml:151: assignement ==> assignment data/apron-0.9.10/apron/products/README:8: contais ==> contains data/apron-0.9.10/apron/products/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/products/abstract0.idl:292: Assignements ==> Assignments data/apron-0.9.10/apron/products/abstract0.idl:295: assignement ==> assignment data/apron-0.9.10/apron/products/abstract0.idl:319: assignement ==> assignment data/apron-0.9.10/apron/products/abstract0.idl:582: Assignement ==> Assignment data/apron-0.9.10/apron/products/interval.idl:85: bouunds ==> bounds data/apron-0.9.10/apron/products/tmp/polkaGrid.idl:82: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/tmp/polkaGrid.idl:91: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/tmp/polkaGrid.idl:101: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/tmp/polkaGrid.mli:32: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/tmp/polkaGrid.mli:41: Instanciate ==> Instantiate data/apron-0.9.10/apron/products/tmp/polkaGrid.mli:51: Instanciate ==> Instantiate data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:50: manger ==> manager data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:73: timout ==> timeout data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:267: loosing ==> losing data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:572: vertexes ==> vertices data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:580: vertexes ==> vertices data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:598: vertexes ==> vertices data/apron-0.9.10/apron/apronxx/apxx_manager_inline.hh:128: unknwon ==> unknown data/apron-0.9.10/apron/apronxx/apxx_lincons0.hh:57: Construtors ==> Constructors data/apron-0.9.10/apron/apronxx/apxx_tcons1_inline.hh:56: enviroment ==> environment data/apron-0.9.10/apron/apronxx/apxx_tcons1_inline.hh:62: enviroment ==> environment data/apron-0.9.10/apron/apronxx/apxx_abstract1.hh:261: loosing ==> losing data/apron-0.9.10/apron/apronxx/apxx_abstract1.hh:592: vertexes ==> vertices data/apron-0.9.10/apron/apronxx/apxx_abstract1.hh:600: vertexes ==> vertices data/apron-0.9.10/apron/apronxx/apxx_abstract1.hh:618: vertexes ==> vertices data/apron-0.9.10/apron/newpolka/pk.h:203: responsability ==> responsibility data/apron-0.9.10/apron/newpolka/pk.h:378: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk.h:405: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.h:2: Assignements ==> Assignments data/apron-0.9.10/apron/newpolka/pkeq.h:123: responsability ==> responsibility data/apron-0.9.10/apron/newpolka/pkeq.h:249: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pkeq.h:260: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pkeq.h:275: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_cherni.h:76: coefficent ==> coefficient data/apron-0.9.10/apron/newpolka/pk_matrix.h:61: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_test.h:23: paramater ==> parameter data/apron-0.9.10/apron/newpolka/pkeq.c:214: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pkeq.c:317: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pkeq.c:320: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pkeq.c:372: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_matrix.c:135: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:371: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:438: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:445: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:503: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:513: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_matrix.c:515: mata ==> meta, mater data/apron-0.9.10/apron/newpolka/pk_vector.c:175: contraint ==> constraint data/apron-0.9.10/apron/newpolka/polka.idl:107: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/polka.idl:125: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/polka.idl:144: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/pk_test.c:89: paramater ==> parameter data/apron-0.9.10/apron/newpolka/pk_assign.c:2: Assignements ==> Assignments data/apron-0.9.10/apron/newpolka/pk_assign.c:32: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:220: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:439: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:443: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:524: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:596: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:680: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:684: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:728: assignements ==> assignments data/apron-0.9.10/apron/newpolka/pk_assign.c:766: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_assign.c:834: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_representation.c:89: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_representation.c:630: unvalid ==> invalid data/apron-0.9.10/apron/newpolka/pk_representation.c:647: unvalid ==> invalid data/apron-0.9.10/apron/newpolka/mf_qsort.c:184: keept ==> kept data/apron-0.9.10/apron/newpolka/pk_representation.h:28: Assignement ==> Assignment data/apron-0.9.10/apron/newpolka/pk_representation.h:37: reseted ==> reset data/apron-0.9.10/apron/newpolka/mlexample.ml:147: assignements ==> assignments data/apron-0.9.10/apron/newpolka/mlexample.ml:147: assignement ==> assignment data/apron-0.9.10/apron/newpolka/newpolka.texi:56: arithmetics ==> arithmetic data/apron-0.9.10/apron/newpolka/newpolka.texi:148: propery ==> property, properly data/apron-0.9.10/apron/newpolka/newpolka.texi:318: assignement ==> assignment data/apron-0.9.10/apron/newpolka/newpolka.texi:353: assignement ==> assignment data/apron-0.9.10/apron/newpolka/pk_satmat.h:10: wether ==> weather, whether data/apron-0.9.10/apron/newpolka/polka.mli:85: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/polka.mli:103: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/polka.mli:122: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/pk_cherni.c:406: coefficent ==> coefficient data/apron-0.9.10/apron/newpolka/manager.idl:157: abstrat ==> abstract data/apron-0.9.10/apron/newpolka/tmp/polka.idl:107: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/tmp/polka.idl:125: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/tmp/polka.idl:144: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/tmp/polka.mli:85: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/tmp/polka.mli:103: Instanciate ==> Instantiate data/apron-0.9.10/apron/newpolka/tmp/polka.mli:122: Instanciate ==> Instantiate data/apron-0.9.10/apron/examples/mlexample3.ml:157: assignements ==> assignments data/apron-0.9.10/apron/examples/mlexample3.ml:157: assignement ==> assignment data/apron-0.9.10/apron/examples/example1.c:168: Assignement ==> Assignment data/apron-0.9.10/apron/examples/example1.c:177: Assignement ==> Assignment data/apron-0.9.10/apron/apron/ap_environment.h:121: environemnt ==> environment data/apron-0.9.10/apron/apron/ap_environment.h:124: environemnt ==> environment data/apron-0.9.10/apron/apron/rationale.texi:41: algorithmical ==> algorithmically data/apron-0.9.10/apron/apron/rationale.texi:49: correspondance ==> correspondence data/apron-0.9.10/apron/apron/rationale.texi:202: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:433: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:457: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:458: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:466: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:480: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:491: assignement ==> assignment data/apron-0.9.10/apron/apron/rationale.texi:496: Assignement ==> Assignment data/apron-0.9.10/apron/apron/rationale.texi:572: correspondance ==> correspondence data/apron-0.9.10/apron/apron/ap_reducedproduct.c:1186: libray ==> library data/apron-0.9.10/apron/apron/apron.texi:115: wich ==> which data/apron-0.9.10/apron/apron/apron.texi:129: independant ==> independent data/apron-0.9.10/apron/apron/apron.texi:150: arithmetics ==> arithmetic data/apron-0.9.10/apron/apron/apron.texi:151: arithmetics ==> arithmetic data/apron-0.9.10/apron/apron/apron.texi:541: constaints ==> constraints data/apron-0.9.10/apron/apron/apron.texi:662: excpetions ==> exceptions data/apron-0.9.10/apron/apron/apron.texi:1004: assignement ==> assignment data/apron-0.9.10/apron/apron/apron.texi:1152: assignement ==> assignment data/apron-0.9.10/apron/apron/apron.texi:1314: assignement ==> assignment data/apron-0.9.10/apron/apron/apron.texi:1569: responsability ==> responsibility data/apron-0.9.10/apron/apron/apron.texi:1580: unknwon ==> unknown data/apron-0.9.10/apron/apron/apron.texi:1709: assignement ==> assignment data/apron-0.9.10/apron/apron/apron.texi:1710: assignement ==> assignment data/apron-0.9.10/apron/apron/apron.texi:2056: envionment ==> environment data/apron-0.9.10/apron/apron/apron.texi:2231: envionment ==> environment data/apron-0.9.10/apron/apron/apron.texi:2480: occurence ==> occurrence data/apron-0.9.10/apron/apron/apron.texi:2590: envionment ==> environment data/apron-0.9.10/apron/apron/apron.texi:2718: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:2805: responsability ==> responsibility data/apron-0.9.10/apron/apron/apron.texi:2928: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:2963: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:2964: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:2971: Assignement ==> Assignment data/apron-0.9.10/apron/apron/apron.texi:2981: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:3086: Assignement ==> Assignment data/apron-0.9.10/apron/apron/apron.texi:3131: intented ==> intended, indented data/apron-0.9.10/apron/apron/apron.texi:3235: Repetion ==> Repetition data/apron-0.9.10/apron/apron/apron.texi:3543: tye ==> type, tie data/apron-0.9.10/apron/apron/apron.texi:3977: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:4067: responsability ==> responsibility data/apron-0.9.10/apron/apron/apron.texi:4178: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:4220: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:4221: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:4228: Assignement ==> Assignment data/apron-0.9.10/apron/apron/apron.texi:4238: Assignements ==> Assignments data/apron-0.9.10/apron/apron/apron.texi:4347: Assignement ==> Assignment data/apron-0.9.10/apron/apron/ap_texpr0.c:436: occurence ==> occurrence data/apron-0.9.10/apron/apron/ap_generator1.h:86: envionment ==> environment data/apron-0.9.10/apron/apron/ap_environment.c:167: responsability ==> responsibility data/apron-0.9.10/apron/apron/ap_environment.c:880: implictly ==> implicitly data/apron-0.9.10/apron/apron/ap_environment.c:901: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:942: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:945: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:947: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:949: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:951: te ==> the, be, we data/apron-0.9.10/apron/apron/ap_environment.c:952: te ==> the, be, we data/apron-0.9.10/apron/num/bound.h:27: Assignement ==> Assignment data/apron-0.9.10/apron/num/essai.c:22: nd ==> and, 2nd data/apron-0.9.10/apron/num/essai.c:25: nd ==> and, 2nd data/apron-0.9.10/apron/num/numrat_mpq.h:53: Assignement ==> Assignment data/apron-0.9.10/apron/num/numint_mpz.h:33: Assignement ==> Assignment data/apron-0.9.10/apron/num/numint.h:39: Assignement ==> Assignment data/apron-0.9.10/apron/num/numflt_mpfr.h:36: Assignement ==> Assignment data/apron-0.9.10/apron/num/numflt_mpfr.h:143: coo ==> coup data/apron-0.9.10/apron/num/bound_def.h:89: Assignement ==> Assignment data/apron-0.9.10/apron/num/bound_def.h:460: coo ==> coup data/apron-0.9.10/apron/num/bound_def.h:469: coo ==> coup data/apron-0.9.10/apron/num/num.h:66: litteral ==> literal data/apron-0.9.10/apron/num/num.h:73: Assignement ==> Assignment data/apron-0.9.10/apron/num/numint_native.h:49: Assignement ==> Assignment data/apron-0.9.10/apron/num/num_numflt.h:47: Assignement ==> Assignment data/apron-0.9.10/apron/num/numflt.h:45: Assignement ==> Assignment data/apron-0.9.10/apron/num/num_numint.h:46: Assignement ==> Assignment data/apron-0.9.10/apron/num/numrat.h:33: Assignement ==> Assignment data/apron-0.9.10/apron/num/numrat_native.h:70: Assignement ==> Assignment data/apron-0.9.10/apron/num/num_numrat.h:42: Assignement ==> Assignment data/apron-0.9.10/apron/num/numflt_native.h:48: Assignement ==> Assignment data/apron-0.9.10/debian/changelog:16: fomat ==> format data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:42: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:51: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:60: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:69: unkown ==> unknown data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:82: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:91: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:104: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:113: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:161: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:170: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:179: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:185: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:194: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:228: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:237: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:246: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:251: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:260: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:293: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:302: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:323: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:332: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:338: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:360: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:369: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:390: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:399: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:404: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:426: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:448: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:470: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:479: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:500: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:509: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:515: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:537: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:546: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:567: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:576: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:581: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:603: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:625: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:638: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:647: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:682: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:691: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:700: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:706: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:715: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:749: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:758: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:779: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:788: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:794: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:816: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:838: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:847: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:868: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:877: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:883: environement ==> environment data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:905: environement ==> environment data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/.pc/0005-Install-oct-.a.patch/apron/octagons/Makefile:55: trigers ==> triggers data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:334: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:337: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:363: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:473: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:577: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:680: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:225: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:228: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:236: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:276: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:323: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:376: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:110: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:187: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:204: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:209: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:239: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:64: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:77: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:94: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:98: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:107: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:125: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:155: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:229: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:249: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:254: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:82: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:91: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:110: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:130: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:134: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/linexpr1.idl:133: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/linexpr1.mli:74: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:63: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:93: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:140: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:160: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:165: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:46: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:55: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:74: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:94: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:98: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/texpr1.idl:389: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/texpr1.mli:103: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:334: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:337: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:363: assignement ==> assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:473: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:577: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:680: Assignement ==> Assignment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:110: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:187: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:204: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:209: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:239: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:125: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:155: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:229: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:249: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:254: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/linexpr1.idl:133: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:63: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:93: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:140: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:160: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:165: environement ==> environment data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/texpr1.idl:389: environement ==> environment