Commits · master · René Schöne / racr-mquat

Jul 21, 2016
- Update path · 5f985816
  René Schöne authored 8 years ago
  
  5f985816
- Generation of dot-files for ASTs from racr's print-ast output · 9d55e783
  René Schöne authored 8 years ago
  
  9d55e783
Jul 19, 2016
- Add attributes to mkdot · eabbdbea
  René Schöne authored 8 years ago
  
  eabbdbea
Jul 13, 2016
- Using correct tail for children · 1a97ddc7
  René Schöne authored 8 years ago
  
  1a97ddc7
- First version for generation of graphviz representation of the grammar · 9c320949
  René Schöne authored 8 years ago
  
  9c320949
- Fix bug, where tasks for properties are not visible. · 7ff40d14
  René Schöne authored 8 years ago
  
  7ff40d14
Jul 08, 2016
- Moved slides to presentations repo · 41509c1b
  René Schöne authored 8 years ago
  
  41509c1b
May 04, 2016
- Impl.reqcomps is a now real terminal. · b418655e
  René Schöne authored 9 years ago
  
  b418655e
- Impl.selectedmode, Impl.deployedon and Comp.selectedimpl are now real terminals. · 24b0f647
  René Schöne authored 9 years ago
  
  24b0f647
- Comp.selectedimpl is now a real terminal. · 79483a51
  René Schöne authored 9 years ago
  
  79483a51
- Request.target is now a real terminal. · 2118e055
  René Schöne authored 9 years ago
  
  2118e055
- Resource.type is now a real terminal. · 4401c24e
  René Schöne authored 9 years ago
  
  4401c24e
May 03, 2016
- Finally working name-analysis for PropertyRef. · 75e890ff
  René Schöne authored 9 years ago
  
  75e890ff
- [WIP] ast-find-child with * to solve problems? · 267e1e92
  René Schöne authored 9 years ago
  
  267e1e92
- Added missing spec. · 494a0809
  René Schöne authored 9 years ago
  
  494a0809
- [WIP] Changing :ReqClause, :ProvClause, make-req, make-prov. · ee9e6107
  René Schöne authored 9 years ago
  
  ee9e6107
May 02, 2016
- [WIP] Changing ref in PropertyRef (actually a NT inside a terminal) to refname... · f2e4eb33
  René Schöne authored 9 years ago
  f2e4eb33
Apr 11, 2016
- Added docker image. · f559c4eb
  René Schöne authored 9 years ago
  
  f559c4eb
Apr 08, 2016
- Adding evaluation results. · 9db4ce18
  René Schöne authored 9 years ago
  
  9db4ce18
Apr 05, 2016
- Little restructuring. · 5180b4db
  René Schöne authored 9 years ago
  
  5180b4db
Mar 08, 2016
- Added description in README. · b0a3fce7
  René Schöne authored 9 years ago
  b0a3fce7
Mar 04, 2016
- Changing diagram label noncached to semiautomatic. · d3d2bbf9
  René Schöne authored 9 years ago
  
  d3d2bbf9
Mar 02, 2016
- Increase font size in diagrams. · ae4f7bf4
  René Schöne authored 9 years ago
  
  ae4f7bf4
- Adjust name to non-utf-8. · 38c7f3f4
  René Schöne authored 9 years ago
  
  38c7f3f4
Feb 23, 2016
- MIT license it is. · f4983adb
  René Schöne authored 9 years ago
  
  f4983adb
- Fixing new measurement case scaling. · 258dfbb2
  René Schöne authored 9 years ago
  
  258dfbb2
Feb 22, 2016
- Moved presentation to other repo. · a7b8931a
  René Schöne authored 9 years ago
  
  a7b8931a
- Added scaling testcase. · 36ba06bc
  René Schöne authored 9 years ago
  
  36ba06bc
- pdf-png picture seperation · ada8ffeb
  René Schöne authored 9 years ago
  ada8ffeb
Jan 06, 2016
- Added visualization of memory measurements. · ff4abed4
  René Schöne authored 9 years ago
  ff4abed4
- Introducing self-made memory measurement using procfs. · b1962aed
  René Schöne authored 9 years ago
  b1962aed
- always calculate stats. · 508a9cc1
  René Schöne authored 9 years ago
  
  508a9cc1
Jan 05, 2016
- Added task to prepare dstat output for usage. · d26d4b6c
  René Schöne authored 9 years ago
  d26d4b6c
Jan 04, 2016
- Added first version of memory capturing. · 161f5c2a
  René Schöne authored 9 years ago
  
  161f5c2a
Dec 23, 2015
- WIP: generating diagrams for solving times. · 7f764f6d
  René Schöne authored 9 years ago
  
  7f764f6d
- update diagrams. · c718193a
  René Schöne authored 9 years ago
  
  c718193a
Dec 22, 2015
- another quick-fix for measurement. · c8585049
  René Schöne authored 9 years ago
  
  c8585049
- quick-fix for solving-task. · e95cd262
  René Schöne authored 9 years ago
  
  e95cd262
Nov 30, 2015
- Added computation and drawing of att-total-graph. · 52b0acfb
  René Schöne authored 9 years ago
  
  52b0acfb
Nov 25, 2015
- Incoporated mixed scenario in diagrams, combined diagrams. · e3a955ac
  René Schöne authored 9 years ago
  
  e3a955ac