gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
mjc2wsl.git
10 years agoproject README is now md
Doni Pracner [Fri, 18 Jul 2014 15:09:08 +0000 (17:09 +0200)]
project README is now md

10 years agoproject README, link txt as an md as well
Doni Pracner [Fri, 18 Jul 2014 15:06:39 +0000 (17:06 +0200)]
project README, link txt as an md as well

10 years agosimplified ascii codes to chars in printing based on a new FermaT feature v0.1.7
Doni Pracner [Wed, 11 Jun 2014 15:45:08 +0000 (17:45 +0200)]
simplified ascii codes to chars in printing based on a new FermaT feature

10 years agomore local var blocks in the translation
Doni Pracner [Wed, 11 Jun 2014 15:11:45 +0000 (17:11 +0200)]
more local var blocks in the translation

10 years agoarray assignment simplified
Doni Pracner [Wed, 11 Jun 2014 15:02:25 +0000 (17:02 +0200)]
array assignment simplified

10 years agoAdded a flag variable for conditional jumps.
Doni Pracner [Wed, 11 Jun 2014 14:37:24 +0000 (16:37 +0200)]
Added a flag variable for conditional jumps.

CALL commands should not be used in VAR blocks to go outside
them - so this was introduced. Alternative is to use "global" variables
for the operands.

10 years agostart of 0.1.7
Doni Pracner [Tue, 27 May 2014 23:18:11 +0000 (01:18 +0200)]
start of 0.1.7

10 years agosmall fixes in the formating of the generated code v0.1.6
Doni Pracner [Tue, 27 May 2014 22:55:14 +0000 (00:55 +0200)]
small fixes in the formating of the generated code

10 years agofix for the optional generation of opcodes in comments
Doni Pracner [Tue, 27 May 2014 22:32:30 +0000 (00:32 +0200)]
fix for the optional generation of opcodes in comments

10 years agosamples - chrtest updated a bit
Doni Pracner [Tue, 27 May 2014 22:24:29 +0000 (00:24 +0200)]
samples - chrtest updated a bit

10 years agoProper char printing in the translated codes.
Doni Pracner [Tue, 27 May 2014 22:22:38 +0000 (00:22 +0200)]
Proper char printing in the translated codes.

So far only the char codes were printed. Now a custom function for translation
of codes to chars in WSL was added to the generated sources. It recognises
codes 10 and 13 as new lines.

10 years agogitignore directory kde
Doni Pracner [Tue, 27 May 2014 21:27:26 +0000 (23:27 +0200)]
gitignore directory kde

10 years agoAlternative to make Push and Pop instead of TAIL and HEAD for stack manipulation...
Doni Pracner [Tue, 22 Apr 2014 22:45:41 +0000 (00:45 +0200)]
Alternative to make Push and Pop instead of TAIL and HEAD for stack manipulation; default off, has problems with the current transformations

10 years agorefactor - generalise stack operations for easier future changes
Doni Pracner [Tue, 22 Apr 2014 21:24:45 +0000 (23:24 +0200)]
refactor - generalise stack operations for easier future changes

10 years agoMerge branch 'vars' into work
Doni Pracner [Tue, 22 Apr 2014 20:17:55 +0000 (22:17 +0200)]
Merge branch 'vars' into work

10 years agomjc2wsl -adding more VARS to the actions
Doni Pracner [Tue, 22 Apr 2014 20:13:19 +0000 (22:13 +0200)]
mjc2wsl -adding more VARS to the actions

10 years agoexp transf - added better metrics display for greping from the log; also the other...
Doni Pracner [Tue, 22 Apr 2014 20:08:59 +0000 (22:08 +0200)]
exp transf - added better metrics display for greping from the log; also the other improvements from transf-min

10 years agoexperimental transformations - added Flag Removal to the auto transfs
Doni Pracner [Tue, 22 Apr 2014 18:49:41 +0000 (20:49 +0200)]
experimental transformations - added Flag Removal to the auto transfs

10 years agoadded local VAR wrappers to the code in the actions; applied to div and rem
Doni Pracner [Tue, 22 Apr 2014 18:48:46 +0000 (20:48 +0200)]
added local VAR wrappers to the code in the actions; applied to div and rem

10 years agomore notes about what is different - heap, null, etc
Doni Pracner [Mon, 14 Apr 2014 16:18:35 +0000 (18:18 +0200)]
more notes about what is different - heap, null, etc

