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

Add Tactician to the platform #423

Draft
wants to merge 40 commits into
base: main
Choose a base branch
from
Draft

Add Tactician to the platform #423

Changes from 1 commit
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
d278742
Test tactician
LasseBlaauwbroek Apr 11, 2024
98f9f0b
Run CI on tactician branch
LasseBlaauwbroek Apr 11, 2024
4dd681c
Merge branch 'main' into tactician
LasseBlaauwbroek Apr 11, 2024
09c13ad
Typo
LasseBlaauwbroek Apr 11, 2024
6ae7b8b
downgrade dune
LasseBlaauwbroek Apr 11, 2024
8da0810
Inject tactician
LasseBlaauwbroek Apr 11, 2024
9643806
Debug
LasseBlaauwbroek Apr 11, 2024
6b00bdd
Debug
LasseBlaauwbroek Apr 11, 2024
aac260c
Debug
LasseBlaauwbroek Apr 11, 2024
1468bf2
debug3
LasseBlaauwbroek Apr 11, 2024
2ddddd3
debug4
LasseBlaauwbroek Apr 11, 2024
bd8cab8
debug5
LasseBlaauwbroek Apr 11, 2024
dbd34f7
debug6
LasseBlaauwbroek Apr 11, 2024
51066ff
Debug 7
LasseBlaauwbroek Apr 11, 2024
124dbf6
Disable smoke tests
LasseBlaauwbroek Apr 11, 2024
a5c274d
Debug more
LasseBlaauwbroek Apr 11, 2024
7d00da2
Debug
LasseBlaauwbroek Apr 11, 2024
ed8da65
Debug x
LasseBlaauwbroek Apr 11, 2024
778d712
Full pick
LasseBlaauwbroek Apr 11, 2024
ee3291b
Pre-install z3
LasseBlaauwbroek Apr 11, 2024
250ac40
Don't install z3 in cygwin
LasseBlaauwbroek Apr 11, 2024
e0ad332
Dev version
LasseBlaauwbroek Apr 11, 2024
0354734
Fix
LasseBlaauwbroek Apr 11, 2024
76dfd11
Install z3 first
LasseBlaauwbroek Apr 11, 2024
750a2b9
Run CI
LasseBlaauwbroek Jul 18, 2024
9120673
Run CI
LasseBlaauwbroek Jul 18, 2024
f9fdda3
Merge remote-tracking branch 'upstream/main' into tactician
LasseBlaauwbroek Jul 18, 2024
0e587d3
Do ocamlfind pin earlier
LasseBlaauwbroek Jul 18, 2024
fd4810f
Fix
LasseBlaauwbroek Jul 18, 2024
11eb265
Downgrade opam-client for windows
LasseBlaauwbroek Jul 18, 2024
35f3e04
Note
LasseBlaauwbroek Jul 18, 2024
839b5df
CI
LasseBlaauwbroek Jul 18, 2024
c56440d
Cleanup
LasseBlaauwbroek Jul 19, 2024
3bdeb30
CI
LasseBlaauwbroek Jul 24, 2024
9e0190c
CI
LasseBlaauwbroek Jul 24, 2024
57d14e7
CI
LasseBlaauwbroek Jul 25, 2024
5abba6e
CI
LasseBlaauwbroek Jul 25, 2024
daa9ee6
CI
LasseBlaauwbroek Jul 25, 2024
941efe2
CI
LasseBlaauwbroek Jul 25, 2024
0b70d9b
CI
LasseBlaauwbroek Jul 25, 2024
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
Prev Previous commit
Next Next commit
debug3
  • Loading branch information
@LasseBlaauwbroek
LasseBlaauwbroek committed Apr 11, 2024
commit 1468bf2d986aa6479c06046c0725119c938572e7
4 changes: 4 additions & 0 deletions shell_scripts/build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,10 @@ ulimit -S -s 65520

if ! $COQ_PLATFORM_TIME opam install coq-core.8.18.0 coq-tactician.1.0~beta2.1+8.18; then dump_opam_logs; fi

opam switch

opam env

opam exec -- tactician inject

case "$COQ_PLATFORM_PARALLEL" in
Expand Down