Hi all,
On behalf of the cabal maintainers and contributors I'm proud to
announce the Cabal (and cabal-install) 1.18.0 release. To install run
cabal update && cabal install Cabal-1.18.0 cabal-install-1.18.0
With 854 commits since the last release there are two many
improvements and bug fixes to list them here, but two highlights are:
* Hermetic builds using sandboxes. This should reduce the number of
"dependency hell" and broken package DB problems.
* GHCi support. It's now much easier to use ghci when developing your
packages, especially if those packages require preprocessors (e.g.
hsc2hs).
Here's how working on a package might look like using the new features:
# Only once:
cabal sandbox init
cabal install --only-dependencies --enable-tests
# Configure, build, and run tests:
cabal test # now implies configure and build
# Play around with the code in GHCi:
cabal repl
Mikhail wrote a bit more about the user visible changes on his blog:
http://coldwa.st/e/blog/2013-08-21-Cabal-1-18.html
For a complete list of changes run
git log cabal-install-v1.16.0.2..cabal-install-v1.18.0
in the cabal repo or look at the GitHub compare page:
https://github.com/haskell/cabal/compare/cabal-install-v1.16.0.2...cabal-in…
(only shows the last 250 commits).
57 people contributed to this release!
503 Mikhail Glushenkov
99 Johan Tibell
41 Duncan Coutts
39 Ian Lynagh
19 Brent Yorgey
19 Thomas Tuegel
18 Ben Millwood
16 Eyal Lotem
10 Thomas Dziedzic
7 Andres Loeh
6 John Wiegley
6 Benno Fünfstück
5 Gregory Collins
4 Herbert Valerio Riedel
4 Simon Hengel
3 Joachim Breitner
3 Luke Iannini
3 Bryan Richter
3 Richard Eisenberg
3 Tuncer Ayaz
3 Jens Petersen
2 Arun Tejasvi Chaganty
2 Bryan O'Sullivan
2 Eric Kow
2 Jookia
2 Paolo G. Giarrusso
2 Paolo Capriotti
1 Sönke Hahn
1 Yitzchak Gale
1 Albert Krewinkel
1 stepcut
1 Alexander Kjeldaas
1 Austin Seipp
1 Bardur Arantsson
1 Ben Doyle
1 Ben Gamari
1 Bram
1 Carter Tazio Schonwald
1 Clint Adams
1 Daniel Wagner
1 David Lazar
1 Erik Hesselink
1 Eugene Sukhodolin
1 Gabor Greif
1 Jack Henahan
1 Jason Dagit
1 Ken Bateman
1 Mark Lentczner
1 Masahiro Yamauchi
1 Merijn Verstraaten
1 Michael Thompson
1 Niklas Hambüchen
1 Oleksandr Manzyuk
1 Patrick Premont
1 Roman Cheplyaka
1 Sergei Trofimovich
1 Stephen Blackheath
-- Johan, on behalf of the cabal maintainers and contributors.
I have prepared the package set-cover for solving exact set cover
problems. It includes example programs for solving Sudoku, 8 Queens, Soma
Cube, Tetris Cube, Cube of L's, and Logika's Baumeister puzzle. Please
refer to these examples for learning how the library works.
The solver is generic with respect to the representation of sets. You may
either use the high-level Set type from containers package or low-level
bit vectors.
http://hackage.haskell.org/package/set-cover
The package is simple Haskell 2010.
--------------------------------------------------------------------------------------
AVICPS 2013
The 4th Analytic Virtual
Integration of Cyber-Physical Systems Workshop
http://www.analyticintegration.org/
Vancouver, Canada, December 3, 2013.
(Co-located with RTSS 2013)
*** Paper Submission: September 23, 2013 ***
CALL FOR PAPERS
The Analytic Virtual Integration Cyber-Physical Systems (AVICPS)
workshop focuses on analytic techniques that enable the early
discovery of faults in CPS before the system is integrated or its
parts are built. Such an approach is known as analytic virtual
integration. The objective is to discover and resolve problems early
during the design and implementation phases where cost impact is low.
Topics of interest include, but are not limited to:
* A quantitative and early analysis of end-to-end system
architecture performance that incorporates realistic hardware
details (e.g. multi-core, memory architectures, I/O,
network-on-chip, etc.) and workloads (e.g. video streams,
weather data, GPS, critical messages, etc.)
* Fault tolerance technologies for handling the combination
of faults in computing and communication hardware and software
and physical system disturbances.
* Safety analysis such as model checking for mixed criticality
CPS applications (e.g., flight management systems and safe
interoperability of medical devices).
* System level optimization technologies that support the
combinatorial optimization of task scheduling and allocation,
I/O, and network traffic routing.
* Security protocol development and verification techniques for
CPS applications.
* Modeling, simulation, and verification techniques for virtual
integration.
* Models for describing or quantifying the environment that
systems must operate in.
* Quantitative measurements of the advantages of virtual
integration.
* Formal methods for defining and reasoning about internal and
external interfaces of the system and its parts.
* Cross-domain compositional theories and technologies for CPS.
SUBMISSION
The AVICPS workshop welcomes original contributions on
theoretical foundation, tools, and evaluations. Of particular
interest are case studies on challenges of expressing properties
of systems in terms of their components and the architecture
that governs their interactions. Both solutions and open problems
are welcome.
Researchers and practitioners are encouraged to submit two types
of papers:
* Research papers that present novel ideas, mature tools,
results, and advancement of the state-of-the-art.
* Position papers that describe ongoing work, less
mature work, or new research directions.
Submissions should be no more than 8 pages (for research
papers) and 4 pages (for position papers) in two-column format.
Templates and author guidelines are available for LaTeX and
Microsoft Word. All figures and references must fit within the
specified page limits.
PUBLICATION
Authors of accepted papers may choose one of the following
alternatives.
* To include their paper in formal electronic proceedings
published by LiU Electronic Press. The proceedings are
given both ISBN and ISSN numbers. Authors retain the
copyright of their work.
* To not include it in the proceedings, thus make it possible
to refine and submit the work elsewhere. Only a title and a
short abstract of the paper will be available in the
proceedings. An informal copy of the accepted paper will
be available on the AVICPS website.
Regardless of the author's choice of dissemination, the reviewing
process and the presentation time at the workshop will be the same.
For all accepted papers, at least one of the authors must register
and present the paper at the workshop.
IMPORTANT DATES
Paper Submission: Sep. 23, 2013
Author Notification: Oct. 28, 2013
Camera Ready: Nov. 10, 2013
AVICPS Workshop: Dec. 3, 2013
WORKSHOP ORGANIZATION
Program Co-Chairs
* David Broman. UC Berkeley, USA, and Linkoping University, Sweden
* Gabor Karsai. Vanderbilt University, USA
Program Committee
Manfred Broy, Technical University Munich, Germany
Eric Feron, Georgia Institute of Technology, USA
Peter Fritzson, Linkoping University, Sweden
Jerome Hugues, ISAE, France
Mirko Jakovljevic, TTTech, Austria
Russell Kegley, Lockheed Martin, USA
Doo-Hyun Kim, Konkuk University, South Korea
Henrik Nilsson, University of Nottingham, UK
Roman Obermaisser, University of Siegen, Germany
Jim Paunicka, Boeing, USA
Andre Platzer, Carnegie Mellon, USA
Linh Thi Xuan Phan, University of Pennsylvania, USA
Franz Rammig, Univerity of Paderborn, Germany
Walid Taha, Halmstad University, Sweden
Stavros Tripakis, University of California, Berkeley, USA
Shige Wang, GM Research, USA
Michael Whalen, University of Minnesota, USA
Dirk Zimmer, DLR Oberpfaffenhofen, Germany
For further information, including submission guidelines, see the
AVICPS Workshop website: http://www.analyticintegration.org/
