Switch to CI based on Jenkinsfile Dockerfile - #21

Open

ehildenb wants to merge 40 commits into

jenkinsfile-dockerfile

Commits on Mar 3, 2019

.build/k: update K submodule
Everett Hildenbrandt
committed
f35614e
Makefile: assume OCaml has been setup already
Everett Hildenbrandt
committed
afa7724
Dockerfile, Jenkinsfile: testing based on Jenkinsfile
Everett Hildenbrandt
committed
3cbd99f
Dockerfile: default z3 install, setup haskell dependencies
Everett Hildenbrandt
committed
ef50804
Makefile: formatting
Everett Hildenbrandt
committed
73320a3
Makefile: skip llvm backend
Everett Hildenbrandt
committed
191d178
Makefile: correct environments/flags for kompile
Everett Hildenbrandt
committed
be0a6f4
Makefile: louder K build
Everett Hildenbrandt
committed
cfdac25
Makefile: switch over to WASM-style build system
Everett Hildenbrandt
committed
d6febe2
Makefile: fix issues with pandoc and definition files
Everett Hildenbrandt
committed
c9c51ea
imp: wrap rules in <k> tags, add sort specification to rule
Everett Hildenbrandt
committed
1dcbbe8
fun: update documentation
Everett Hildenbrandt
committed
9784ef4
Makefile: corrections to how tangler is invoked
Everett Hildenbrandt
committed
30c6201
fun: build better for ocaml backend
Everett Hildenbrandt
committed
3245b44
kat: simplify functionality
Everett Hildenbrandt
committed
14ed0d3
kat: environment setup in spirit of KWasm
Everett Hildenbrandt
committed
b5a56f7
kat: update to use ocaml/java instead of krun/kcompile
Everett Hildenbrandt
committed
e47a670
Jenkinsfile: separate out building dependencies from building semantics
Everett Hildenbrandt
committed
aadca62
.build/k: update K submodule
Everett Hildenbrandt
committed
a654bf1
Makefile: specify test_dir
Everett Hildenbrandt
committed
e5ac1f4

Commits on Mar 4, 2019

tangle: remove unused file
Everett Hildenbrandt
committed
5eddf88
kat: add run-klab command for running KLab on definition
Everett Hildenbrandt
committed
95f7ace
.build/k: update K submodule
Everett Hildenbrandt
committed
dd7793e

Commits on Mar 9, 2019

kat: faster execution without sorting collections
ehildenb
committed
b5d4c0b
kat: StrategyApplied switched to a KLabel
ehildenb
committed
614e4d1
kat: record last state of trace as well
ehildenb
committed
c077ca1

Commits on Mar 10, 2019

kat: fail on file non-existant, more options to klab-run
ehildenb
committed
5e67c78
kat, kat-imp: regular rules folded into #normal
ehildenb
committed
17d05b1
fun: remove unused symbolicInt
ehildenb
committed
d938ede

Commits on Mar 11, 2019

imp: mark `symbolicInt` function as `impure`
ehildenb
committed
3422802
tests/imp/*: update
ehildenb
committed
e565086

Commits on Mar 13, 2019

kat: correctly check if running with OCaml
ehildenb
committed
aeba365
.build/k: update K submodule
ehildenb
committed
7e16838
.build/k: update K submodule
ehildenb
committed
c210616
Dockerfile: udpated instructions for rust/stack installation
ehildenb
committed
ede88f6
Dockerfile: set user permissions on directory created
ehildenb
committed
60e6400
Dockerfile: skip rust setup steps
ehildenb
committed
cad3dce
Jenkinsfile: skip FUN tests for now
ehildenb
committed
d30e36a
Dockerfile: add --no-haddock-deps to stack build
ehildenb
committed
eeebdce

Commits on Mar 15, 2019

Makefile: try different syntax for --lua-filter option
ehildenb
committed
1dead87