Skip to content
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

Sercomp benchmarking mode. #32

Closed
ejgallego opened this issue Mar 24, 2017 · 0 comments · Fixed by #318
Closed

Sercomp benchmarking mode. #32

ejgallego opened this issue Mar 24, 2017 · 0 comments · Fixed by #318
Labels
fixed by: flèche

Comments

@ejgallego
Copy link
Owner

We want to add a benchmarking mode to sercomp. We could gather statistics section, module and sentence. With a bit of help from the STM we could do quite well.

An open quesiton is what to use for analytics of the data, maybe Core_bench could help here?
@ejgallego ejgallego mentioned this issue Mar 24, 2017
Closed
@ejgallego ejgallego added this to the 0.6.0 milestone Dec 7, 2018
@ejgallego ejgallego modified the milestones: 0.6.0, 0.6.1 Feb 4, 2019
@ejgallego ejgallego modified the milestones: 0.6.1, 0.7.0 Mar 27, 2019
@ejgallego ejgallego modified the milestones: 0.7.0, 0.7.1 Oct 25, 2019
@ejgallego ejgallego modified the milestones: 0.7.1, 0.11.0 Jan 24, 2020
@ejgallego ejgallego modified the milestones: 0.11.0, 0.11.1 May 13, 2020
@ejgallego ejgallego modified the milestones: 0.11.1, 0.12.0 May 27, 2020
@ejgallego ejgallego modified the milestones: 0.12.0, 0.12.2 Aug 27, 2020
@ejgallego ejgallego modified the milestones: 0.12.2, 0.13.1 Mar 12, 2021
@ejgallego ejgallego modified the milestones: 0.13.1, 0.14.0 Sep 21, 2021
@ejgallego ejgallego modified the milestones: 0.14.0, 0.16.0 Jun 15, 2022
@ejgallego ejgallego removed this from the 0.16.0 milestone Sep 8, 2022
ejgallego added a commit that referenced this issue Feb 14, 2023
@ejgallego
[meta] Put SerAPI in maintenance mode.
779ce5e 
Thanks to everyone that helped and used this project for almost 7
years!

The following issues are solved by coq-lsp:

closes #252, closes #261, closes #234, closes #202, closes #117,
closes #49, closes #32, closes #26, closes #24, closes #13
@ejgallego ejgallego mentioned this issue Feb 14, 2023
Merged
ejgallego added a commit that referenced this issue Feb 14, 2023
@ejgallego
[meta] Put SerAPI in maintenance mode.
7224c22 
Thanks to everyone that helped and used this project for almost 7
years!

The following issues are solved by coq-lsp:

closes #252, closes #261, closes #234, closes #202, closes #117,
closes #49, closes #32, closes #26, closes #24, closes #21,
closes #18, closes #13
ejgallego added a commit that referenced this issue Feb 14, 2023
@ejgallego
[meta] Put SerAPI in maintenance mode.
946211b 
Thanks to everyone that helped and used this project for almost 7
years!

The following issues are solved by coq-lsp:

closes #252, closes #261, closes #234, closes #202, closes #117,
closes #49, closes #32, closes #26, closes #24, closes #21,
closes #18, closes #13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
fixed by: flèche
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[meta] Put SerAPI in maintenance mode. ejgallego/coq-serapi
1 participant
@ejgallego