10 years agostart of v0.1.6
Doni Pracner [Thu, 13 Feb 2014 19:16:50 +0000 (20:16 +0100)]
start of v0.1.6

10 years agodocs - mj-compiler.txt is a more logical name v0.1.5a
Doni Pracner [Sat, 15 Feb 2014 15:13:42 +0000 (16:13 +0100)]
docs - mj-compiler.txt is a more logical name

10 years agodocs - about the compiler in the lib folder, improvements
Doni Pracner [Sat, 15 Feb 2014 15:12:57 +0000 (16:12 +0100)]
docs - about the compiler in the lib folder, improvements

10 years agoant - updates to use the jar for the MJ compiler. The compiler.class.dir can still...
Doni Pracner [Sat, 15 Feb 2014 15:00:33 +0000 (16:00 +0100)]
ant - updates to use the jar for the MJ compiler. The compiler.class.dir can still be used to override it

10 years agojar file for the MJ compiler added
Doni Pracner [Sat, 15 Feb 2014 14:59:40 +0000 (15:59 +0100)]
jar file for the MJ compiler added

10 years agoREADME - more notes about the docs folder v0.1.5
Doni Pracner [Wed, 12 Feb 2014 19:05:04 +0000 (20:05 +0100)]
README - more notes about the docs folder

10 years agodocs - new txt about running the ant tasks
Doni Pracner [Wed, 12 Feb 2014 19:04:44 +0000 (20:04 +0100)]
docs - new txt about running the ant tasks

10 years agodocs - new txt about mjc2wsl, what works, what is different, and what doesn't
Doni Pracner [Wed, 12 Feb 2014 18:32:05 +0000 (19:32 +0100)]
docs - new txt about mjc2wsl, what works, what is different, and what doesn't

10 years agoREADME - added notes about the additional documentation about MJ
Doni Pracner [Wed, 12 Feb 2014 18:08:54 +0000 (19:08 +0100)]
README - added notes about the additional documentation about MJ

10 years agodocs - added MircoJava specification pdfs that were used in this project
Doni Pracner [Wed, 12 Feb 2014 18:06:24 +0000 (19:06 +0100)]
docs - added MircoJava specification pdfs that were used in this project

10 years agomjc2wsl - minor updates to the print formating, the actions are now more easily disti...
Doni Pracner [Wed, 12 Feb 2014 17:56:04 +0000 (18:56 +0100)]
mjc2wsl - minor updates to the print formating, the actions are now more easily distiguished

10 years agomjc2wsl - use the proper start action right away in the action system generation
Doni Pracner [Wed, 12 Feb 2014 17:44:29 +0000 (18:44 +0100)]
mjc2wsl - use the proper start action right away in the action system generation

10 years agomjc2wls - introduce a procedure into the end result for MicroJava Prints
Doni Pracner [Wed, 12 Feb 2014 17:40:19 +0000 (18:40 +0100)]
mjc2wls - introduce a procedure into the end result for MicroJava Prints

10 years agomjc2wsl removed some unneeded variables from the start
Doni Pracner [Sun, 9 Feb 2014 19:46:54 +0000 (20:46 +0100)]
mjc2wsl removed some unneeded variables from the start

10 years agotransf-min - we run simplify without the assumptions of a regular system, and then...
Doni Pracner [Sun, 9 Feb 2014 19:43:46 +0000 (20:43 +0100)]
transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it

10 years agonew sample - Recursive Factoriel
Doni Pracner [Sun, 9 Feb 2014 00:05:03 +0000 (01:05 +0100)]
new sample - Recursive Factoriel

10 years agoadded experimental version for transformations
Doni Pracner [Sat, 8 Feb 2014 18:09:41 +0000 (19:09 +0100)]
added experimental version for transformations

10 years agotransf-min does not need to explicitly Simplify, it's called anyway
Doni Pracner [Sat, 8 Feb 2014 18:07:29 +0000 (19:07 +0100)]
transf-min does not need to explicitly Simplify, it's called anyway

10 years agomjc2wsl - removed a final CALL Z that was not needed anyway
Doni Pracner [Sat, 8 Feb 2014 17:58:10 +0000 (18:58 +0100)]
mjc2wsl - removed a final CALL Z that was not needed anyway

10 years agoupdated sample to use 'len' to test the functionality
Doni Pracner [Sat, 8 Feb 2014 12:04:33 +0000 (13:04 +0100)]
updated sample to use 'len' to test the functionality

