Svarog.pmf.uns.ac.rs git repos - mjc2wsl.git/atom - src-wsl historyMicroJava ByteCode to WSL toolhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.gitDoni Pracnerstatic/git-favicon.pngstatic/git-logo.png2019-07-19T11:02:56ZgitwebHill Climbing automated transformation added to the repo2019-07-19T11:02:56ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2019-07-19T11:02:56Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=2bc4dde5099e4a0c054dcaae3ac213b216575323
Hill Climbing automated transformation added to the repo
src-wsl now hold the much better automated transformation program than
the experimental old ones.
metrics script renamed to metrics_csv, like in the official fermat3 releases2018-01-20T18:40:32ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2018-01-20T18:40:32Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=9512c5fd0d63f74217f73976f2efd1de5cab96d1
metrics script renamed to metrics_csv, like in the official fermat3 releases
wsl scripts, new ARGV handling2018-01-20T14:56:32ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2018-01-20T14:56:32Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=3bca9a5dd50b6ccd0bdb482911f597c9182aa17d
wsl scripts, new ARGV handling
FermaT has changed @Argv to ARGV for better compatibility
with Scheme implementations. Therefore a change was
needed in the scripts that use command line arguments.
wsl metrics, different columns2017-09-19T18:52:10ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2017-09-19T18:52:10Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=968e49ab157bc3fa62d175bc588f54ac459d0bc0
wsl metrics, different columns
changed the script so that all the generated columns in
a metrics comparison have different names. they will
all have an adequate prefix - either P1, P2, DIFF or %.
Experimental transformation script that loops several transformations2015-08-12T23:19:21ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2015-08-12T23:19:21Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=11260b1fb24c8f7d10f294ddf4e378f3251c84a2
Experimental transformation script that loops several transformations
transf-exp has been revorked to try and apply several transformations that
should always lead to a better version of a program as many times as it's
possible until the program stops changing.
transf-min updates
several updates to the transf-min script, making it work with
command line arguments and improving the output of metrics as
well as the organisation of procedures, more inline with the
newer scripts. also includes more comments and explanations.
WSL metrics script
A new script to print out metrics for WSL programs to the screen or
to a file, has options for comparison of different programs
in the script directly.
transf script now takes arguments from the command line, or uses the ini2014-11-03T20:11:44ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-11-03T20:11:44Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=2d792b10bd18d72f31df1e47173e7858c82d4ea9
transf script now takes arguments from the command line, or uses the ini
experimental transf script, move the flag removal2014-07-18T15:03:46ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-07-18T15:03:46Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=e3aa07cf26ec5907a0c477de3af8fcdfdb79edae
exp transf - added better metrics display for greping from the log; also the other... 2014-04-22T20:08:59ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-04-22T20:08:59Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=557b6662e42282252aed642086b066c21d7de1ad
exp transf - added better metrics display for greping from the log; also the other improvements from transf-min
experimental transformations - added Flag Removal to the auto transfs2014-04-22T18:49:41ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-04-22T18:49:41Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=dd51d4504d3c15dd2c58bf9ece80cd182b02d5d5
experimental transformations - added Flag Removal to the auto transfs
transf-min - we run simplify without the assumptions of a regular system, and then... 2014-02-09T19:43:46ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-02-09T19:43:46Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=01e49234ef28a738c670053dc56b00cabccf34d7
transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it
added experimental version for transformations2014-02-08T18:09:41ZDoni Pracnerquinnuendo@gmail.comDoni Pracnerquinnuendo@gmail.com2014-02-08T18:09:41Zhttp://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff;h=5c85507ce0d5b646c04f977b5b0d4c3967de75ec