Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.021Jul191384May3211Apr858Mar4223Feb226Jan5423Dec2230Nov251330Oct2623222112211Sep931Aug201924Jul208125Jun2423171612111098542129May28272622212019151312118765430Apr292827242322212017161514Update pathmastermasterGeneration of dot-files for ASTs from racr's print-ast outputAdd attributes to mkdotUsing correct tail for childrenFirst version for generation of graphviz representation of the grammarFix bug, where tasks for properties are not visible.Moved slides to presentations repoImpl.reqcomps is a now real terminal.Impl.selectedmode, Impl.deployedon and Comp.selectedimpl are now real terminals.Comp.selectedimpl is now a real terminal.Request.target is now a real terminal.Resource.type is now a real terminal.Finally working name-analysis for PropertyRef.[WIP] ast-find-child with * to solve problems?Added missing spec.[WIP] Changing :ReqClause, :ProvClause, make-req, make-prov.[WIP] Changing ref in PropertyRef (actually a NT inside a terminal) to refname (a string of the name of the property).Added docker image.Adding evaluation results.Little restructuring.Added description in README.Changing diagram label noncached to semiautomatic.Increase font size in diagrams.Adjust name to non-utf-8.MIT license it is.Fixing new measurement case scaling.Moved presentation to other repo.Added scaling testcase.pdf-png picture seperationAdded visualization of memory measurements.Introducing self-made memory measurement using procfs.always calculate stats.Added task to prepare dstat output for usage.Added first version of memory capturing.WIP: generating diagrams for solving times.update diagrams.another quick-fix for measurement.quick-fix for solving-task.Added computation and drawing of att-total-graph.Incoporated mixed scenario in diagrams, combined diagrams.