10 years agomjc2wsl - support for array length is now functional in FermaT
Doni Pracner [Sat, 8 Feb 2014 12:03:34 +0000 (13:03 +0100)]
mjc2wsl - support for array length is now functional in FermaT

10 years agomjc2wsl - introduced the --version options and added to help
Doni Pracner [Fri, 7 Feb 2014 20:24:31 +0000 (21:24 +0100)]
mjc2wsl - introduced the --version options and added to help

10 years agomjc2wsl - reorganize help into chunks in separate functions
Doni Pracner [Fri, 7 Feb 2014 20:19:52 +0000 (21:19 +0100)]
mjc2wsl - reorganize help into chunks in separate functions

10 years agomjc2wsl extract the print version function
Doni Pracner [Fri, 7 Feb 2014 20:12:13 +0000 (21:12 +0100)]
mjc2wsl extract the print version function

10 years agomjc2wsl, introduce longhelp with options for generating extra code
Doni Pracner [Fri, 7 Feb 2014 20:10:01 +0000 (21:10 +0100)]
mjc2wsl, introduce longhelp with options for generating extra code

10 years ago.gitignore, reordered and commented items
Doni Pracner [Thu, 6 Feb 2014 22:59:58 +0000 (23:59 +0100)]
.gitignore, reordered and commented items

10 years agoant - minor fix, the recorder had a wrong name to stop
Doni Pracner [Thu, 6 Feb 2014 22:57:47 +0000 (23:57 +0100)]
ant - minor fix, the recorder had a wrong name to stop

10 years agoant - wsl-run, update the InitScm path, as in the newer FermaT
Doni Pracner [Thu, 6 Feb 2014 22:57:14 +0000 (23:57 +0100)]
ant - wsl-run, update the InitScm path, as in the newer FermaT

10 years agoant - wsl-run, put the new folder at the start of the path
Doni Pracner [Thu, 6 Feb 2014 22:56:04 +0000 (23:56 +0100)]
ant - wsl-run, put the new folder at the start of the path

10 years agoant - log time format update
Doni Pracner [Thu, 6 Feb 2014 22:55:21 +0000 (23:55 +0100)]
ant - log time format update

10 years agoant - added a necesary part for proper env processing
Doni Pracner [Thu, 6 Feb 2014 22:54:52 +0000 (23:54 +0100)]
ant - added a necesary part for proper env processing

10 years agologs added to gitignore
Doni Pracner [Thu, 6 Feb 2014 22:53:47 +0000 (23:53 +0100)]
logs added to gitignore

10 years agoversion change - 0.1.5
Doni Pracner [Mon, 27 Jan 2014 14:54:29 +0000 (15:54 +0100)]
version change - 0.1.5

10 years agoant - added logging to main tasks that work on all the samples; slightly improved... v0.1.4
Doni Pracner [Fri, 24 Jan 2014 18:44:18 +0000 (19:44 +0100)]
ant - added logging to main tasks that work on all the samples; slightly improved clean

10 years agoant - simple MJ decode operations
Doni Pracner [Fri, 24 Jan 2014 17:09:14 +0000 (18:09 +0100)]
ant - simple MJ decode operations

10 years agoant/project minor - let's simplify and call the 'samples-temp' just 'temp'
Doni Pracner [Fri, 24 Jan 2014 17:00:52 +0000 (18:00 +0100)]
ant/project minor - let's simplify and call the 'samples-temp' just 'temp'

10 years agosamples renamed to more logical names
Doni Pracner [Fri, 24 Jan 2014 12:23:21 +0000 (13:23 +0100)]
samples renamed to more logical names

10 years agoREADME updated a bit
Doni Pracner [Thu, 23 Jan 2014 22:27:00 +0000 (23:27 +0100)]
README updated a bit

10 years agotxt about the compiler
Doni Pracner [Thu, 23 Jan 2014 22:25:57 +0000 (23:25 +0100)]
txt about the compiler

10 years agoant - changed properties according to the change dir structure (lib)
Doni Pracner [Thu, 23 Jan 2014 22:02:08 +0000 (23:02 +0100)]
ant - changed properties according to the change dir structure (lib)

10 years agominor mjc2wsl - outputstream initialisation for messages
Doni Pracner [Thu, 23 Jan 2014 21:47:38 +0000 (22:47 +0100)]
minor mjc2wsl - outputstream initialisation for messages

10 years agoapplied GPL to sources in src
Doni Pracner [Tue, 21 Jan 2014 17:21:10 +0000 (18:21 +0100)]
applied GPL to sources in src

