-
Erwan Jahier authored
Parent-Version: 1.26 Version-Log: Add support for a stdin/stdout pipe based mode in lurette. Also make sure that the variable order is the same as in the source .luc file. source/rif.mli: source/rif.ml: New files: move from luc_exe.ml all the stuff that is related to rif input and output. source/sut.mli: source/sut.ml: source/oracle.mli: source/oracle.ml: New files -- code moved from lurette.ml + stuff for handling the pipe mode. source/luc_exe.ml: Add the possibility to launch an oracle from lucky using pipes. Project-Description: Lurette
1df63c5e