0
I Use This!
Inactive

Commits : Listings

Analyzed 19 days ago. based on code collected 20 days ago.
Jan 29, 2024 — Jan 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Added long options to verse server, changed -d to -D. More... almost 10 years ago
Updated version in CMakeFiles. More... almost 10 years ago
Updated versed init script. More... almost 10 years ago
CMake: print system prefix. More... almost 10 years ago
WIP: redhat init script file. More... almost 10 years ago
Small update of readme. More... almost 10 years ago
Removed useless templates (it is in gist now: https://gist.github.com/jirihnidek/75b0fd33fae362c0442c). More... almost 10 years ago
Moved stub to misc. More... almost 10 years ago
Small changes in README file. More... almost 10 years ago
Moved promela directory to misc. More... almost 10 years ago
Modified cmake files (python -> src/python). More... almost 10 years ago
Moved python directory to src/python directory. More... almost 10 years ago
Bug fix: not initialized pointers (issue" #34). More... about 10 years ago
Bug fix: bad handling of closed sockets. More... about 10 years ago
Added more debug prints and small refactoring. More... about 10 years ago
Merge branch 'master' of github.com:verse/verse More... about 10 years ago
Less and better debug print of WebSocket. More... about 10 years ago
Bug fix: it was not possible to destroy entities, when TCP/WebSocket was used. More... about 10 years ago
Python: bug fix: wrong printf(). More... about 10 years ago
Python: added more description to error messages. More... about 10 years ago
Python module: Print wrong value of tag/layer and address in error message. More... about 10 years ago
Print wrong value of tag in error message. More... about 10 years ago
Better error printing. More... about 10 years ago
More error handling/printing. More... about 10 years ago
Remove obsolete comment. More... about 10 years ago
Merge branch 'master' of github.com:verse/verse More... about 10 years ago
WIP: error handling and printing. More... about 10 years ago
Merge branch 'master' of github.com:verse/verse More... about 10 years ago
Small refactoring and bug fix. More... about 10 years ago
Bug fix: verse server and evaluating of access permissions. More... over 10 years ago