#
9a9f56d3 |
|
04-Oct-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix llvm build [skip bamboo]
|
#
4ecc9f91 |
|
03-Oct-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: add gpg keys [skip bamboo]
|
#
36f1f9f5 |
|
03-Oct-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix package ppa [skip bamboo]
|
#
61deffd3 |
|
03-Oct-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: try fixing clang dependencies [skip bamboo]
|
#
21226134 |
|
03-Oct-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: fix llvm merge [skip bamboo]
|
#
ddf28a9e |
|
09-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: allow a larger timeout [skip bamboo]
|
#
64501685 |
|
09-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix flags [skip bamboo]
|
#
7b22c1b1 |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix wrong configure command [skip bamboo]
|
#
50dc7442 |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: use flags consistently [skip bamboo]
|
#
6ee2de93 |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix env var conflict
|
#
3367d023 |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: reinforce that it only deploys on master [skip ci]
|
#
7e7f7794 |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: update travis setup a bit [skip bamboo]
|
#
95bc93bf |
|
07-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix travis post-deploy setup [skip bamboo]
|
#
dc70be30 |
|
07-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: use a ruby script to clean up old releases [skip bamboo]
|
#
022e00df |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: config fixes + lint [skip bamboo]
|
#
dd86afd2 |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix format error [skip bamboo]
|
#
0ad28db5 |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
traivs: use travis build number instead of id [skip bamboo]
|
#
78a1fab4 |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: try if it removes old auto-deploys [skip bamboo]
|
#
eb2166dc |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: try to fix file in build [skip bamboo]
|
#
7c69ff94 |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: tags also not defined [skip bamboo]
|
#
f381c534 |
|
05-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: release v2 doesn't have script flag [skip bamboo]
|
#
2027f099 |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: tweaks [skip bamboo]
|
#
e92e8101 |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: try skip script [skip bamboo]
|
#
86a4783b |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: test jobs and stages [skip bamboo]
|
#
8a9cf1da |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: more deployment experiments [skip bamboo]
|
#
45ae8ef2 |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: just for testing [skip bamboo]
|
#
97ade8b6 |
|
04-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: tweak not. and release [skip bamboo]
|
#
d1e8d5c3 |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: small tweaks to fix deployment and notification [skip bamboo]
|
#
98f3809f |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: token setup changes [skip bamboo]
|
#
3d65e477 |
|
03-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: re-enable tests
|
#
b8b3f0ee |
|
01-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: disable some tests [skip bamboo]
|
#
e67e5b95 |
|
01-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: try github releases deployment [skip bamboo]
|
#
2667478a |
|
23-Jun-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: adapt to new cabal
|
#
09260eda |
|
23-Jun-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: add ghc-8.8.3 matrix
|
#
e32ba8b0 |
|
17-Feb-2020 |
Zhenyu Yao <z5125769@student.unsw.edu.au> |
compiler.dargent: WIP - typecheck for layout polymorphism - have typecheck working for some basic cases - change core lang to allow layout args - introduce TLApp to surface syntax [skip lemma]
|
#
1f69fb70 |
|
12-Feb-2020 |
Zhenyu Yao <z5125769@student.unsw.edu.au> |
compiler.dargent: WIP - progress on typechecking - also modify travis config, it should be able to build binary now [skip lemma]
|
#
302630ea |
|
03-Feb-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: allow ghc-8.2.1 to fail .. due to its faulty dependency. [skip lemma]
|
#
63d5428b |
|
02-Feb-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: give travis a larger timeout [skip lemma]
|
#
c32b77ba |
|
02-Feb-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: add a wait and enable arrays [skip lemma]
|
#
c492475b |
|
14-Oct-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: switch it off on this branch [skip lemma]
|
#
11a9e41d |
|
16-Sep-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
traivs: enable one cabal test [skip lemma]
|
#
b4cff08b |
|
05-Feb-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: set up travis for the new testing script [skip lemma]
|
#
2771ae49 |
|
05-Feb-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
tests: migrate to new testing script (partially) also see #350 for what's missing [skip lemma]
|
#
e701e7d0 |
|
30-Sep-2019 |
vjackson725 <vjackson725@users.noreply.github.com> |
proof: update proofs to Isabelle 2019 / AutoCorres 1.6
|
#
bb1df627 |
|
13-Sep-2019 |
Emmet Murray <emmet-m@users.noreply.github.com> |
Fix Travis CICD failures (#294) * Fixed problem with documentation not building, tests not pasing
|
#
a8548410 |
|
04-Jun-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: add ghc-8.6.5 support [skip lemma]
|
#
5093d8c4 |
|
20-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: add gc-8.6.4 test [skip lemma]
|
#
5311b579 |
|
20-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: add ghc-8.6.3 [skip lemma]
|
#
88c872c8 |
|
20-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
autocorres: make autocorres a prerequisite
|
#
65ec9baa |
|
11-Mar-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
tests: fix antiquote tests [skip lemma]
|
#
8de7c673 |
|
25-Feb-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: rename channel name [skip lemma]
|
#
9dd27cf0 |
|
08-Dec-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: now support ghc-8.6.[12] [skip lemma]
|
#
1e660e34 |
|
04-Dec-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: support more ghc versions compiler: * add new build config files * relax constraint on microlens * add matrix for ghc-8.6.[12] and ghc-8.4.4 * update docs. travis: * allow 8.6 to fail, * using new cabal version (2.2) * once graph-wrapper-0.2.5.2 is online, it should work [skip lemma]
|
#
d34a6cc0 |
|
01-Dec-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix compiler values to generate urls properly [skip lemma]
|
#
425356d9 |
|
29-Nov-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: flags in more places [skip lemma]
|
#
e6ed5991 |
|
29-Nov-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: enable all compiler flags [skip lemma]
|
#
0678722e |
|
10-Sep-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: also compile haddock
|
#
164a6f1e |
|
04-Sep-2018 |
vjackson725 <vjackson725@users.noreply.github.com> |
change the travis slack room
|
#
909a9e2e |
|
14-Aug-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: stop notifying hipchat. we have slack already. [skip ci]
|
#
28d799b0 |
|
05-Jun-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: also run the compiler on the fses [skip ci]
|
#
4b79c33a |
|
02-Jun-2018 |
Liam O’Connor <liamoc@cse.unsw.edu.au> |
notify cogent club slack.
|
#
5322211c |
|
01-Jun-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: fix z3 cache-hit actions
|
#
66593eb9 |
|
01-Jun-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
add ghc-8.4.3 support and update README files
|
#
8d122c26 |
|
24-May-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: largely improve coherence btw parser and pp
|
#
7b4212db |
|
14-May-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: update scripts accordingly
|
#
08dfabb2 |
|
12-May-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: use fixed build plan and cache z3
|
#
2797f6cf |
|
10-May-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: install z3 [skip lemma]
|
#
c3620e5a |
|
23-Apr-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: fix (<>) for older ghc [skip ci][skip lemma]
|
#
4153abe3 |
|
22-Apr-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: update travis setup [skip lemma]
|
#
1712d676 |
|
22-Apr-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: try to drop ghc-8.0 and add ghc-8.4 [skip lemma]
|
#
97fe9623 |
|
03-Apr-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: raise cabal version constraint [skip lemma]
|
#
4fd196bd |
|
03-Apr-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: try out fixed build plans [skip lemma]
|
#
89e3b4b5 |
|
18-Jul-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: block this branch
|
#
78aeb6a5 |
|
08-Feb-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: improve testsuite and scripts now we have a pass_flags_* or fail_flags_* pattern that we can automatically test for compiler flags
|
#
efc224e4 |
|
01-Feb-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: try to catch up with travis image update https://docs.travis-ci.com/user/build-environment-updates/2017-12-12/
|
#
6efb6bb4 |
|
01-Feb-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: enable ci to get more feedback
|
#
6e9769eb |
|
14-Jan-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: exclude this branch
|
#
18162af9 |
|
26-Nov-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: try a different build env with more mem eventually I can see the green ticks again! :)
|
#
03e8ae11 |
|
26-Nov-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: enable test for ghc-8.2.2 release [skip ci]
|
#
a8a46492 |
|
07-Nov-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: revert last commit. see travis-ci/#5071
|
#
50c91fc0 |
|
07-Nov-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: add another wait instruction
|
#
69a47915 |
|
04-Oct-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: add support for ghc-8.2.1 * use --force-reinstalls flag * require cabal-install-1.24 or above * use new cabal features and enforce some package versions * enforce pandoc's version
|
#
393e0743 |
|
16-Jun-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: try travis_wait
|
#
976aff98 |
|
10-Jun-2017 |
Zilin Chen <zilin.chen@data61.csiro.au> |
compiler: support GHC-8.0.2 [skip ci]
|
#
2af2c946 |
|
24-May-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
ci: try more versions of ghc
|
#
fd00617f |
|
30-Mar-2017 |
Zilin Chen <Zilin.Chen@nicta.com.au> |
regression: lemma and travis cover most tests (minus huge proofs) * add some isabelle related tests back to lemma-regression * update libgum typecheck test * fix isabelle tests * fix bilby build (fail due to kernel compatibility) * other misc fixes to test script
|
#
a4aa89c5 |
|
02-Apr-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
license: fix some licenses and use upstream cancellatives
|
#
4b19a242 |
|
20-Mar-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
travis: cache the entire sandbox * use multi-ghc-travis template * also add file systems builds in the CI * tried the new nix-style cabal: DOES'T WORK - it needs all files added to the .cabal file, - which means for us all libgum * tried without a sandbox: DOESN'T WORK - we need to deal with isa-parser separately and - I don't see a clean way of doing it * use multiline syntax in the yml file * make ghc-8.0.2 allow_failure, it currently fails due to upstream problems * use jobs: 2 in cabal.config file * fix directory due to impl reorg
|
#
dc6bd0fb |
|
15-Mar-2017 |
Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au> |
[impl] Reorganise impl directory. We currently have all our filesystem implementation in `impl` directory. This patch moves all the implementations into `impl/fs` directory. This makes for better organisation of the source tree when we eventually have `impl/net`, for network implementations in `Cogent`.
|
#
5d47b39a |
|
19-Mar-2017 |
Zilin Chen <Zilin.Chen@nicta.com.au> |
travis: update yaml script * remove ghc head env, which never passes * make each test step really tests something
|
#
3e21e53b |
|
14-Mar-2017 |
Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au> |
[impl/fs] Fix ext2 and bilby build issues. We don't want to build the kernel module(yet) since travis container doesn't have the kernel headers that are required to build the kernel module. So what we do is just check if the C code is generated successfully by the Cogent compiler. We also encountered a really interesting issue as highlighted in this[1] stackoverflow post. So we run the initial pass of the `cpp` (from within Cogent) in the `c99` mode and then when actually building the kernel module we use `cpp` in `gnu99` mode. Please read the stackoverflow post for more details. [1] - http://stackoverflow.com/questions/19210935/why-does-the-c-preprocessor-interpret-the-word-linux-as-the-constant-1
|
#
9137b275 |
|
13-Mar-2017 |
Zilin Chen <Zilin.Chen@nicta.com.au> |
ci: add fs builds to ci ext2 and bilby are not compiling for some reason
|
#
de413abc |
|
21-Feb-2017 |
Zilin Chen <Zilin.Chen@nicta.com.au> |
examples: add them to travis
|
#
26273b02 |
|
11-Jan-2017 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
[CI] add travis hipchat notification
|
#
aab84d49 |
|
09-Jan-2017 |
Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au> |
[CI] Use travis on github for build and sanity. This commit adds a .travis.yml to the repo. I've also enabled `Travis` on the `NICTA/cogent` repo and configured it to get travis working for both `merges` and `pull requests`. There might be some minor issues still, which I intend to iron out over the next few days.
|