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

Basic CI and tests. #8

Open
wants to merge 48 commits into
base: master
Choose a base branch
from
Open

Basic CI and tests. #8

wants to merge 48 commits into from

Conversation

gsvgit
Copy link
Contributor

@gsvgit gsvgit commented Aug 27, 2021

  • Basic CI is configured using GitHub Actions
    • Code compilation
    • Tests execution
  • Basic stuff for simple tests is added
    • Tests are based on Tasty framework
    • Timeout to control diverge tests is added
    • To run tests locally use stack test
  • First simple tests are added
    • A number of examples are converted to tests
    • Some tests on linear algebra are added

gsvgit and others added 30 commits July 5, 2021 10:36
@gsvgit
Matrix transpose is added.
7de8a49
Add basic CI
a5ef174
@gsvgit
Merge pull request #2 from YaccConstructor/adding-CI
219fe41 
Added CI
@gsvgit
Merge pull request #1 from YaccConstructor/adding-examples
134479d 
Added experiments
@gsvgit
Merge pull request #3 from YaccConstructor/adding-examples
694311e 
Fix typos in readme
@gsvgit
Small fixes in Readme
cd37ecf
@gsvgit
Functions for masks transformation. First version. Strange behavior o…
8e08d34 
…f distiller.
@gsvgit
Try add matrices comparison. Failed.
490d52f
@gsvgit
First attempt to implement transitive closure and RPQ.
6146296
Fix merge conflict due to update from original repo
e9b7c15
@katevi
Add Github actions for CI
737e1c3
Remove travis file, add GitHub actions before
3405a8b
Add working test configuration into project
16df43a
Fix merge conflict during rebasing master
cbd58c8
Add ability for user to specify directory with sources
d550077
Add handling of case when imports stored in current folder
fc659b0
Extract load and eval functions from main for its testing
21f3547
First eval test passes
572f0bb
Start add first test for distill
36d82e5
Add first distill test
1f0c378
@gsvgit
An example of test for distiller.
660ee92
@gsvgit
More accurate programs comparison. More tests.
761ad26
@gsvgit
More tests.
3437aa4
@katevi
Update haskell.yml
d3f05ba
Add working test configuration into project
e7bbbde
Fix merge conflict during rebasing master
60b226f
Add ability for user to specify directory with sources
608dfc5
Add handling of case when imports stored in current folder
6c889dd
Extract load and eval functions from main for its testing
bc86f66
First eval test passes
d678ab3
Kate Vinnik and others added 18 commits August 25, 2021 09:23
Start add first test for distill
b333e82
Add first distill test
f8d7d91
@gsvgit
An example of test for distiller.
2385734
@gsvgit
More accurate programs comparison. More tests.
6ab25ef
@gsvgit
More tests.
e9d6c02
@kajigor
Tests refactored
6701b95
@kajigor
Merge branch 'adding-tests' of github.com:YaccConstructor/Distiller i…
3bcc561 
…nto adding-tests
@gsvgit
Kron is fixed. Again.
b9d0c3f
@gsvgit
More tests. Distillation exceptions handling is added.
7ce3005
@gsvgit
Old test stuff removed.
c9a7766
@gsvgit
More tests.
cf5b642
@gsvgit
More tests on linear algebra.
c94f2e3
@gsvgit
More tests.
bd9f728
@gsvgit
Update README.md
9f6ecd9
@gsvgit
Merge branch 'adding-tests' of https://github.com/YaccConstructor/Dis…
7904f3b 
…tiller into adding-tests
@gsvgit
Directory is an optional parameter of :load command.
60f5382
@gsvgit
Merge pull request #4 from YaccConstructor/adding-tests
0b31476 
Basic stuff for tests is added. CI is configured. The first part of the tests is added.
@katevi
Update haskell.yml
1249fcc
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
@gsvgit @katevi @kajigor