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.

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

Restructure repo #60

Merged
merged 22 commits into from
Nov 17, 2023
Merged
Show file tree
Hide file tree
Changes from 18 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
4272f92
remove all tools; implement new tsl command
leoqiao18 Nov 16, 2023
5ca2f9a
add theory support in preprocessor
leoqiao18 Nov 16, 2023
65fa235
remove 'make' command from GitHub actions; ormolu formatting
leoqiao18 Nov 16, 2023
1b43c8d
ormolu formatting on app/Main.hs
leoqiao18 Nov 16, 2023
6e52ec7
change default Makefile target to build
leoqiao18 Nov 16, 2023
0fbea3a
remove CFM
leoqiao18 Nov 16, 2023
cbb3df9
make testing work again after restructuring
leoqiao18 Nov 16, 2023
5541aae
remove TSL's dependency on the helper scripts
leoqiao18 Nov 16, 2023
c27e797
remove unused modules; reorganize everything in src
leoqiao18 Nov 16, 2023
d5ff04d
ormolu formatting
leoqiao18 Nov 16, 2023
5891bb2
remove all warnings; cleanup comments; cleaner pipeline passes
leoqiao18 Nov 17, 2023
b234d6f
check ltlsynt availability
leoqiao18 Nov 17, 2023
bd0d77c
add more commands
leoqiao18 Nov 17, 2023
7398e75
ormolu format
leoqiao18 Nov 17, 2023
6711ef0
rename GitHub action for TSL test suite so it's not 'Hello World'
leoqiao18 Nov 17, 2023
0aec3e3
adding printing to Test.hs to debug why GitHub Actions is not running…
leoqiao18 Nov 17, 2023
3d31c0f
update github ations versions
leoqiao18 Nov 17, 2023
3296d77
'*.tsl' and 'specs' were in .gitignore, causing the specs directory t…
leoqiao18 Nov 17, 2023
a115bc6
bring back tsl coregen command; rename TSL syntax-related modules to …
leoqiao18 Nov 17, 2023
a7fc156
bring back tsl minrealizable command
leoqiao18 Nov 17, 2023
6d1acdc
ormolu formatting
leoqiao18 Nov 17, 2023
c2253ba
update README.md and CONTRIBUTING.md
leoqiao18 Nov 17, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 3 additions & 4 deletions .github/workflows/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,14 +7,13 @@ jobs:
- uses: actions/checkout@v3
- uses: haskell-actions/run-ormolu@v11
build:
name: Hello World
name: TSL test suite
runs-on: ubuntu-latest # or macOS-latest, or windows-latest
needs: ormolu
steps:
- uses: actions/checkout@v3
- uses: haskell/actions/setup@v1
- uses: actions/checkout@v4
- uses: haskell-actions/setup@v2
with:
enable-stack: true
stack-version: 'latest'
- run: make
- run: stack test
32 changes: 4 additions & 28 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,11 +1,6 @@
deps
specs
local-dev
*.tsl
*.sl
foo*
bar*
TODO
# ignoring top-level .tsl files, because they are usually local test files
/*.tsl

.DS_Store
tags
dist
Expand All @@ -26,26 +21,7 @@ cabal.sandbox.config
*.aux
*.hp
*.pdf
tsl2tlsf
tslcheck
tslsize
tslsplit
tslsym
tslplay
tsl2toml
tslresolve
cfm2code
cfmcheck
cfminfo
cfmsym
cstratsim
tslcoregen
tslminrealizable
hoa2code
parsehoa
tslsynth
tslmt2tsl
tslpreprocess
.commit
.stack-work
stack.yaml.lock
*.cabal
6 changes: 0 additions & 6 deletions .gitlab-ci.yml

This file was deleted.

Loading