Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
  • Sign in / Register
Albert
Albert
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 18
    • Issues 18
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 10
    • Merge Requests 10
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Nomadic Labs
  • AlbertAlbert
  • Repository
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • julien@proto_ops
    fa1df18b · WIP! [OTT|Semantics] Adding protocol dependent operations · Dec 09, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • WTSC20
    2516bb6b · Put dup, drop, and pairs in the base fragment · Dec 11, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@custom_label
    35646ff0 · WIP custom labels · Mar 31, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • rafoo@meta_theory
    f65cf063 · WIP: subject reducion · Mar 31, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 1-timestamp-in-rfc-3339
    d88f7a8b · [Doc] Add a README · Mar 31, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@ast-printer
    387e77da · Apply suggestion to extraction/.gitignore · Apr 07, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@CI
    ab7e5d1d · WIP[CI] build doc and typecheck compiler output · Apr 07, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@entrypoints
    4e5ee32a · WIP [spec|compiler] adding toplevel entrypoints and storage compil and typechecking · Apr 14, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@test-CI
    0ce20417 · WIP · Apr 16, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • coverage
    13015d0c · DON'T SAVE: add test stanza to CI · Apr 29, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • bruno@coverage
    cc861008 · Albert/Examples: add SELF · Apr 30, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@preprocessor
    973d63d7 · [compiler] using __LOC__ in the compiler · Apr 30, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@counter-examples
    a09deded · [build|test] adding counter-examples and their related error logs · May 03, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@dunify
    18b42a26 · [Build] WIP: project dunification · May 26, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@proto-ops
    6fb24ca1 · WIP! [OTT|Semantics] Adding protocol dependent operations · Jun 10, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    3e1aa157 · Fix the ott version to be at most 0.30 · Jul 02, 2020
    Download source code
    zip tar.gz tar.bz2 tar
  • arvid@increase_coverage-fix-coverage
    652ea2d7 · [test] clean tests before making coverage report · Jul 02, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • julien@fix_mutez_litteral_parsing
    4e0a616c · [ott|parser] fix mutez litteral parsing · Jul 02, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • dev
    3b48668b · Fixes required for Mi-Cho-Coq dev branch and its certified optimizer · Jul 09, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • raphael@optimizer-dev
    3b48668b · Fixes required for Mi-Cho-Coq dev branch and its certified optimizer · Jul 09, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Next

Delete protected branch '[branch name]'?

You’re about to permanently delete the protected branch [branch name].

This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.

Once you confirm and press Delete protected branch , it cannot be undone or recovered.

To confirm, type [branch name] :

Delete protected branch