10 years agorefactor - extract the Messages system into a new class
Doni Pracner [Tue, 21 Jan 2014 17:03:47 +0000 (18:03 +0100)]
refactor - extract the Messages system into a new class

10 years agomjc2wsl - refactoring, renamed all the methods that generate pieces of WSL to start...
Doni Pracner [Tue, 21 Jan 2014 16:25:27 +0000 (17:25 +0100)]
mjc2wsl - refactoring, renamed all the methods that generate pieces of WSL to start with 'create'.

10 years agominor - mjc2wsl - formatting, align indention etc
Doni Pracner [Tue, 21 Jan 2014 16:11:09 +0000 (17:11 +0100)]
minor - mjc2wsl - formatting, align indention etc

10 years agomjc2wsl - shr and shl added
Doni Pracner [Mon, 20 Jan 2014 21:54:05 +0000 (22:54 +0100)]
mjc2wsl - shr and shl added

10 years agomjc2wsl - object support - new, get/put field
Doni Pracner [Mon, 20 Jan 2014 19:39:17 +0000 (20:39 +0100)]
mjc2wsl - object support - new, get/put field

10 years agomjc2wsl - dup, dup2 commands
Doni Pracner [Mon, 20 Jan 2014 17:06:20 +0000 (18:06 +0100)]
mjc2wsl - dup, dup2 commands

10 years agomjc2wsl - array length added, but only formally, there are problems with this
Doni Pracner [Mon, 20 Jan 2014 17:05:40 +0000 (18:05 +0100)]
mjc2wsl - array length added, but only formally, there are problems with this

10 years agomjc2wsl - return does not need a condition. This makes the action system more likely...
Doni Pracner [Mon, 20 Jan 2014 00:26:25 +0000 (01:26 +0100)]
mjc2wsl - return does not need a condition. This makes the action system more likely to be recursive (not a hybrid)

10 years agonew sample for ArraysTesting - multiple in recursion
Doni Pracner [Sun, 19 Jan 2014 21:37:12 +0000 (22:37 +0100)]
new sample for ArraysTesting - multiple in recursion

10 years agomjc2wsl - array support - newarray, aload, baload, astore, bastore
Doni Pracner [Sun, 19 Jan 2014 21:22:25 +0000 (22:22 +0100)]
mjc2wsl - array support - newarray, aload, baload, astore, bastore

10 years agonew sample for ArrayTesting
Doni Pracner [Sun, 19 Jan 2014 21:16:15 +0000 (22:16 +0100)]
new sample for ArrayTesting

10 years agomjc2wsl - FIX inc, forgot a ;
Doni Pracner [Sun, 19 Jan 2014 21:15:51 +0000 (22:15 +0100)]
mjc2wsl - FIX inc, forgot a ;

10 years agomjc2wsl - FIX num-char print-read were the other way around
Doni Pracner [Sun, 19 Jan 2014 19:43:03 +0000 (20:43 +0100)]
mjc2wsl - FIX num-char print-read were the other way around

10 years agomjc2wsl - neg command
Doni Pracner [Sun, 19 Jan 2014 19:23:25 +0000 (20:23 +0100)]
mjc2wsl - neg command

10 years agomjc2wsl - inc command
Doni Pracner [Sun, 19 Jan 2014 19:19:33 +0000 (20:19 +0100)]
mjc2wsl - inc command

10 years agomjc2wsl - pop command
Doni Pracner [Sun, 19 Jan 2014 19:05:09 +0000 (20:05 +0100)]
mjc2wsl - pop command

10 years agomjc2wsl - fields and memmory allocation scaffolds to read the instructions properly...
Doni Pracner [Mon, 13 Jan 2014 22:24:03 +0000 (23:24 +0100)]
mjc2wsl - fields and memmory allocation scaffolds to read the instructions properly; adequate error messages about not being actually processed

10 years agosamples - chrtest, removed the null test that is not really related. Also let's print...
Doni Pracner [Mon, 13 Jan 2014 19:13:37 +0000 (20:13 +0100)]
samples - chrtest, removed the null test that is not really related. Also let's print a letter.

10 years agomjc2wsl - added statics
Doni Pracner [Mon, 13 Jan 2014 19:12:32 +0000 (20:12 +0100)]
mjc2wsl - added statics

