Skip to content

Initial version #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
saucisson wants to merge 374 commits into
base: master
Choose a base branch
from
Open

Initial version #2

saucisson wants to merge 374 commits into from

Conversation

@saucisson
Copy link
Contributor

@saucisson saucisson commented Aug 4, 2016

Initial version of the cosyverif server.

It is written in lua and uses the lapis framework, to build a REST API for:

  • users using auth0;
  • projects;
  • resources (formalisms, models, services) in projects;
  • collaborative editors for resources (server-side);
  • tool executions using docker cloud.

alban-linard added 30 commits May 25, 2016 15:48
@alban-linard
Start to add permissions.
be090d4
@alban-linard
Improve and simplify decorators.
32cf109
@alban-linard
Fix authentication decorator to handle optionals.
7da5c41
@alban-linard
Remove warning.
b38eda7
@alban-linard
Fix table name for reputations.
7e99f2e
@alban-linard
Improve coverage.
16c988b
@alban-linard
Work on before filter in progress...
676542d
@alban-linard
Continue to fix tests.
6dd3196
@alban-linard
Update migrations.
5944df6
@alban-linard
Improve coverage.
1a84a6e
@alban-linard
Add tests for resources.
ba59009
@alban-linard
Add tests for permissions.
d6b1146
@alban-linard
Add tests for resources.
158e396
@alban-linard
Add tests for resources.
34d15c0
@alban-linard
Resources are correctly handled.
34ddf02
@alban-linard
Add script to run tests.
084f72c
@alban-linard
Fix database for executions.
2936577
@alban-linard
Starting to fix websocket for editor.
cf2060b
@alban-linard
Update database to handle project identities.
bdfaed7
@alban-linard
Add dependencies on resty.* things.
81afe6d
@alban-linard
Almost runnig editor...
d844bf7
@alban-linard
Add qless integration for task launching.
25ee9f3
@alban-linard
Improve editor creation.
bfc07e4
@alban-linard
Update use of request and mock_request.
f0eea1c
@alban-linard
Improve coverage.
9f30452
@alban-linard
Improve coverage.
e205cd6
@alban-linard
Remove virtual hosts.
0601348
@alban-linard
Try increasing timeout for wercker.
7d38d8b
@alban-linard
Remove reference to api.cosyverif.dev
2ecfb6b
@alban-linard
Whitespace.
48f467a
@alban-linard
Improve detection of dead services.
be23e43
@alban-linard
Allow configuration of server instance.
c365400
@alban-linard
Raise an error when editor or execution cannot run.
7030460
@alban-linard
Fix server with Alpine system.
3a10f87
@alban-linard
Fix wercker build.
2179429
@alban-linard
Fix wercker build.
60b060a
@alban-linard
Fix wercker build.
53172e0
@alban-linard
Cosmetic changes.
39fa49d
@alban-linard
Remove NPROC variable.
2dd9274
@alban-linard
Clean build with alpine and switch to unique identifiers.
e4cd913
@alban-linard
Show progress in wercker.
9e971ba
@alban-linard
Increase timeout for docker registry.
0b179eb
@alban-linard
Test slack integration.
fdcbade
@alban-linard
Fix slack channel.
07ad650
@alban-linard
Fix docker cloud urls.
5b9f988
@alban-linard
Fix wercker configuration.
823bb4a
@alban-linard
Fix slack channel.
05e3d34
@alban-linard
Remove useless debug print.
2cd69ca
@alban-linard
Fix editor launch in server, by looking for server url.
c12e41d
@alban-linard
Remove automatic luarocks upload.
182c226
@alban-linard
Propage Dockercloud variable in nginx.
76dfe2b
@alban-linard
Fix clean delay depending on testing environment.
e93d9fd
@alban-linard
Add a 'mode': production or development.
3439d3b
@alban-linard
Fix configuration.
aad7407
@alban-linard
Trying to fix again editor/execution runs.
c9cd4e9
@alban-linard
Fix docker-* files.
6a7a92b
@alban-linard
Fix patching of resource.
69bfc41
@alban-linard
Add timeout to editor/execution start, and fix job heartbeat.
b5e4952
@alban-linard
Fix execution end after a test.
5915f2e
@alban-linard
Remove all webclient parts.
fc1863c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@saucisson @alban-linard