- 17 Mar, 2010 40 commits
-
-
Erwan Jahier authored
Parent-Version: 0.42 Version-Log: Checks that nodes in .env files are contiguous as the code suppose they are. Also cleanup a little bit the code in env.ml as (I was reinventing map ...) Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.41 Version-Log: Make sure that n formula are drawn when even numeric failure occurs. To do that, I recursively call draw_n_p_formula until the required number of outputs have been generated. Also fix a bug where my code was not handling cases where several formulas corresponding to the same origin and target nodes (Lutin probably won't generate such arcs explicitely, but it does implicitely via epsilon transitions). The fix consist in adding formula in wtree types instead of maintaining a table of formula indexed by node list pairs. The env_state.formula_table is thus no longer needed. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.40 Version-Log: Change sligthly the ima format to make it more consistent. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.39 Version-Log: Change the naming convention of prevars. Now, _pretoto is noted _pre1toto, and _pre_pre_pretoto is noted _pre3toto. Also fix a bug in the default initialization of ranges : min_float is the smallest positive float, not the smallet one !! Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.38 Version-Log: Use the new cudd interface based on camlidl (mlcuddidl). Now, bdds do not leaks anymore. Remove debugging stuff that was used to track that problem. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.37 Version-Log: With this change, lurette is now able to handle numeric variables over intervals ! Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.36 Version-Log: Various cosmetic changes in comments. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.35 Version-Log: Add support to handle numerical contraints. The numerical stuff is untested, but the boolean part works as before. source/rnumsolver.mli: source/rnumsolver.ml: New files implementing a numeric solver based on intervals. source/*.ml: Change the var_type type from a string to a sum type containing the lower and upper bounds of numeric domains. Do not maintain a var_name to index correspondance, but a formula to index one. This is to be able to handle numerical constraint in bdds. This field is not set at init time anymore, but in formula_to_bdd. Add <>, <, and <= to the type of formula. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.34 Version-Log: Use Hashtbl instead of assoc list to store env_in items as eval needs to search in it very often, it might be an issue when there is a lot of input variables. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.33 Version-Log: Fix a bug when computing the power of two. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.32 Version-Log: Avoid recomputing everytime the list of output vars by storing it in an env_state field. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.31 Version-Log: Add an option --no-oracle to prevent that lurette calls the oracle. The solution number counting function was wrong. Also, make it easy to switch to float, or to big_int, to store the number of solution numbers. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.30 Version-Log: Various fixes so that lurette can be build from scratch. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.29 Version-Log: gen_stubs.ml: Updates the stubs files (lurette_stub.ml, sut_stub.c, sut_idl_stub.idl, oracle_stub.c, oracle_idl_stub.idl) iff they have changed to avoid unnecessary recompilations. Makefile: Minor cosmetic changes. wtree.ml,mli: env.ml: Also remove a loop in the dependencies that was confusing ocamldot (but how could it work before with that loop ?). To do that, pass Solver.is_satisfiable as a argument of Wtree.choose_n_formula so that Wtree does not depend on Solver anymore. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.28 Version-Log: Put the names of the environements in the sim2chro window title. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.27 Version-Log: Add a test flag to Ocamlmake. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.26 Version-Log: Add an option --sith-seed that lets one set the value of the seed used to initialize the random engine. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.25 Version-Log: Re-arrange the code so that lurette_stub.ml is not called by all the modules of lurette to avoid that everything is recompiled each time a new sut is used. To do that, lurette nows only manipulates list of substitutuions instead of tuples (as only lurette_stub knows the size of the tuples). Also fix two bugs along the way: o wtree.ml: Random.int n draw between 0 inclusive and n *exclusive* ! o wtree.ml: in wtree_product, make sure that I do not unsort list of nodes o solver.ml: in draw_in_bdd, I was tossing up the top var of the formula instead of tossing up the one of the support Plus a few cosmetic change: show_env.ml: lurette.ml: prints the previous nodes in green environment.ps lurette.ml: rename arcs_inputs_loc into nll_inputs_loc. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.24 Version-Log: command_line.ml,mli: (New files) lurette.ml: Handle options at the lurette command line. Give better error messages. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.23 Version-Log: Make the examples of Yvan work. Fix a bunch of bugs alonf the way... Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.22 Version-Log: Add a bdd-based boolean solver to draw inside formula. Also remove several module opening and use explicit module qualification instead lurette.ml: env_state.ml: Define a function in env.ml to get the list of input and outputs var names and use it in lurette.ml env_state.ml: Add several fields to the env_state structure: * node_to_file_name: to be able to retrieve the list of vars that ougth to be generated from a list of nodes (Indeed, some vars that should be tossed up do no necessarily appear in formula; and once the whole bdd has been traversed for the draw, we need to be able to know what variable are still to be drawn). * var_name_to_index and index_to_var_name: to index output and local variable names. Indeed, the bdd library we use manipulates var as int, not string. * bdd_tbl: be cause transforming a formula into a bdd is expensive, we store the result of this transformation in a table. Define the var_names field as an Hashtbl instead of a list for homogeneity. Define functions that retrieve the list of input (resp output and local) vars from env_state to avois code duplication. env.ml: Initialize the new fields of env_state. util.ml: util.mli: Add a new function that computes the intersection of 2 lists. solver.ml: Implement a real boolean solver using bdds. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.21 Version-Log: Change the comments layout so that ocamldoc is able to process them nicely. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.20 Version-Log: Removes a few hard coded paths. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.19 Version-Log: Just a couple of cosmetic changes. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.18 Version-Log: Fix a bug where the variables were not given in the good order to the oracle. Give a diagnostic when the oracle is broken. Put everything related to sim2chro in tis own module. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.17 Version-Log: Handle pre in formula and expressions. Also add (in green) the environment local vars in the sim2chro output. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.16 Version-Log: Plug sim2cro to the lurette outputs. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.15 Version-Log: Fix a problem in Ocamlmake Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.14 Version-Log: Put gen_stubs into the source directory. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.13 Version-Log: Now lurette can hanble multiple environements that can either be run as a product or in parallel. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.12 Version-Log: Just a few cosmetic changes. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.11 Version-Log: Add a version of sut_idl_stub.ml in interface for testing purposes. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.10 Version-Log: Fixing bugs. Now it can runs sut that have several inputs and outputs. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.6 Version-Log: lurette.ml: Removing dead code. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 0.9 Version-Log: empty Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.5 Version-Log: Lurette tourne avec edge.lus vrai.lus et random_bool.aut ! Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.4 Version-Log: empty Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.3 Version-Log: Cette fois ci, ca marche vraimet !! Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.2 Version-Log: camlidl marche!!! J'arrive a executer edge.c depuis caml. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: perso.1 Version-Log: empty Project-Description: Lurette
-