issues
search
cosyverif
/
library
http://cosyverif.org
MIT License
0
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix #216
#217
saucisson
opened
8 years ago
0
Tools should have a name and key for each parameter
#216
saucisson
opened
8 years ago
0
Fix *PATHs in prefix in build-client.
#215
saucisson
closed
8 years ago
0
Client installed in prefix with build-client does not set *PATHs
#214
saucisson
closed
8 years ago
0
Automatically upload to luarocks the master version
#213
saucisson
closed
8 years ago
0
Fix use of layeredata
#212
saucisson
closed
8 years ago
0
Fix some web client bugs
#211
saucisson
opened
8 years ago
1
Favicon is missing
#210
saucisson
closed
8 years ago
0
Dashboard sometimes does not show all stats
#209
saucisson
closed
8 years ago
0
Do not use redis client pool.
#208
saucisson
closed
8 years ago
0
Issue 206
#207
saucisson
closed
8 years ago
1
Server (master) sometimes bugs
#206
saucisson
closed
8 years ago
0
Fix command line by adding converters
#205
saucisson
closed
8 years ago
0
bad cmd line -p=8080
#204
hle35
closed
8 years ago
0
Strengthen web client
#203
saucisson
closed
8 years ago
0
Webclient is fragile
#202
saucisson
closed
8 years ago
0
Deploy master builds to public server
#201
saucisson
closed
8 years ago
0
Speed up continuous integration
#200
saucisson
closed
8 years ago
0
Issue 198
#199
saucisson
closed
8 years ago
0
Error on WebClient when disconnecting
#198
hle35
closed
8 years ago
0
Issue 196
#197
saucisson
closed
8 years ago
0
Server should launch its redis instance
#196
saucisson
closed
8 years ago
0
Need web client testing
#195
saucisson
opened
8 years ago
1
add a --testconfig mode to the server
#194
hle35
closed
8 years ago
0
Issue 190
#193
saucisson
closed
8 years ago
2
build-server symlinks are not compatible with formalisms and tools
#192
saucisson
closed
8 years ago
0
how to dump a model
#191
hle35
closed
8 years ago
1
Layer should automatically set label and reference
#190
saucisson
closed
8 years ago
0
Add tool launcher
#189
saucisson
closed
8 years ago
2
Do not create lua bundle if in developer mode.
#188
saucisson
closed
8 years ago
0
Do not generate the cosy-full script agglomeration in dev mode
#187
saucisson
closed
8 years ago
0
Add tool launcher
#186
saucisson
closed
8 years ago
0
Issue 183
#185
saucisson
closed
8 years ago
0
Update dependencies.
#184
saucisson
closed
8 years ago
1
Adapt code to saucisson/layeredata changes
#183
saucisson
closed
8 years ago
0
Import graphical editor
#182
saucisson
opened
8 years ago
0
Issue 180
#181
saucisson
closed
8 years ago
1
Convert avatar to ascii
#180
saucisson
closed
8 years ago
0
Issue 78
#179
saucisson
closed
8 years ago
0
Web client should also use i18n
#178
saucisson
closed
8 years ago
1
Enable geodb
#177
saucisson
closed
8 years ago
1
The conf part of rock spec is not usable
#176
saucisson
closed
8 years ago
1
Collectable iterators should cancel iteration on the server
#175
saucisson
closed
8 years ago
1
Issue 173
#174
saucisson
closed
8 years ago
0
Assertion when trying to fork
#173
saucisson
closed
8 years ago
1
Filter (and editor) should be cosy modules
#172
saucisson
closed
8 years ago
3
Issue 169
#171
saucisson
closed
8 years ago
0
Issue 168
#170
saucisson
closed
8 years ago
0
Server should remember # { users, projects, resources }
#169
saucisson
closed
8 years ago
0
Nginx server does not start when there is no network
#168
saucisson
closed
8 years ago
1
Next