/[svn]/cduce/trunk/driver/run.ml
ViewVC logotype

Log of /cduce/trunk/driver/run.ml

Parent Directory Parent Directory | Revision Log Revision Log

Links to HEAD: (view) (annotate)
Sticky Revision:
Revision 1956 - (view) (annotate) - [select for diffs]
Modified Wed Jul 11 13:01:15 2007 UTC (5 years, 11 months ago) by abate
File length: 5960 byte(s)
Diff to previous 1952 
new svn layout
Revision 1952 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:34:19 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5960 byte(s)
Diff to previous 1845 
[r2007-06-12 12:58:41 by afrisch] starting to upgrade to OCaml 3.10

Original author: afrisch
Date: 2007-06-12 12:59:44+00:00
Revision 1845 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:26:47 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5908 byte(s)
Diff to previous 1798 
[r2006-03-17 13:25:49 by afrisch] Utiliser les -I pour les includes

Original author: afrisch
Date: 2006-03-17 13:27:38+00:00
Revision 1798 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:23:34 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5902 byte(s)
Diff to previous 1785 
[r2005-08-11 09:30:43 by afrisch] accept -c as an alias for --compile

Original author: afrisch
Date: 2005-08-11 09:30:43+00:00
Revision 1785 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:22:50 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5841 byte(s)
Diff to previous 1771 
[r2005-07-30 09:27:30 by afrisch] New printer for locations

Original author: afrisch
Date: 2005-07-30 09:27:30+00:00
Revision 1771 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:21:45 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5737 byte(s)
Diff to previous 1756 
[r2005-07-15 13:51:37 by afrisch] Get rid of mlcduce_wrapper

Original author: afrisch
Date: 2005-07-15 13:51:37+00:00
Revision 1756 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:20:37 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5416 byte(s)
Diff to previous 1753 
[r2005-07-07 15:32:44 by afrisch] MAJ manuel

Original author: afrisch
Date: 2005-07-07 15:32:44+00:00
Revision 1753 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:20:18 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5735 byte(s)
Diff to previous 1746 
[r2005-07-07 13:57:17 by afrisch] Export namespaces, schemas, ...

