Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More work on ANSI C transformation | Stefan Radomski | 2016-02-14 | 1 | -38/+100 |
| | |||||
* | Some tidying up of ANSI-C transformation | Stefan Radomski | 2016-02-11 | 3 | -0/+231 |
| | |||||
* | Added list of publications | Stefan Radomski | 2016-01-29 | 1 | -0/+83 |
| | |||||
* | Updated some documentation | Stefan Radomski | 2016-01-20 | 2 | -0/+194 |
| | |||||
* | Fixed dimensions and border | Stefan Radomski | 2016-01-20 | 1 | -0/+0 |
| | |||||
* | Added performance chart | Stefan Radomski | 2016-01-20 | 1 | -0/+0 |
| | |||||
* | Some fixes for transition preemption with flattening | Stefan Radomski | 2015-05-08 | 1 | -1/+8 |
| | |||||
* | More work on PROMELA transformation | Stefan Radomski | 2014-11-12 | 1 | -1/+12 |
| | |||||
* | Reactiveted new CMake policies and some more documentation | Stefan Radomski | 2014-08-21 | 2 | -1/+49 |
| | |||||
* | Updated documentation | Stefan Radomski | 2014-08-20 | 1 | -0/+33 |
| | |||||
* | More work on lua datamodel | Stefan Radomski | 2014-07-23 | 1 | -0/+21 |
| | |||||
* | Updated docs | Stefan Radomski | 2014-07-06 | 1 | -3/+3 |
| | |||||
* | Polished iOS builds and docs | Stefan Radomski | 2014-07-04 | 1 | -6/+52 |
| | |||||
* | Removed w3c ecma tests from xpath and vice versa | Stefan Radomski | 2014-07-03 | 1 | -1/+1 |
| | |||||
* | Got ready for cmake3 and some minor fixes | Stefan Radomski | 2014-07-03 | 3 | -20/+116 |
| | |||||
* | Polished umundo invoker, prolog datamodel and several bugfixes | Stefan Radomski | 2014-01-17 | 1 | -0/+3 |
| | |||||
* | Updated fedora 20 specific documentation | Stefan Radomski | 2014-01-14 | 1 | -1/+1 |
| | |||||
* | Expect Invoker and Fedora build fixes | Stefan Radomski | 2014-01-14 | 1 | -1/+31 |
| | |||||
* | Performance and bugfix for WebSockets | Stefan Radomski | 2013-12-20 | 1 | -0/+4 |
| | |||||
* | Added license information and bug fixes | Stefan Radomski | 2013-10-16 | 1 | -8/+2 |
| | |||||
* | Added instant messaging invoker | Stefan Radomski | 2013-09-23 | 1 | -0/+46 |
| | |||||
* | W3C MMI Architecture framework | Stefan Radomski | 2013-06-10 | 1 | -1/+1 |
| | |||||
* | Fixed setConfiguration and started MMI arch | Stefan Radomski | 2013-04-17 | 1 | -14/+7 |
| | |||||
* | Refactored URLs and fixed Windows URL handling | Stefan Radomski | 2013-04-14 | 1 | -1/+1 |
| | |||||
* | Make ctest respect custom config | Stefan Radomski | 2013-04-05 | 1 | -1/+1 |
| | |||||
* | Various smaller bug-fixes (see details) | Stefan Radomski | 2013-03-26 | 1 | -0/+54 |
| | | | | | | | - Pass -DPHP_CONFIG=/usr/bin/zts-php-config for custom php-config - More php bug fixes - Fixed nasty "parse from string" bug - Reindented source code | ||||
* | Prepared everything for FE-Design demo | Stefan Radomski | 2013-02-28 | 1 | -4/+152 |
| | |||||
* | Introduced postpone element and reorganized http request representation as ↵ | Stefan Radomski | 2013-02-25 | 2 | -0/+268 |
events |