kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

vstte paper

Open rahulku opened this issue 1 year ago • 3 comments

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

rahulku avatar Aug 30 '24 16:08 rahulku

@rahulku This isn't going to merge automatically because it fails our required copyright status check. I believe we'll have to temporarily disable this check (or at least make it optional) so that this can merge.

carolynzech avatar Aug 30 '24 16:08 carolynzech

@rahulku This isn't going to merge automatically because it fails our required copyright status check. I believe we'll have to temporarily disable this check (or at least make it optional) so that this can merge.

Perhaps we should just include adequate copyright information in each of the files?

tautschnig avatar Aug 30 '24 16:08 tautschnig

I suggest we have a Makefile or shell script that downloads the LNCS template files from Springer's website and extracts the necessary files.

The following should do the trick:

#!/bin/sh
curl https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238648/data/v8 -o llncs.zip
unzip llncs.zip llncs.cls splncs04.bst
rm llncs.zip

tautschnig avatar Aug 30 '24 17:08 tautschnig

removed LLNCS specific files, added README.

rahulku avatar Sep 03 '24 23:09 rahulku