Commits · e36797829ffe13ae1af6b3d9fa2049fd98d6a4e5 · Max Ole Elliger / Template Coq-Project · GitLab

Snippets Groups Projects

Nov 03, 2023

Improved Makefile structure · e3679782

Max Ole Elliger authored 1 year ago


Now there can be more than one folder, mapped to a Libname.

Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>

e3679782

Sep 13, 2023
- updated .gitlab-ci.yml · 4fe47f9f
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v1.2.0 comoproj-v1.2.0
  
  4fe47f9f
- todo-description, how to edit .gitlab-ci.yml · a8f0bc12
  Max Ole Elliger authored 1 year ago
  
  a8f0bc12
Jul 17, 2023
- added LICENSE · 40fa2647
  Max Ole Elliger authored 1 year ago
  
  View commits for tag comoproj-v1.1.0 comoproj-v1.1.0
  
  40fa2647
Jul 13, 2023
- Revert "Update Makefile: CoMoProj -> CoMoTemplate" · ca48cc45
  Max Ole Elliger authored 1 year ago
  
  This reverts commit 9b2fa95a.
  View commits for tag comoproj-v1.0.1 comoproj-v1.0.1
  
  ca48cc45
- Update Makefile: CoMoProj -> CoMoTemplate · 9b2fa95a
  Max Ole Elliger authored 1 year ago
  
  9b2fa95a
- Update .gitlab-ci.yml file · 55d9fe1b
  Max Ole Elliger authored 1 year ago
  
  Set 8.16.1 as coq-version
  55d9fe1b
Jul 09, 2023
- updated .gitingore · 92a7bba0
  Max Ole Elliger authored 1 year ago
  
  92a7bba0
- reordering · 463bb62d
  Max Ole Elliger authored 1 year ago
  
  463bb62d
- Now, the Makefile deals with a missing src-folder · bb0bf358
  Max Ole Elliger authored 1 year ago
  
  bb0bf358
- init commit + push · 8b48ef11
  Max Ole Elliger authored 1 year ago
  
  8b48ef11