10 years agomjc2wsl - add warnings and comments when reading and writing chars that are not conve...
Doni Pracner [Mon, 13 Jan 2014 18:51:07 +0000 (19:51 +0100)]
mjc2wsl - add warnings and comments when reading and writing chars that are not converter from number codes

10 years agosamples - rekfib - do 3 value calculations, nicer print
Doni Pracner [Wed, 8 Jan 2014 22:28:03 +0000 (23:28 +0100)]
samples - rekfib - do 3 value calculations, nicer print

10 years agomjc2wsl - call and return do not need to work with MStack
Doni Pracner [Wed, 8 Jan 2014 22:27:18 +0000 (23:27 +0100)]
mjc2wsl - call and return do not need to work with MStack

10 years agomjc2wsl - prints and reads, using the same code blocks, support spacings, prints...
Doni Pracner [Wed, 8 Jan 2014 22:10:27 +0000 (23:10 +0100)]
mjc2wsl - prints and reads, using the same code blocks, support spacings, prints in the same line everything, like MJVM

10 years agomjc2wsl - enter/exit proper storage of local variables on the stack in procedure...
Doni Pracner [Wed, 8 Jan 2014 21:31:08 +0000 (22:31 +0100)]
mjc2wsl - enter/exit proper storage of local variables on the stack in procedure calls; all locals are in the same array, potentially not pretty

10 years agosamples - rekfib1, simplify for now
Doni Pracner [Wed, 8 Jan 2014 21:11:10 +0000 (22:11 +0100)]
samples - rekfib1, simplify for now

10 years agomjc2wsl minor help message fix
Doni Pracner [Wed, 8 Jan 2014 20:49:52 +0000 (21:49 +0100)]
mjc2wsl minor help message fix

10 years agomjc2wsl - more command line options
Doni Pracner [Wed, 8 Jan 2014 16:34:35 +0000 (17:34 +0100)]
mjc2wsl - more command line options

10 years agomjc2wsl - minor - rename private vars for pause/print on address jumps
Doni Pracner [Wed, 8 Jan 2014 16:31:20 +0000 (17:31 +0100)]
mjc2wsl - minor - rename private vars for pause/print on address jumps

10 years agomjc2wsl - directives to print Estack on each change
Doni Pracner [Wed, 8 Jan 2014 16:29:51 +0000 (17:29 +0100)]
mjc2wsl - directives to print Estack on each change

10 years agomjc2wsl - minor - use 'loc' to generate local names always
Doni Pracner [Wed, 8 Jan 2014 16:09:16 +0000 (17:09 +0100)]
mjc2wsl - minor - use 'loc' to generate local names always

10 years agomjc2wsl - trap operation is now full
Doni Pracner [Sun, 5 Jan 2014 20:41:05 +0000 (21:41 +0100)]
mjc2wsl - trap operation is now full

10 years agomjc2wsl - jumps have ELSE branches, so that actions have normal ends for the recursiv...
Doni Pracner [Sun, 5 Jan 2014 20:40:19 +0000 (21:40 +0100)]
mjc2wsl - jumps have ELSE branches, so that actions have normal ends for the recursive returns

10 years agomjc2wsl - enter processing the local variables
Doni Pracner [Sun, 5 Jan 2014 20:38:51 +0000 (21:38 +0100)]
mjc2wsl - enter processing the local variables

10 years agomjc2wsl - added optional PRINTs of addresses as the WSL code is executed, plus option...
Doni Pracner [Sun, 5 Jan 2014 20:27:27 +0000 (21:27 +0100)]
mjc2wsl - added optional PRINTs of addresses as the WSL code is executed, plus optional pauses after each

10 years agonew sample Rek1 - very simple recursion that is good for testing
Doni Pracner [Sun, 5 Jan 2014 19:17:30 +0000 (20:17 +0100)]
new sample Rek1 - very simple recursion that is good for testing

10 years agomjc2wsl - start from the proper address
Doni Pracner [Sun, 5 Jan 2014 19:17:00 +0000 (20:17 +0100)]
mjc2wsl - start from the proper address

10 years agomjc2wsl - process start of bytecode proper
Doni Pracner [Sun, 5 Jan 2014 18:59:27 +0000 (19:59 +0100)]
mjc2wsl - process start of bytecode proper

10 years agomjc2wsl - added partial trap processing, so that the bytes align further
Doni Pracner [Sun, 5 Jan 2014 17:19:56 +0000 (18:19 +0100)]
mjc2wsl - added partial trap processing, so that the bytes align further

Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner