Changes between Version 109 and Version 110 of WikiStart

Timestamp:

08/31/18 16:11:37 (8 years ago)

Author:

wuwenhao

Comment:

--

WikiStart

@@ -1 +1 @@
 = CIVL: The Concurrency Intermediate Verification Language =
-{{{
-#!comment
-[[Image(wiki:WikiStart:logo.png)]]
-}}}
 
 == About ==
@@ -14 +10 @@
 == Downloads ==
 
-* Latest stable release: [http://vsl.cis.udel.edu/lib/sw/civl/current/latest/]
-* Latest unstable release: [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/]
-* Older releases: [http://vsl.cis.udel.edu/lib/sw/civl/]
-* Online application: [http://civl.cis.udel.edu/app/]
+* [http://vsl.cis.udel.edu/lib/sw/civl/current/latest/ Latest stable release]
+* [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/ Latest unstable release]
+* [http://vsl.cis.udel.edu/lib/sw/civl/ Older releases]
+* [http://civl.cis.udel.edu/app/ Online application]
 
 == Examples & Case Studies ==
@@ -23 +19 @@
 * [wiki:Tour A Brief Tour of CIVL with Examples]
 * [https://dl.acm.org/citation.cfm?id=3090070 CIVL Solutions to VerifyThis 2016 Challenges]
-{{{
-#!comment
-* [https://vsl.cis.udel.edu/lib/downloads/civl_verifythis_2016.pdf CIVL Solutions to VerifyThis 2016 Challenges]
-}}}
 * [https://dl.acm.org/citation.cfm?id=3145488 Towards Self-Verification in Finite Difference Code Generation]
 * [https://link.springer.com/chapter/10.1007/978-3-319-99725-4_14 Verifying Properties of Differentiable Programs] 
+
 == Documents & Publications ==
 
-* [http://vsl.cis.udel.edu/lib/sw/civl/1.16/r4871/release/civl-manual-1.16_4871.pdf  Manual for CIVL v1.16]
+* [https://vsl.cis.udel.edu/lib/sw/civl/1.17.1/r4987/release/civl-manual-1.17.1_4987.pdf  Manual for CIVL v1.17.1]
+* [https://vsl.cis.udel.edu/pubs/civl_sc_2015.html CIVL: The Concurrency Intermediate Verification Language]
+* [https://vsl.cis.udel.edu/lib/downloads/ltspor_2018.pdf Technical Report: Ample Set Partial Order Reduction for Actions ]
+* [https://vsl.cis.udel.edu/pubs/civl_eurompi_2017.html  Verification of MPI programs using CIVL]
+* [https://science.energy.gov/~/media/ascr/pdf/programdocuments/docs/2017/HPC_Correctness_Report.pdf DOE Report of the HPC Correctness Summit]
 * [https://vsl.cis.udel.edu/pubs/civl_verifythis_2016.html CIVL Solutions to VerifyThis 2016 Challenges]
-* [https://vsl.cis.udel.edu/pubs/civl_eurompi_2017.html  Verification of MPI programs using CIVL]
+* [https://vsl.cis.udel.edu/pubs/civl_svcomp_2016.html CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs Competition Contribution]
+* [https://vsl.cis.udel.edu/pubs/civl_ase_2015.html CIVL: Formal Verification of Parallel Programs]
+* [https://vsl.cis.udel.edu/pubs/accuracy_tr_2014.html Using Symbolic Execution to Verify the Order of Accuracy of Numerical Approximations]
+* [https://vsl.cis.udel.edu/pubs/civl_tr_2014.html Tech Report: CIVL: The Concurrency Intermediate Verification Language]
 
 == How to Cite CIVL ==
@@ -54 +54 @@
 
 == Bug Report ==
-If you have any problem when using CIVL, you can report it by creating a new ticket: [https://vsl.cis.udel.edu/trac/civl/newticket].[[br]]
-It would be helpful for us to trace the bug if you also submit your source programs as attachments of the ticket.
+If you have any problem when using CIVL, you can report it by sending email to [civl-dev@googlegroups.com].[[br]]
+It would be helpful for us to trace the bug if you also submit your source programs as attachments.
 
-When reporting a bug, you are greatly recommended to provide specific information as much as possible, such as the civl command, the source files, the civl version, the error message or exception, etc. The minimum is to provide sufficient information for others to reproduce the problem.
+When reporting a bug, you are greatly recommended to provide specific information as much as possible, 
+such as the civl command, the source files, the civl version, the error message or exception, etc. 
+The minimum is to provide sufficient information for others to reproduce the problem.
 
 == Developer Link ==