8000 Commits · MetaBorgCube/metaborg-coq · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Apr 28, 2025

Update baseline to 2.5.23
Apanatshka
committed

Commits on Jul 24, 2024

Change baseline to 2.5.21
Apanatshka
committed

Commits on May 27, 2024

Specify Metaborg version explicitly
Virtlink
authored

Commits on Jun 20, 2023

Set default for sdf2table to get rid of warning
Apanatshka
committed

Commits on Jun 19, 2020

Add Jenkinsfile that triggers build.
Gohla
committed

Commits on Sep 11, 2018

Set version to 2.6.0-SNAPSHOT / 2.6.0.qualifier
Gohla
committed

Commits on Feb 16, 2018

Ignore generated Maven polyglot file.
hendrikvanantwerpen
committed

Commits on Jan 23, 2018

Update Bundle-RequiredExecutionEnvironment to Java 8.
hendrikvanantwerpen
committed

Commits on Jan 9, 2018

Set version to 2.5.0-SNAPSHOT / 2.5.0.qualifier
Gohla
committed

Commits on Sep 29, 2017

Set version to 2.4.0-SNAPSHOT / 2.4.0.qualifier
Gohla
committed

Commits on May 9, 2017

Cleanup project, remove (ignored) build errors.
hendrikvanantwerpen
committed

Commits on Apr 19, 2017

Add pp strategies and disambiguate imports
vvergu
committed

Commits on Apr 17, 2017

Set version to 2.3.0-SNAPSHOT / 2.3.0.qualifier
Gohla
committed

Commits on Jan 9, 2017

Set version to 2.2.0-SNAPSHOT / 2.2.0.qualifier
Gohla
committed

Commits on Sep 9, 2016

Use libspoofax.
Gohla
committed

Commits on Aug 19, 2016

Remove unnecessary Eclipse-BundleShape.
Gohla
committed

Commits on Aug 16, 2016

Commits on Oct 16, 2014

Guessing the term order precedence.
Augusto Passalaqua Martins
committed

Commits on Oct 13, 2014

Build generation file update.
Augusto Passalaqua Martins
committed
Making sure we’re capable of expressing all optionals in concrete syntax.
Augusto Passalaqua Martins
committed
Adding assertion and assumption keywords to reserved set.
Augusto Passalaqua Martins
committed

Commits on Oct 3, 2014

Copying files to the right places in the other projects.
Augusto Passalaqua Martins
committed

Commits on Oct 2, 2014

Cleaning and updating the build files following eduardo’s docs.
Augusto Passalaqua Martins
committed

Commits on Sep 12, 2014

Fixing the start symbol naming, adding constructors, fixing mix grammar.
Augusto Passalaqua Martins
committed

Commits on Sep 2, 2014

Moving back to copying files until a better solution is found.
Augusto Passalaqua Martins
committed

Commits on Aug 22, 2014

Trying to get things properly packaged in a jar.
Augusto Passalaqua Martins
committed

Commits on Aug 20, 2014

Adding support to generate a pp jar file. Still going to move other projects to use it.
Augusto Passalaqua Martins
committed
Moving to symbolsorts based SDF3 code.
Augusto Passalaqua Martins
committed

0