Original author: afrisch
Date: 2005-07-07 13:57:18+00:00
Revision 1746 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:19:37 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5703 byte(s)
Diff to previous 1497 
[r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch

Original author: afrisch
Date: 2005-07-05 13:49:26+00:00
Revision 1497 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:56:42 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6551 byte(s)
Diff to previous 1443 
[r2005-03-04 12:11:52 by afrisch] cduce_mktop

Original author: afrisch
Date: 2005-03-04 12:11:54+00:00
Revision 1443 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:50:20 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6565 byte(s)
Diff to previous 1411 
[r2005-02-01 13:10:25 by afrisch] Cleanup

Original author: afrisch
Date: 2005-02-01 13:10:26+00:00
Revision 1411 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:47:30 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6629 byte(s)
Diff to previous 1394 
[r2005-01-06 15:51:35 by afrisch] review html output, prepare demo

Original author: afrisch
Date: 2005-01-06 15:51:38+00:00
Revision 1394 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:45:23 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6584 byte(s)
Diff to previous 1192 
[r2004-12-30 00:30:19 by afrisch] --script, punning

Original author: afrisch
Date: 2004-12-30 00:30:19+00:00
Revision 1192 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:30:10 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6353 byte(s)
Diff to previous 1189 
[r2004-07-03 09:03:13 by afrisch] Reorder usage info

Original author: afrisch
Date: 2004-07-03 09:03:13+00:00
Revision 1189 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:29:49 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6239 byte(s)
Diff to previous 1188 
[r2004-06-30 17:29:12 by afrisch] Error messages

Original author: afrisch
Date: 2004-06-30 17:29:12+00:00
Revision 1188 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:29:40 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6152 byte(s)
Diff to previous 1187 
[r2004-06-29 23:32:23 by afrisch] Inhibitable features

Original author: afrisch
Date: 2004-06-29 23:32:34+00:00
Revision 1187 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:29:32 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6240 byte(s)
Diff to previous 1097 
[r2004-06-29 23:06:06 by afrisch] Cleanup. Remove options --pxp and --expat

Original author: afrisch
Date: 2004-06-29 23:06:08+00:00
Revision 1097 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:22:27 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7006 byte(s)
Diff to previous 1023 
[r2004-05-05 23:56:31 by afrisch] Revu compilation des globals

Original author: afrisch
Date: 2004-05-05 23:56:32+00:00
Revision 1023 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:17:58 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7050 byte(s)
Diff to previous 1019 
[r2004-03-09 22:59:09 by afrisch] meilleure gestion netclient

Original author: afrisch
Date: 2004-03-09 22:59:09+00:00
Revision 1019 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:17:39 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6983 byte(s)
Diff to previous 928 
[r2004-03-09 20:13:34 by jdemouth] Add ocaml interface to cduce compiler.

Original author: jdemouth
Date: 2004-03-09 20:14:57+00:00
Revision 928 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:12:07 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6825 byte(s)
Diff to previous 926 
[r2003-12-15 08:34:15 by afrisch] Menage

Original author: afrisch
Date: 2003-12-15 08:34:15+00:00
Revision 926 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:12:01 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7246 byte(s)
Diff to previous 925 
[r2003-12-13 13:51:19 by afrisch] Factorization + --verbose

Original author: afrisch
Date: 2003-12-13 13:51:20+00:00
Revision 925 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:11:48 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7257 byte(s)
Diff to previous 905 
[r2003-12-12 23:18:23 by afrisch] Cleaning

Original author: afrisch
Date: 2003-12-12 23:18:23+00:00
Revision 905 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:10:27 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7459 byte(s)
Diff to previous 817 
[r2003-12-03 11:36:30 by beppe] CURL support option added

Original author: beppe
Date: 2003-12-03 11:36:30+00:00
Revision 817 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:05:21 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7392 byte(s)
Diff to previous 723 
[r2003-11-25 09:27:34 by cmiachon] nothing -

Original author: cmiachon
Date: 2003-11-25 09:27:35+00:00
Revision 723 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:57 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7276 byte(s)
Diff to previous 721 
[r2003-10-13 20:03:05 by cvscast] Remove -o; add -I --obj-dir; error messages

Original author: cvscast
Date: 2003-10-13 20:03:06+00:00
Revision 721 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:37 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7127 byte(s)
Diff to previous 719 
[r2003-10-10 21:04:17 by cvscast] Beppe: bugfix

Original author: cvscast
Date: 2003-10-10 21:04:17+00:00
Revision 719 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:30 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 7127 byte(s)
Diff to previous 707 
[r2003-10-10 20:20:24 by cvscast] Beppe: added option -o that allows to specify the output file of the
compilation

Original author: cvscast
Date: 2003-10-10 20:20:25+00:00
Revision 707 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:57:21 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6662 byte(s)
Diff to previous 698 
[r2003-10-07 21:53:15 by cvscast] Beppe: now --compile generates a .cdo rather than .cd.out file

Original author: cvscast
Date: 2003-10-07 21:53:15+00:00
Revision 698 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:56:40 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 6659 byte(s)
Diff to previous 692 
[r2003-10-04 02:00:15 by cvscast] Compilation + serialization

Original author: cvscast
Date: 2003-10-04 02:01:37+00:00
Revision 692 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:55:30 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5449 byte(s)
Diff to previous 691 
[r2003-09-27 22:49:09 by cvscast] alternative evaluator (--compile)

Original author: cvscast
Date: 2003-09-27 22:49:09+00:00
Revision 691 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:55:19 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5368 byte(s)
Diff to previous 677 
[r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ...

Original author: cvscast
Date: 2003-09-27 12:41:34+00:00
Revision 677 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:53:53 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5241 byte(s)
Diff to previous 672 
[r2003-09-24 23:21:08 by cvscast] Cleaning

Original author: cvscast
Date: 2003-09-24 23:21:10+00:00
Revision 672 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:53:24 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5055 byte(s)
Diff to previous 668 
[r2003-09-23 19:41:35 by cvscast] Constantes structurees + suite nettoyage

Original author: cvscast
Date: 2003-09-23 19:41:36+00:00
Revision 668 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:52:43 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5245 byte(s)
Diff to previous 665 
[r2003-09-23 00:15:07 by cvscast] Passage lexer

Original author: cvscast
Date: 2003-09-23 00:16:26+00:00
Revision 665 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:52:26 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5241 byte(s)
Diff to previous 663 
[r2003-09-19 23:31:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-19 23:31:03+00:00
Revision 663 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:52:18 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5320 byte(s)
Diff to previous 662 
[r2003-09-19 23:26:18 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-19 23:26:18+00:00
Revision 662 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:52:15 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 5133 byte(s)
Diff to previous 525 
[r2003-09-19 23:07:01 by cvscast] Beppe: changed the help message for CDuce without expat support

Original author: cvscast
Date: 2003-09-19 23:07:01+00:00
Revision 525 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:41:34 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 4811 byte(s)
Diff to previous 492 
[r2003-06-17 20:39:07 by cvscast] Don't autodetect non-terminal stdint (prevent using ledit); add
--stdin option -- Alain

Original author: cvscast
Date: 2003-06-17 20:39:08+00:00
Revision 492 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:38:45 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 4673 byte(s)
Diff to previous 485 
[r2003-06-08 23:38:19 by cvscast] Beppe: typos in run.ml. Updated manual page

Original author: cvscast
Date: 2003-06-08 23:38:19+00:00
Revision 485 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:38:14 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 4673 byte(s)
Diff to previous 466 
[r2003-06-08 08:33:52 by cvscast] Clean load_xml

Original author: cvscast
Date: 2003-06-08 08:34:36+00:00
Revision 466 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:36:47 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 4093 byte(s)
Diff to previous 450 
[r2003-05-31 10:32:42 by cvscast] support for expat

Original author: cvscast
Date: 2003-05-31 10:32:43+00:00
Revision 450 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:35:49 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 3962 byte(s)
Diff to previous 447 
[r2003-05-26 22:11:24 by cvscast] get rid of Cduce_config

Original author: cvscast
Date: 2003-05-26 22:11:25+00:00
Revision 447 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:35:35 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 3990 byte(s)
Diff to previous 446 
[r2003-05-26 20:36:58 by cvscast] toplevel et commentaire pour faire plaisir eppe ;-)

Original author: cvscast
Date: 2003-05-26 20:36:58+00:00
Revision 446 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:35:30 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 3937 byte(s)
Diff to previous 432 
[r2003-05-26 19:54:58 by cvscast] toplevel: Ctrl-D, Ctrl-C, #quit, #env

Original author: cvscast
Date: 2003-05-26 19:54:59+00:00
Revision 432 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:31 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 3267 byte(s)
Diff to previous 431 
[r2003-05-25 17:26:23 by cvscast] Doc

Original author: cvscast
Date: 2003-05-25 17:26:23+00:00
Revision 431 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:25 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 3287 byte(s)
Diff to previous 429 
[r2003-05-25 16:53:21 by cvscast] toplevel

Original author: cvscast
Date: 2003-05-25 16:53:22+00:00
Revision 429 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:02 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2854 byte(s)
Diff to previous 422 
[r2003-05-25 13:33:40 by cvscast] cduce_config

Original author: cvscast
Date: 2003-05-25 13:33:41+00:00
Revision 422 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:33:29 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2749 byte(s)
Diff to previous 414 
[r2003-05-25 10:40:12 by cvscast] Typos

Original author: cvscast
Date: 2003-05-25 10:40:12+00:00
Revision 414 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:32:50 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2749 byte(s)
Diff to previous 403 
[r2003-05-24 22:27:34 by cvscast] Beppe: added options and modified so to have gnu-syntax

Original author: cvscast
Date: 2003-05-24 22:27:34+00:00
Revision 403 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:31:56 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2291 byte(s)
Diff to previous 374 
[r2003-05-24 08:08:41 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-24 08:08:41+00:00
Revision 374 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:46 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2249 byte(s)
Diff to previous 368 
[r2003-05-20 13:27:25 by cvscast] Unicode support

Original author: cvscast
Date: 2003-05-20 13:27:27+00:00
Revision 368 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:28:55 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 2222 byte(s)
Diff to previous 367 
[r2003-05-18 16:03:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-18 16:03:04+00:00
Revision 367 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:28:43 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1721 byte(s)
Diff to previous 302 
[r2003-05-18 14:42:51 by cvscast] Clean-up

Original author: cvscast
Date: 2003-05-18 14:44:17+00:00
Revision 302 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:23:34 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1746 byte(s)
Diff to previous 249 
[r2003-05-09 10:09:30 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-09 10:09:31+00:00
Revision 249 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:19:14 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1561 byte(s)
Diff to previous 217 
[r2003-03-16 14:05:39 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-16 14:08:16+00:00
Revision 217 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:15:25 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1560 byte(s)
Diff to previous 186 
[r2003-02-17 21:51:52 by cvscast] Empty log message

Original author: cvscast
Date: 2003-02-17 21:51:53+00:00
Revision 186 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:13:28 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1570 byte(s)
Diff to previous 125 
[r2002-12-13 17:40:44 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-13 17:40:45+00:00
Revision 125 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:08:25 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1544 byte(s)
Diff to previous 124 
[r2002-11-15 22:40:12 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-15 22:40:12+00:00
Revision 124 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:08:19 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1514 byte(s)
Diff to previous 95 
[r2002-11-13 23:21:38 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-13 23:21:39+00:00
Revision 95 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:05:54 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 1292 byte(s)
Diff to previous 90 
[r2002-11-10 02:21:45 by cvscast] Saving/restoring global state

Original author: cvscast
Date: 2002-11-10 02:21:46+00:00
Revision 90 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 17:05:20 2007 UTC (5 years, 11 months ago) by abate
Original Path: driver/run.ml
File length: 345 byte(s) 
[r2002-11-09 10:42:14 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-09 10:42:16+00:00

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5