[teyjus/teyjus] cdcf76: A branch to move the C builtins to OCaml
0 views
Skip to first unread message
fafounet
Mar 23, 2015, 9:39:02 AM3/23/15
to teyju...@googlegroups.com
Branch: refs/heads/ocaml-builtins
Home: https://github.com/teyjus/teyjus
Commit: cdcf7697d0bfdd6c64429da24e56af51623d2917
https://github.com/teyjus/teyjus/commit/cdcf7697d0bfdd6c64429da24e56af51623d2917
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-16 (Sat, 16 Feb 2013)
Log Message:
-----------
A branch to move the C builtins to OCaml
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1034 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a4ed80b9e10d0bab1897cb1f07351c172eab3e3c
https://github.com/teyjus/teyjus/commit/a4ed80b9e10d0bab1897cb1f07351c172eab3e3c
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-16 (Sat, 16 Feb 2013)
Changed paths:
M source/front/caml/alloc.h
M source/front/caml/bigarray.h
M source/front/caml/callback.h
M source/front/caml/compatibility.h
M source/front/caml/config.h
M source/front/caml/custom.h
M source/front/caml/fail.h
M source/front/caml/intext.h
M source/front/caml/memory.h
M source/front/caml/misc.h
M source/front/caml/mlvalues.h
M source/front/caml/printexc.h
M source/front/caml/signals.h
Log Message:
-----------
Up-to-date headers for the C-OCaml interface
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1035 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1bda681118120c19553725423a8125aab46d85c8
https://github.com/teyjus/teyjus/commit/1bda681118120c19553725423a8125aab46d85c8
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-18 (Mon, 18 Feb 2013)
Changed paths:
M source/OMakefile
M source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/simulatorfront.ml
Log Message:
-----------
Ongoing changes
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1039 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: f822d1ba11c627e0a095e86847a02624a7a8be04
https://github.com/teyjus/teyjus/commit/f822d1ba11c627e0a095e86847a02624a7a8be04
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-22 (Fri, 22 Feb 2013)
Changed paths:
M source/compiler/compile.ml
M source/compiler/compile.mli
A source/front/io.ml
A source/front/io.mli
M source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/query.ml
M source/front/query.mli
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/simulator/builtins/io.c
Log Message:
-----------
The readterm IoPred reads stdin within the OCaml part.
There is thus no restriction on the number of characters.
It is also possible to write a term across several lines.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1040 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: fd1c08750560fb71fcab85747d5660d62c208e8b
https://github.com/teyjus/teyjus/commit/fd1c08750560fb71fcab85747d5660d62c208e8b
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-22 (Fri, 22 Feb 2013)
Changed paths:
M source/compiler/compile.ml
M source/compiler/compile.mli
M source/front/io.ml
M source/front/io.mli
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/query.ml
M source/front/query.mli
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/front/simulatorfront.ml
M source/simulator/builtins/io.c
Log Message:
-----------
open_in and readterm are now tranferred to the OCaml.
Errors and file names output to be fixed.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1041 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 2aedf07357f3faf9bd4b019d8cd5bb6e03a6b8ba
https://github.com/teyjus/teyjus/commit/2aedf07357f3faf9bd4b019d8cd5bb6e03a6b8ba
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/OMakefile
R source/compiler/makefile
M source/front/io.ml
R source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/simulator/builtins/io.c
R util/ocamake.ml
Log Message:
-----------
Open_in, close_in, readterm are now in the OCaml part
with the same meanings (without bugs)
+ Removing of useless ocamake files
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1043 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 96889fd81a7d367e76836ef22534da8908424bb9
https://github.com/teyjus/teyjus/commit/96889fd81a7d367e76836ef22534da8908424bb9
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/OMakefile
M source/VisualStudio/libsim.vcproj
A source/front/io_c.c
A source/front/io_c.h
R source/front/readterm_c.c
R source/front/readterm_c.h
M source/simulator/builtins/io.c
Log Message:
-----------
Renaming of readterm_c.{c,h} to the more global and coherent io_c.{c,h}
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1044 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 5d938c0032304de2e03f23c47e5f5710c0cdf3e7
https://github.com/teyjus/teyjus/commit/5d938c0032304de2e03f23c47e5f5710c0cdf3e7
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/front/io.ml
M source/front/io.mli
M source/simulator/builtins/io.c
M source/system/error.c
M source/system/error.h
M source/system/stream.c
M source/system/stream.h
M source/system/streamlocal.h
Log Message:
-----------
Indentation fix for front/io.ml and useless C functions removed
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1045 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a8c5b59820185c1534f7db793c1e775ad68635f6
https://github.com/teyjus/teyjus/commit/a8c5b59820185c1534f7db793c1e775ad68635f6
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-27 (Wed, 27 Feb 2013)
Changed paths:
M source/simulator/builtins/io.c
M source/system/stream.c
M source/system/stream.h
M source/system/streamlocal.h
Log Message:
-----------
Too many things were removed in the previous commit
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1046 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: d79288bb1d7ed23ad7cdb199c8690409bdcf1b7c
https://github.com/teyjus/teyjus/commit/d79288bb1d7ed23ad7cdb199c8690409bdcf1b7c
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-28 (Thu, 28 Feb 2013)
Changed paths:
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
M source/simulator/dataformats.c
M source/simulator/dataformats.h
M source/simulator/printterm.c
Log Message:
-----------
In progress (added a new tag for file information in the machine).
For the moment both streams and finfo exist but later only finfo
will remain (hopefully).
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1047 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a909d5695aeaab6be5da55917b63fc8199e844ac
https://github.com/teyjus/teyjus/commit/a909d5695aeaab6be5da55917b63fc8199e844ac
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-06 (Wed, 06 Mar 2013)
Changed paths:
A TODO_IO
M source/simulator/builtins/io.c
Log Message:
-----------
Some progress and a file to keep tracks of progress
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1048 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1153dcb6875bfa54dfd779002d7a535906ab53b2
https://github.com/teyjus/teyjus/commit/1153dcb6875bfa54dfd779002d7a535906ab53b2
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-07 (Thu, 07 Mar 2013)
Changed paths:
M TODO_IO
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
M source/simulator/dataformats.c
Log Message:
-----------
readterm std_in works
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1050 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 7b57ba51d3e40b220f9dbfdad6e73662c776c2c7
https://github.com/teyjus/teyjus/commit/7b57ba51d3e40b220f9dbfdad6e73662c776c2c7
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-27 (Wed, 27 Mar 2013)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
Log Message:
-----------
input_line works on std_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1053 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1878f7d58080dd0ec2fb6b76bb907d61ed98401c
https://github.com/teyjus/teyjus/commit/1878f7d58080dd0ec2fb6b76bb907d61ed98401c
Author: fafounet <fafo...@gmail.com>
Date: 2013-11-28 (Thu, 28 Nov 2013)
Changed paths:
M implnotes/compiler/compiler_module_structure
M implnotes/compiler/compiler_structure
M source/OMakefile
M source/compiler/absyn.ml
M source/compiler/absyn.mli
M source/compiler/annvariables.ml
M source/compiler/clausegen.ml
M source/compiler/clauses.ml
M source/compiler/codegen.ml
M source/compiler/compile.ml
M source/compiler/errormsg.ml
M source/compiler/errormsg.mli
A source/compiler/explicit.ml
A source/compiler/explicit.mli
M source/compiler/lplex.mll
M source/compiler/lpyacc.mly
M source/compiler/parse.ml
M source/compiler/parse.mli
M source/compiler/pervasiveutils.ml
M source/compiler/preabsyn.ml
M source/compiler/preabsyn.mli
M source/compiler/processclauses.ml
M source/compiler/registers.ml
M source/compiler/registers.mli
M source/compiler/symbol.ml
M source/compiler/table.ml
M source/compiler/table.mli
M source/compiler/translate.ml
M source/compiler/translate.mli
M source/compiler/typereduction.ml
M source/compiler/typereduction.mli
M source/compiler/types.ml
M source/compiler/types.mli
M source/disassembler/context.ml
M source/front/ccode_stubs.c
M source/front/compilerfront.ml
M source/front/module.ml
M source/front/parsefront.ml
M source/front/query.ml
M source/front/readterm.ml
M source/front/simulatorfront.ml
M source/include/standardlib.h
M source/linker/file.c
M source/linker/importtab.c
M source/loader/importtab.c
M source/simulator/builtins/compexp.c
M source/simulator/hopu.c
M source/simulator/mcstring.c
M source/simulator/printterm.c
M source/system/stream.c
M source/tables_gen/instrformats/instrgen-c.c
M source/tables_gen/pervasives/ccode.c
M source/tables_gen/pervasives/makefile
M source/tables_gen/pervasives/ocamlcode.c
M source/tables_gen/pervasives/pervgen-c.c
M source/test/OMakefile
A source/test/compiler_negative_tests/OMakefile
A source/test/compiler_negative_tests/exportdef/run_test
A source/test/compiler_negative_tests/exportdef_useonly/run_test
A source/test/compiler_negative_tests/fixity_precedence/run_test
A source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.mod
A source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.sig
A source/test/compiler_negative_tests/multiple_local_constants/run_test
A source/test/compiler_negative_tests/overloaded_ops/run_test
A source/test/compiler_negative_tests/use_sig/run_test
A source/test/compiler_negative_tests/useonly/run_test
M source/test/compiler_tests/test25/fixity_prec.sig
A source/test/system_tests/exportdef/acc_a.mod
A source/test/system_tests/exportdef/acc_a.sig
A source/test/system_tests/exportdef/acc_b.mod
A source/test/system_tests/exportdef/acc_b.sig
A source/test/system_tests/exportdef/exportdef.t
A source/test/system_tests/exportdef/main.mod
A source/test/system_tests/exportdef/main.om
A source/test/system_tests/exportdef/main.sig
M source/test/system_tests/hocompiler/comp.t
M source/test/system_tests/hocompiler/realsparc.mod
Log Message:
-----------
Merge trunk in ocaml-builtins
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1129 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 92db1eb9199688521a9b456b82b7c2a796ec721b
https://github.com/teyjus/teyjus/commit/92db1eb9199688521a9b456b82b7c2a796ec721b
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-06 (Tue, 06 Jan 2015)
Changed paths:
M TODO_IO
M source/OMakefile
A source/front/IO_NOTES
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
Log Message:
-----------
Some notes, starting to handle input -- have to clean this mess
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1160 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 5ee50e8cc0266dbe955d244553b1f4946dd91cb0
https://github.com/teyjus/teyjus/commit/5ee50e8cc0266dbe955d244553b1f4946dd91cb0
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-06 (Tue, 06 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/simulator/builtins/io.c
Log Message:
-----------
Progress on the input predicate
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1162 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 3e505bcf417a6848498b3b3bbaa811650619ef7a
https://github.com/teyjus/teyjus/commit/3e505bcf417a6848498b3b3bbaa811650619ef7a
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-07 (Wed, 07 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
Log Message:
-----------
Fixes input when calling it several times on the same stream
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1163 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 9d21344ed1975bde78f40e235722c1db5b73ada8
https://github.com/teyjus/teyjus/commit/9d21344ed1975bde78f40e235722c1db5b73ada8
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-08 (Thu, 08 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/simulator/builtins/io.c
Log Message:
-----------
input behaves correctly when accessing an already closed stream
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1165 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 40193bceccc16f736425584945bd4c9e5b1af97c
https://github.com/teyjus/teyjus/commit/40193bceccc16f736425584945bd4c9e5b1af97c
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-08 (Thu, 08 Jan 2015)
Changed paths:
M source/simulator/builtins/io.c
Log Message:
-----------
Fixes issue 94
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1166 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: ea5f3e35173eb2e1964927eba7a16e6878c8e084
https://github.com/teyjus/teyjus/commit/ea5f3e35173eb2e1964927eba7a16e6878c8e084
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-10 (Sat, 10 Jan 2015)
Changed paths:
M source/front/io.ml
M source/simulator/builtins/builtins.c
M source/simulator/builtins/builtins.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
Log Message:
-----------
Starting to handle standard streams properly in the C part + new error
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1167 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: ecf2cd8df7ac6e0ca76013b047d64cf15beeb448
https://github.com/teyjus/teyjus/commit/ecf2cd8df7ac6e0ca76013b047d64cf15beeb448
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
M TODO_IO
M source/OMakefile
M source/README
M source/test/OMakefile
A source/test/io_tests/OMakefile
A source/test/io_tests/harness
A source/test/io_tests/open_in/bar
A source/test/io_tests/open_in/open_in.mod
A source/test/io_tests/open_in/open_in.sig
A source/test/io_tests/open_in/open_in.t
Log Message:
-----------
Add new directory for IO tests.
All functionalities for IO need to be tested.
So far, we can only test that Teyjus returned an error but we cannot
check which one. This has to be fixed.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1168 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 9570e5cc2eebb32ebcfefe254d6b01715099da86
https://github.com/teyjus/teyjus/commit/9570e5cc2eebb32ebcfefe254d6b01715099da86
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
A source/test/io_tests/close_in/bar
A source/test/io_tests/close_in/close_in.mod
A source/test/io_tests/close_in/close_in.sig
A source/test/io_tests/close_in/close_in.t
M source/test/io_tests/open_in/open_in.mod
M source/test/io_tests/open_in/open_in.sig
M source/test/io_tests/open_in/open_in.t
Log Message:
-----------
More tests for open_in, new tests for close_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1170 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 4f76f3390fa6853f89763cf4ee69f3b74d35b423
https://github.com/teyjus/teyjus/commit/4f76f3390fa6853f89763cf4ee69f3b74d35b423
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
A source/test/io_tests/issue60/another.mod
A source/test/io_tests/issue60/another.sig
A source/test/io_tests/issue60/another.t
A source/test/io_tests/issue60/main.om
Log Message:
-----------
Test for issue60
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1171 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: bad988d2a2eee99535862da209b0bfe7674aab63
https://github.com/teyjus/teyjus/commit/bad988d2a2eee99535862da209b0bfe7674aab63
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-25 (Sun, 25 Jan 2015)
Changed paths:
M source/test/io_tests/OMakefile
A source/test/io_tests/README
M source/test/io_tests/close_in/close_in.mod
M source/test/io_tests/close_in/close_in.sig
R source/test/io_tests/close_in/close_in.t
A source/test/io_tests/close_in/close_in_2.sh
A source/test/io_tests/close_in/close_in_3.sh
M source/test/io_tests/issue60/another.mod
M source/test/io_tests/issue60/another.sig
R source/test/io_tests/issue60/another.t
A source/test/io_tests/issue60/issue60.sh
A source/test/io_tests/issue60/test.tex
M source/test/io_tests/open_in/open_in.mod
M source/test/io_tests/open_in/open_in.sig
M source/test/io_tests/open_in/open_in.t
A source/test/io_tests/open_in/open_in_1.sh
A source/test/io_tests/open_in/open_in_2.sh
A source/test/io_tests/open_in/open_in_3.sh
A source/test/io_tests/open_in/open_in_4.sh
A source/test/io_tests/read/read.mod
A source/test/io_tests/read/read.sh
A source/test/io_tests/read/read.sig
A source/test/io_tests/run_all.sh
Log Message:
-----------
Using now bash to test IO
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1172 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 7537208b2e5f3df4eb35d97b8ff61c9b1caa755c
https://github.com/teyjus/teyjus/commit/7537208b2e5f3df4eb35d97b8ff61c9b1caa755c
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
R source/test/io_tests/read/read.sh
A source/test/io_tests/read/read_1.sh
A source/test/io_tests/read/read_2.sh
M source/test/io_tests/run_all.sh
Log Message:
-----------
Another test for read + possibility of writing more general tests
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1174 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 6f2007f6f2b249e7e06241d6160ebd26735f9e2a
https://github.com/teyjus/teyjus/commit/6f2007f6f2b249e7e06241d6160ebd26735f9e2a
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
M source/simulator/builtins/io.c
Log Message:
-----------
readterm can now read from standard input
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1175 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 3206141814e8685e2943c271c2c3f2a71e9152f8
https://github.com/teyjus/teyjus/commit/3206141814e8685e2943c271c2c3f2a71e9152f8
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
M TODO_IO
A source/test/io_tests/readterm/readterm.mod
A source/test/io_tests/readterm/readterm.sig
A source/test/io_tests/readterm/readterm_1.sh
Log Message:
-----------
Test for readterm reading std_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1176 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: d7a8cbb2903690ccbc525ff3c8ea613df13259f9
https://github.com/teyjus/teyjus/commit/d7a8cbb2903690ccbc525ff3c8ea613df13259f9
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
A source/test/io_tests/readterm/bar
A source/test/io_tests/readterm/bar_multiple
A source/test/io_tests/readterm/foo
M source/test/io_tests/readterm/readterm.mod
M source/test/io_tests/readterm/readterm.sig
A source/test/io_tests/readterm/readterm_2.sh
A source/test/io_tests/readterm/readterm_3.sh
A source/test/io_tests/readterm/readterm_4.sh
Log Message:
-----------
More tests for readterm
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1177 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Compare: https://github.com/teyjus/teyjus/compare/d666ee536e65...d7a8cbb29036
Home: https://github.com/teyjus/teyjus
Commit: cdcf7697d0bfdd6c64429da24e56af51623d2917
https://github.com/teyjus/teyjus/commit/cdcf7697d0bfdd6c64429da24e56af51623d2917
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-16 (Sat, 16 Feb 2013)
Log Message:
-----------
A branch to move the C builtins to OCaml
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1034 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a4ed80b9e10d0bab1897cb1f07351c172eab3e3c
https://github.com/teyjus/teyjus/commit/a4ed80b9e10d0bab1897cb1f07351c172eab3e3c
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-16 (Sat, 16 Feb 2013)
Changed paths:
M source/front/caml/alloc.h
M source/front/caml/bigarray.h
M source/front/caml/callback.h
M source/front/caml/compatibility.h
M source/front/caml/config.h
M source/front/caml/custom.h
M source/front/caml/fail.h
M source/front/caml/intext.h
M source/front/caml/memory.h
M source/front/caml/misc.h
M source/front/caml/mlvalues.h
M source/front/caml/printexc.h
M source/front/caml/signals.h
Log Message:
-----------
Up-to-date headers for the C-OCaml interface
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1035 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1bda681118120c19553725423a8125aab46d85c8
https://github.com/teyjus/teyjus/commit/1bda681118120c19553725423a8125aab46d85c8
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-18 (Mon, 18 Feb 2013)
Changed paths:
M source/OMakefile
M source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/simulatorfront.ml
Log Message:
-----------
Ongoing changes
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1039 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: f822d1ba11c627e0a095e86847a02624a7a8be04
https://github.com/teyjus/teyjus/commit/f822d1ba11c627e0a095e86847a02624a7a8be04
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-22 (Fri, 22 Feb 2013)
Changed paths:
M source/compiler/compile.ml
M source/compiler/compile.mli
A source/front/io.ml
A source/front/io.mli
M source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/query.ml
M source/front/query.mli
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/simulator/builtins/io.c
Log Message:
-----------
The readterm IoPred reads stdin within the OCaml part.
There is thus no restriction on the number of characters.
It is also possible to write a term across several lines.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1040 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: fd1c08750560fb71fcab85747d5660d62c208e8b
https://github.com/teyjus/teyjus/commit/fd1c08750560fb71fcab85747d5660d62c208e8b
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-22 (Fri, 22 Feb 2013)
Changed paths:
M source/compiler/compile.ml
M source/compiler/compile.mli
M source/front/io.ml
M source/front/io.mli
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/query.ml
M source/front/query.mli
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/front/simulatorfront.ml
M source/simulator/builtins/io.c
Log Message:
-----------
open_in and readterm are now tranferred to the OCaml.
Errors and file names output to be fixed.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1041 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 2aedf07357f3faf9bd4b019d8cd5bb6e03a6b8ba
https://github.com/teyjus/teyjus/commit/2aedf07357f3faf9bd4b019d8cd5bb6e03a6b8ba
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/OMakefile
R source/compiler/makefile
M source/front/io.ml
R source/front/makefile
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/front/readterm_c.c
M source/front/readterm_c.h
M source/simulator/builtins/io.c
R util/ocamake.ml
Log Message:
-----------
Open_in, close_in, readterm are now in the OCaml part
with the same meanings (without bugs)
+ Removing of useless ocamake files
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1043 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 96889fd81a7d367e76836ef22534da8908424bb9
https://github.com/teyjus/teyjus/commit/96889fd81a7d367e76836ef22534da8908424bb9
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/OMakefile
M source/VisualStudio/libsim.vcproj
A source/front/io_c.c
A source/front/io_c.h
R source/front/readterm_c.c
R source/front/readterm_c.h
M source/simulator/builtins/io.c
Log Message:
-----------
Renaming of readterm_c.{c,h} to the more global and coherent io_c.{c,h}
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1044 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 5d938c0032304de2e03f23c47e5f5710c0cdf3e7
https://github.com/teyjus/teyjus/commit/5d938c0032304de2e03f23c47e5f5710c0cdf3e7
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-25 (Mon, 25 Feb 2013)
Changed paths:
M source/front/io.ml
M source/front/io.mli
M source/simulator/builtins/io.c
M source/system/error.c
M source/system/error.h
M source/system/stream.c
M source/system/stream.h
M source/system/streamlocal.h
Log Message:
-----------
Indentation fix for front/io.ml and useless C functions removed
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1045 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a8c5b59820185c1534f7db793c1e775ad68635f6
https://github.com/teyjus/teyjus/commit/a8c5b59820185c1534f7db793c1e775ad68635f6
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-27 (Wed, 27 Feb 2013)
Changed paths:
M source/simulator/builtins/io.c
M source/system/stream.c
M source/system/stream.h
M source/system/streamlocal.h
Log Message:
-----------
Too many things were removed in the previous commit
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1046 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: d79288bb1d7ed23ad7cdb199c8690409bdcf1b7c
https://github.com/teyjus/teyjus/commit/d79288bb1d7ed23ad7cdb199c8690409bdcf1b7c
Author: fafounet <fafo...@gmail.com>
Date: 2013-02-28 (Thu, 28 Feb 2013)
Changed paths:
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
M source/simulator/dataformats.c
M source/simulator/dataformats.h
M source/simulator/printterm.c
Log Message:
-----------
In progress (added a new tag for file information in the machine).
For the moment both streams and finfo exist but later only finfo
will remain (hopefully).
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1047 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: a909d5695aeaab6be5da55917b63fc8199e844ac
https://github.com/teyjus/teyjus/commit/a909d5695aeaab6be5da55917b63fc8199e844ac
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-06 (Wed, 06 Mar 2013)
Changed paths:
A TODO_IO
M source/simulator/builtins/io.c
Log Message:
-----------
Some progress and a file to keep tracks of progress
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1048 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1153dcb6875bfa54dfd779002d7a535906ab53b2
https://github.com/teyjus/teyjus/commit/1153dcb6875bfa54dfd779002d7a535906ab53b2
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-07 (Thu, 07 Mar 2013)
Changed paths:
M TODO_IO
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
M source/simulator/dataformats.c
Log Message:
-----------
readterm std_in works
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1050 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 7b57ba51d3e40b220f9dbfdad6e73662c776c2c7
https://github.com/teyjus/teyjus/commit/7b57ba51d3e40b220f9dbfdad6e73662c776c2c7
Author: fafounet <fafo...@gmail.com>
Date: 2013-03-27 (Wed, 27 Mar 2013)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
Log Message:
-----------
input_line works on std_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1053 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 1878f7d58080dd0ec2fb6b76bb907d61ed98401c
https://github.com/teyjus/teyjus/commit/1878f7d58080dd0ec2fb6b76bb907d61ed98401c
Author: fafounet <fafo...@gmail.com>
Date: 2013-11-28 (Thu, 28 Nov 2013)
Changed paths:
M implnotes/compiler/compiler_module_structure
M implnotes/compiler/compiler_structure
M source/OMakefile
M source/compiler/absyn.ml
M source/compiler/absyn.mli
M source/compiler/annvariables.ml
M source/compiler/clausegen.ml
M source/compiler/clauses.ml
M source/compiler/codegen.ml
M source/compiler/compile.ml
M source/compiler/errormsg.ml
M source/compiler/errormsg.mli
A source/compiler/explicit.ml
A source/compiler/explicit.mli
M source/compiler/lplex.mll
M source/compiler/lpyacc.mly
M source/compiler/parse.ml
M source/compiler/parse.mli
M source/compiler/pervasiveutils.ml
M source/compiler/preabsyn.ml
M source/compiler/preabsyn.mli
M source/compiler/processclauses.ml
M source/compiler/registers.ml
M source/compiler/registers.mli
M source/compiler/symbol.ml
M source/compiler/table.ml
M source/compiler/table.mli
M source/compiler/translate.ml
M source/compiler/translate.mli
M source/compiler/typereduction.ml
M source/compiler/typereduction.mli
M source/compiler/types.ml
M source/compiler/types.mli
M source/disassembler/context.ml
M source/front/ccode_stubs.c
M source/front/compilerfront.ml
M source/front/module.ml
M source/front/parsefront.ml
M source/front/query.ml
M source/front/readterm.ml
M source/front/simulatorfront.ml
M source/include/standardlib.h
M source/linker/file.c
M source/linker/importtab.c
M source/loader/importtab.c
M source/simulator/builtins/compexp.c
M source/simulator/hopu.c
M source/simulator/mcstring.c
M source/simulator/printterm.c
M source/system/stream.c
M source/tables_gen/instrformats/instrgen-c.c
M source/tables_gen/pervasives/ccode.c
M source/tables_gen/pervasives/makefile
M source/tables_gen/pervasives/ocamlcode.c
M source/tables_gen/pervasives/pervgen-c.c
M source/test/OMakefile
A source/test/compiler_negative_tests/OMakefile
A source/test/compiler_negative_tests/exportdef/run_test
A source/test/compiler_negative_tests/exportdef_useonly/run_test
A source/test/compiler_negative_tests/fixity_precedence/run_test
A source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.mod
A source/test/compiler_negative_tests/multiple_local_constants/multiple_constants.sig
A source/test/compiler_negative_tests/multiple_local_constants/run_test
A source/test/compiler_negative_tests/overloaded_ops/run_test
A source/test/compiler_negative_tests/use_sig/run_test
A source/test/compiler_negative_tests/useonly/run_test
M source/test/compiler_tests/test25/fixity_prec.sig
A source/test/system_tests/exportdef/acc_a.mod
A source/test/system_tests/exportdef/acc_a.sig
A source/test/system_tests/exportdef/acc_b.mod
A source/test/system_tests/exportdef/acc_b.sig
A source/test/system_tests/exportdef/exportdef.t
A source/test/system_tests/exportdef/main.mod
A source/test/system_tests/exportdef/main.om
A source/test/system_tests/exportdef/main.sig
M source/test/system_tests/hocompiler/comp.t
M source/test/system_tests/hocompiler/realsparc.mod
Log Message:
-----------
Merge trunk in ocaml-builtins
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1129 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 92db1eb9199688521a9b456b82b7c2a796ec721b
https://github.com/teyjus/teyjus/commit/92db1eb9199688521a9b456b82b7c2a796ec721b
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-06 (Tue, 06 Jan 2015)
Changed paths:
M TODO_IO
M source/OMakefile
A source/front/IO_NOTES
M source/front/io.ml
M source/front/io_c.c
M source/front/io_c.h
M source/front/ocaml_wrap.c
M source/front/ocaml_wrap.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
Log Message:
-----------
Some notes, starting to handle input -- have to clean this mess
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1160 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 5ee50e8cc0266dbe955d244553b1f4946dd91cb0
https://github.com/teyjus/teyjus/commit/5ee50e8cc0266dbe955d244553b1f4946dd91cb0
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-06 (Tue, 06 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/simulator/builtins/io.c
Log Message:
-----------
Progress on the input predicate
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1162 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 3e505bcf417a6848498b3b3bbaa811650619ef7a
https://github.com/teyjus/teyjus/commit/3e505bcf417a6848498b3b3bbaa811650619ef7a
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-07 (Wed, 07 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
Log Message:
-----------
Fixes input when calling it several times on the same stream
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1163 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 9d21344ed1975bde78f40e235722c1db5b73ada8
https://github.com/teyjus/teyjus/commit/9d21344ed1975bde78f40e235722c1db5b73ada8
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-08 (Thu, 08 Jan 2015)
Changed paths:
M TODO_IO
M source/front/io.ml
M source/simulator/builtins/io.c
Log Message:
-----------
input behaves correctly when accessing an already closed stream
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1165 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 40193bceccc16f736425584945bd4c9e5b1af97c
https://github.com/teyjus/teyjus/commit/40193bceccc16f736425584945bd4c9e5b1af97c
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-08 (Thu, 08 Jan 2015)
Changed paths:
M source/simulator/builtins/io.c
Log Message:
-----------
Fixes issue 94
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1166 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: ea5f3e35173eb2e1964927eba7a16e6878c8e084
https://github.com/teyjus/teyjus/commit/ea5f3e35173eb2e1964927eba7a16e6878c8e084
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-10 (Sat, 10 Jan 2015)
Changed paths:
M source/front/io.ml
M source/simulator/builtins/builtins.c
M source/simulator/builtins/builtins.h
M source/simulator/builtins/io.c
M source/simulator/builtins/io.h
Log Message:
-----------
Starting to handle standard streams properly in the C part + new error
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1167 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: ecf2cd8df7ac6e0ca76013b047d64cf15beeb448
https://github.com/teyjus/teyjus/commit/ecf2cd8df7ac6e0ca76013b047d64cf15beeb448
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
M TODO_IO
M source/OMakefile
M source/README
M source/test/OMakefile
A source/test/io_tests/OMakefile
A source/test/io_tests/harness
A source/test/io_tests/open_in/bar
A source/test/io_tests/open_in/open_in.mod
A source/test/io_tests/open_in/open_in.sig
A source/test/io_tests/open_in/open_in.t
Log Message:
-----------
Add new directory for IO tests.
All functionalities for IO need to be tested.
So far, we can only test that Teyjus returned an error but we cannot
check which one. This has to be fixed.
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1168 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 9570e5cc2eebb32ebcfefe254d6b01715099da86
https://github.com/teyjus/teyjus/commit/9570e5cc2eebb32ebcfefe254d6b01715099da86
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
A source/test/io_tests/close_in/bar
A source/test/io_tests/close_in/close_in.mod
A source/test/io_tests/close_in/close_in.sig
A source/test/io_tests/close_in/close_in.t
M source/test/io_tests/open_in/open_in.mod
M source/test/io_tests/open_in/open_in.sig
M source/test/io_tests/open_in/open_in.t
Log Message:
-----------
More tests for open_in, new tests for close_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1170 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 4f76f3390fa6853f89763cf4ee69f3b74d35b423
https://github.com/teyjus/teyjus/commit/4f76f3390fa6853f89763cf4ee69f3b74d35b423
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-16 (Fri, 16 Jan 2015)
Changed paths:
A source/test/io_tests/issue60/another.mod
A source/test/io_tests/issue60/another.sig
A source/test/io_tests/issue60/another.t
A source/test/io_tests/issue60/main.om
Log Message:
-----------
Test for issue60
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1171 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: bad988d2a2eee99535862da209b0bfe7674aab63
https://github.com/teyjus/teyjus/commit/bad988d2a2eee99535862da209b0bfe7674aab63
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-25 (Sun, 25 Jan 2015)
Changed paths:
M source/test/io_tests/OMakefile
A source/test/io_tests/README
M source/test/io_tests/close_in/close_in.mod
M source/test/io_tests/close_in/close_in.sig
R source/test/io_tests/close_in/close_in.t
A source/test/io_tests/close_in/close_in_2.sh
A source/test/io_tests/close_in/close_in_3.sh
M source/test/io_tests/issue60/another.mod
M source/test/io_tests/issue60/another.sig
R source/test/io_tests/issue60/another.t
A source/test/io_tests/issue60/issue60.sh
A source/test/io_tests/issue60/test.tex
M source/test/io_tests/open_in/open_in.mod
M source/test/io_tests/open_in/open_in.sig
M source/test/io_tests/open_in/open_in.t
A source/test/io_tests/open_in/open_in_1.sh
A source/test/io_tests/open_in/open_in_2.sh
A source/test/io_tests/open_in/open_in_3.sh
A source/test/io_tests/open_in/open_in_4.sh
A source/test/io_tests/read/read.mod
A source/test/io_tests/read/read.sh
A source/test/io_tests/read/read.sig
A source/test/io_tests/run_all.sh
Log Message:
-----------
Using now bash to test IO
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1172 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 7537208b2e5f3df4eb35d97b8ff61c9b1caa755c
https://github.com/teyjus/teyjus/commit/7537208b2e5f3df4eb35d97b8ff61c9b1caa755c
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
R source/test/io_tests/read/read.sh
A source/test/io_tests/read/read_1.sh
A source/test/io_tests/read/read_2.sh
M source/test/io_tests/run_all.sh
Log Message:
-----------
Another test for read + possibility of writing more general tests
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1174 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 6f2007f6f2b249e7e06241d6160ebd26735f9e2a
https://github.com/teyjus/teyjus/commit/6f2007f6f2b249e7e06241d6160ebd26735f9e2a
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
M source/simulator/builtins/io.c
Log Message:
-----------
readterm can now read from standard input
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1175 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: 3206141814e8685e2943c271c2c3f2a71e9152f8
https://github.com/teyjus/teyjus/commit/3206141814e8685e2943c271c2c3f2a71e9152f8
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
M TODO_IO
A source/test/io_tests/readterm/readterm.mod
A source/test/io_tests/readterm/readterm.sig
A source/test/io_tests/readterm/readterm_1.sh
Log Message:
-----------
Test for readterm reading std_in
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1176 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Commit: d7a8cbb2903690ccbc525ff3c8ea613df13259f9
https://github.com/teyjus/teyjus/commit/d7a8cbb2903690ccbc525ff3c8ea613df13259f9
Author: fafounet <fafo...@gmail.com>
Date: 2015-01-27 (Tue, 27 Jan 2015)
Changed paths:
A source/test/io_tests/readterm/bar
A source/test/io_tests/readterm/bar_multiple
A source/test/io_tests/readterm/foo
M source/test/io_tests/readterm/readterm.mod
M source/test/io_tests/readterm/readterm.sig
A source/test/io_tests/readterm/readterm_2.sh
A source/test/io_tests/readterm/readterm_3.sh
A source/test/io_tests/readterm/readterm_4.sh
Log Message:
-----------
More tests for readterm
git-svn-id: https://teyjus.googlecode.com/svn/branches/ocaml-builtins@1177 da2563f4-8c35-0410-a6f7-ef3e7fa91fdf
Compare: https://github.com/teyjus/teyjus/compare/d666ee536e65...d7a8cbb29036
Reply all
Reply to author
Forward
0 new messages