gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system

commit grep author committer pickaxe ? search: re

2014-04-22	Doni Pracner	Merge branch 'vars' into work	tree | commitdiff
2014-04-22	Doni Pracner	exp transf - added better metrics display for greping...	tree | commitdiff
2014-04-22	Doni Pracner	experimental transformations - added Flag Removal to...	tree | commitdiff
2014-02-09	Doni Pracner	transf-min - we run simplify without the assumptions...	tree | commitdiff
2014-02-08	Doni Pracner	added experimental version for transformations	tree | commitdiff
2014-02-08	Doni Pracner	transf-min does not need to explicitly Simplify, it...	tree | commitdiff
2013-11-11	Doni Pracner	ant build - new task to run a transf on a single file...	tree | commitdiff
2013-11-11	Doni Pracner	added src-wsl; the transf-min.wsl script	tree | commitdiff

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