Commits · 9a09249de3b64765e9b9128cd4fe27b483afe0ff · Software / Formal Languages in Coq · GitLab

Snippets Groups Projects

Apr 11, 2024
- Merge tag 'comoproj-v2.7.0' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 9a09249d
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1
  
  9a09249d
- Merge branch 'include-coqdocjs' into 'main' · da69a0fc
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.7.0 comoproj-v2.7.0
  
  da69a0fc
Apr 10, 2024
- Included coqdocjs · c4b02fe4
  Max Ole Elliger authored 1 year ago
  c4b02fe4
Mar 16, 2024
- Merge tag 'comoproj-v2.6.2' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 7b8f4361
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1
  
  7b8f4361
- Merge branch 'explicit-licensing' into 'main' · 7ab703cb
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.2 comoproj-v2.6.2
  
  7ab703cb
- Added licensing-information in every file · ef8098f1
  Max Ole Elliger authored 1 year ago
  
  ef8098f1
Mar 15, 2024
- Created .mailmap · 80152cef
  Max Ole Elliger authored 1 year ago
  
  80152cef
Feb 09, 2024
- Merge tag 'comoproj-v2.6.1' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 · 02377526
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1 comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1
  
  02377526
Jan 29, 2024
- added explicit latest tag to docker image · 53c9a165
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v2.6.1 comoproj-v2.6.1
  
  53c9a165
- Merge branch 'main-patch' into 'main' · f4ce9612
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.6.0 comoproj-v2.6.0
  
  f4ce9612
Jan 28, 2024
- Update LICENSE · 8491b8f7
  Max Ole Elliger authored 1 year ago
  
  8491b8f7
Jan 25, 2024
- Merge branch 'include/coq-equations' into 'main' · 023f2101
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.5.0 comoproj-v2.5.0
  
  023f2101
- added coq-equations to gitlab-ci · 8ad61ab6
  Max Ole Elliger authored 1 year ago
  8ad61ab6
Jan 03, 2024
- Merge branch 'ci/artifacts-update' into 'main' · 6fb69ff5
  Max Ole Elliger authored 1 year ago
  View commits for tag comoproj-v2.4.1 comoproj-v2.4.1
  
  6fb69ff5
Dec 30, 2023
- .gitlab-ci.yml: artifacts-path is now html/* · 9cef2f61
  Max Ole Elliger authored 1 year ago
  9cef2f61
Dec 27, 2023
- updated README · 501d1c0d
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v2.4.0 comoproj-v2.4.0
  
  501d1c0d
- Merge branch 'include/readmo/v1.0.0' into 'main' · 9b2b800d
  Max Ole Elliger authored 1 year ago
  9b2b800d
- Have _CoqProject depend on all directories in COMPONENTS · 619dbd15
  Philip Kaludercic authored 1 year ago and Max Ole Elliger committed 1 year ago
  619dbd15
- Inject list of all files into _CoqProject · c7ada278
  Philip Kaludercic authored 1 year ago and Max Ole Elliger committed 1 year ago
  c7ada278
- Sort entries in the TOC by dependencies · 2cb24604
  Philip Kaludercic authored 1 year ago and Max Ole Elliger committed 1 year ago
  2cb24604
- Sorting in html-output enabled · 8570b625
  Max Ole Elliger authored 1 year ago
  8570b625
- PROJNAME included · a47a450b
  Max Ole Elliger authored 1 year ago
  
  a47a450b
- created src for ci-cd · 3fe098a4
  Max Ole Elliger authored 1 year ago
  
  3fe098a4
- new Makefile structure to use to generated Makefile for more jobs · e57a1c5b
  Max Ole Elliger authored 1 year ago
  
  e57a1c5b
- only latest coq version on main · 7aa0463c
  Max Ole Elliger authored 1 year ago
  
  7aa0463c
- cleanup Makefile · 0b58c41c
  Max Ole Elliger authored 1 year ago
  
  0b58c41c
- Fixed clean, sorted toc.html alphatically · bfd3dc6b
  Max Ole Elliger authored 1 year ago
  bfd3dc6b
- correction · 59e2dbbe
  Max Ole Elliger authored 1 year ago
  
  59e2dbbe
- awp problem fix try · b9371617
  Max Ole Elliger authored 1 year ago
  
  b9371617
- clean-improve-test · 14c00629
  Max Ole Elliger authored 1 year ago
  
  14c00629
- index.html -> toc.html · 076100e8
  Max Ole Elliger authored 1 year ago
  
  076100e8
- Creation of HTMLDIR must be ensured · b470816e
  Max Ole Elliger authored 1 year ago
  
  b470816e
- Improved Makefile structure · bde2c1b8
  Max Ole Elliger authored 1 year ago
  bde2c1b8
- updated .gitlab-ci.yml · 829b9265
  Max Ole Elliger authored 1 year ago
  
  829b9265
- todo-description, how to edit .gitlab-ci.yml · c302ab05
  Max Ole Elliger authored 1 year ago
  
  c302ab05
- Revert "Update Makefile: CoMoProj -> CoMoTemplate" · d8ae19a7
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  d8ae19a7
- Update Makefile: CoMoProj -> CoMoTemplate · d535566f
  Max Ole Elliger authored 1 year ago
  
  d535566f
- Update .gitlab-ci.yml file · ab3fc260
  Max Ole Elliger authored 1 year ago
  ab3fc260
- updated .gitingore · 3d19e57a
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  
  3d19e57a
- reordering · 6d4fd69d
  Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago
  
  6d4fd69d