jasongross / bedrock Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mit-plv/bedrock
Not necessarily up-to-date mirror of hg bedrock repository
Home Page: http://plv.csail.mit.edu/bedrock/
License: Other
This project forked from mit-plv/bedrock
Not necessarily up-to-date mirror of hg bedrock repository
Home Page: http://plv.csail.mit.edu/bedrock/
License: Other
Something strange in the Travis Coq build here:
https://travis-ci.org/ejgallego/coq/jobs/204977514
somehow the Coq mode gets reverted to 8.4, it is weird as I cannot reproduce locally. In my machine,
make src facade
fails with
File "./Bedrock/ILTac.v", line 17, characters 0-25:
Error: while loading
/home/emilio/external/coq-master/bedrock/Bedrock/reification/reif.cmxs:
no implementation available for Tacinterp
which again for some reason is strange, as if it was not using the proper coq_makefile
.
Is there a way to play with this using a locally compiled Coq (./configure -local
when compiling Coq)?
There's some complicated compatibility mechanism in the Makefile and I have no idea what's going on.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.