Feature/vm dynload#49

Open

cipher1024 wants to merge 37 commits intomasterfrom

feature/vm-dynload

Commits on Apr 28, 2019

Add src/library/vm/vm_dynload.h
agentultra
committed

Commits on May 1, 2019

Add vm_foreign_obj struct
agentultra
committed

Commits on May 2, 2019

Commits on May 3, 2019

Commits on May 7, 2019

Modify doc/library/vm.md
agentultra
committed

Commits on May 10, 2019

Register ffi attribute
agentultra
committed
fix(tactic/case): `case` fails when used with `let` #32

cipher1024
authored and
agentultra
committed
chore(build): avoid redundant builds [skip ci]

cipher1024
authored and
agentultra
committed
fix(tests): add `expected` file for `case_let.lean`

cipher1024
authored and
agentultra
committed
fix(build): disable building other branches than master

cipher1024
authored and
agentultra
committed
chore(build): restrict Travis tasks when building nightlies [skip ci]

cipher1024
authored and
agentultra
committed
feat(tactic/add_def_eqns): add a Lean function to access the equation compiler (#26)

cipher1024
authored and
agentultra
committed
chore(build): fix ccache+clang++ on travis

cipher1024
authored and
agentultra
committed
play around with libffi
cipher1024
committed
include ffi.h
cipher1024
committed

Commits on May 12, 2019

WIP
cipher1024
committed

Commits on May 16, 2019

Commits on May 17, 2019

Commits on May 19, 2019

Commits on May 20, 2019

with nuget [skip travis]
cipher1024
committed

Commits on May 21, 2019

Commits on May 23, 2019