View Git repositories
branches with status:
Name Status Last Modified Last Commit
lp:~vcs-imports/llvm/llvm-trunk Development 2018-01-11 22:53:30 UTC 33 minutes ago
159063. [hwasan] Stack instrumentation. Summ...

Author: eugenis
Revision Date: 2018-01-11 22:53:30 UTC

[hwasan] Stack instrumentation.

Summary:
Very basic stack instrumentation using tagged pointers.
Tag for N'th alloca in a function is built as XOR of:
 * base tag for the function, which is just some bits of SP (poor
   man's random)
 * small constant which is a function of N.

Allocas are aligned to 16 bytes. On every ReturnInst allocas are
re-tagged to catch use-after-return.

This implementation has a bunch of issues that will be taken care of
later:
1. lifetime intrinsics referring to tagged pointers are not
   recognized in SDAG. This effectively disables stack coloring.
2. Generated code is quite inefficient. There is one extra
   instruction at each memory access that adds the base tag to the
   untagged alloca address. It would be better to keep tagged SP in a
   callee-saved register and address allocas as an offset of that XOR
   retag, but that needs better coordination between hwasan
   instrumentation pass and prologue/epilogue insertion.
3. Lifetime instrinsics are ignored and use-after-scope is not
   implemented. This would be harder to do than in ASan, because we
   need to use a differently tagged pointer depending on which
   lifetime.start / lifetime.end the current instruction is dominated
   / post-dominated.

Reviewers: kcc, alekseyshl

Subscribers: srhines, kubamracek, javed.absar, hiraditya, llvm-commits

Differential Revision: https://reviews.llvm.org/D41602

lp:~vcs-imports/llvm/clang-trunk Development 2018-01-11 22:33:50 UTC 53 minutes ago
71895. [WebAssembly] Remove `-allow-undefine...

Author: sbc
Revision Date: 2018-01-11 22:33:50 UTC

[WebAssembly] Remove `-allow-undefined-file wasm.syms` from linker args

See: https://github.com/WebAssembly/tool-conventions/issues/35

Differential Revision: https://reviews.llvm.org/D41923

lp:~vcs-imports/mesa/trunk Development 2018-01-11 22:29:18 UTC 57 minutes ago
74747. ac/nir: fix translation of nir_op_fsi...

Author: Timothy Arceri
Revision Date: 2018-01-11 22:29:18 UTC

ac/nir: fix translation of nir_op_fsign for doubles

Without this we end up with the llvm error message:

"Both operands to a binary operator are not of the same type!"

Reviewed-by: Samuel Pitoiset <samuel.pitoiset@gmail.com>

lp:gnome-commander Development 2018-01-11 21:32:25 UTC 1 hour ago
4354. spec-file: Removed build and runtime ...

Author: Uwe Scholz
Revision Date: 2018-01-11 21:32:25 UTC

spec-file: Removed build and runtime deps for python and gnome-python2-gnomevfs

lp:~vcs-imports/freebsd/head Development 2018-01-11 20:26:17 UTC 3 hours ago
218908. Ensure that the vnet is set when call...

Author: tuexen
Revision Date: 2018-01-11 20:26:17 UTC

Ensure that the vnet is set when calling pru_sockaddr() and
pru_peeraddr().

This is already true when called via kern_getsockname() and
kern_getpeername(). This patch sets it also, when they arecalled
via soo_fill_kinfo(). This is necessary, since the corresponding
functions for SCTP require the vnet to be set. Without this,
if a process having an wildcard bound SCTP socket is
terminated and a core is written, the kernel panics.

Reviewed by: bz
Differential Revision: https://reviews.freebsd.org/D13652

lp:gawk Development 2018-01-11 20:01:35 UTC 3 hours ago
984. Merge branch 'gawk-4.2-stable'

Author: Arnold Robbins
Revision Date: 2018-01-11 20:01:35 UTC

Merge branch 'gawk-4.2-stable'

lp:ruby Development 2018-01-11 19:41:49 UTC 3 hours ago
49365. fix for IPv6 env

Author: naruse
Revision Date: 2018-01-11 19:41:49 UTC

fix for IPv6 env

lp:ardour Development 2018-01-11 19:18:00 UTC 4 hours ago
21631. Fix AU i/o busses accounting. This f...

Author: Robin Gareus
Revision Date: 2018-01-11 19:18:00 UTC

Fix AU i/o busses accounting.

This fixes issues for synths with zero audio input, explicit default
stereo config and optional busses.

lp:balsa Development 2018-01-11 18:37:55 UTC 4 hours ago
8154. mailbox-pop3: Fix progress dialogue o...

Author: Albrecht Dreß
Revision Date: 2018-01-11 18:37:55 UTC

mailbox-pop3: Fix progress dialogue on error

Signed-off-by: Peter Bloomfield <PeterBloomfield@bellsouth.net>

lp:postgresql Development 2018-01-11 18:35:38 UTC 4 hours ago
44105. Refactor subscription tests to use Po...

Author: Peter Eisentraut
Revision Date: 2018-01-11 18:35:38 UTC

Refactor subscription tests to use PostgresNode's wait_for_catchup

This was nearly the same code. Extend wait_for_catchup to allow waiting
for pg_current_wal_lsn() and use that in the subscription tests. Also
change one use in the pg_rewind tests to use this.

Also remove some broken code in wait_for_catchup and
wait_for_slot_catchup. The error message in case the waiting failed
wanted to show the current LSN, but the way it was written never
worked. So since nobody ever cared, just remove it.

Reviewed-by: Michael Paquier <michael.paquier@gmail.com>

lp:~vcs-imports/gnome-panel/master Development 2018-01-11 18:04:20 UTC 5 hours ago
12211. clock: update clock location for API ...

Author: Alberts Muktupāvels
Revision Date: 2018-01-11 18:04:20 UTC

clock: update clock location for API change

The deprecated argument to gweather_info_new() got dropped.

lp:~vcs-imports/amanda/trunk Development 2018-01-11 17:57:22 UTC 5 hours ago
5081. * man/xml-source/amanda.conf.5.xml: A...

Author: martinea
Revision Date: 2018-01-11 17:57:22 UTC

* man/xml-source/amanda.conf.5.xml: Add rest-api-port

lp:gcc Development 2018-01-11 17:47:20 UTC 5 hours ago
158993. PR middle-end/83189 * gimple-ssa-is...

Author: hubicka
Revision Date: 2018-01-11 17:47:20 UTC

 PR middle-end/83189
 * gimple-ssa-isolate-paths.c (isolate_path): Fix profile update.

lp:scilab Development 2018-01-11 17:29:37 UTC 5 hours ago
31907. Coverity Fix-CID:1378269 Explicit nul...

Author: Saksham Gupta
Revision Date: 2018-01-11 17:29:37 UTC

Coverity Fix-CID:1378269
Explicit null dereferenced

Change-Id: I4167765804d7a0ab40a46e56293511681241872c

lp:busybox Development 2018-01-11 17:05:05 UTC 6 hours ago
15148. hush: implement "command" builtin (no...

Author: Vda-linux
Revision Date: 2018-01-11 17:05:05 UTC

hush: implement "command" builtin (no options are supported yet)

function old new delta
pseudo_exec_argv 194 231 +37

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>

lp:wireshark Development 2018-01-11 16:32:10 UTC 6 hours ago
69855. Test: Fix the plugin check. Change-I...

Author: Gerald Combs
Revision Date: 2018-01-11 16:32:10 UTC

Test: Fix the plugin check.

Change-Id: I9724fa36070635bfd1392167eb362cf8631611fa
Reviewed-on: https://code.wireshark.org/review/25267
Reviewed-by: Gerald Combs <gerald@wireshark.org>

lp:strace Development 2018-01-11 15:54:33 UTC 7 hours ago
6184. Issue a warning when strace lacks tra...

Author: Eugene Syromyatnikov
Revision Date: 2018-01-11 15:54:33 UTC

Issue a warning when strace lacks tracee personality support

* defs.h (HAVE_PERSONALITY_1_MPERS, HAVE_PERSONALITY_2_MPERS): New
macros.
* syscall.c (update_personality): Add need_mpers_warning array
initialized with mpers support data. Use it for printing the mpers
unavailability warning once per personality.

Co-authored-by: Dmitry V. Levin <ldv@altlinux.org>

lp:screen Development 2018-01-11 15:41:39 UTC 7 hours ago
1083. update copyright for 2018

Author: Alexander Naumov
Revision Date: 2018-01-11 15:41:39 UTC

update copyright for 2018

lp:gdal Development 2018-01-11 15:34:21 UTC 7 hours ago
23211. Clean georss driver. - integer boole...

Author: goatbar
Revision Date: 2018-01-11 15:34:21 UTC

Clean georss driver.

- integer boolean -> bool
- Fix formatting
- Fit to 80 cols
- C casts -> C++ casts
- CPL_UNUSED -> comment out arg name when possible
- Localize vars
- Remove extra parens
- Add const
- Initialize vars
- Add/remove braces to balance if else

lp:mesa Development 2018-01-11 15:06:38 UTC 8 hours ago
74737. svga: simplify failure code in emit_r...

Author: Brian Paul
Revision Date: 2018-01-11 15:06:38 UTC

svga: simplify failure code in emit_rss_vgpu9()

No need for a goto.

Reviewed-by: Neha Bhende <bhenden@vmware.com>
Reviewed-by: Charmaine Lee <charmainel@vmware.com>

lp:wordpress Development 2018-01-11 14:32:52 UTC 8 hours ago
37831. Docs: Improve JS Docs for `controller...

Author: atimmer
Revision Date: 2018-01-11 14:32:52 UTC

Docs: Improve JS Docs for `controllers/customize-image-cropper.js`.

Props manuelaugustin, bramheijmink, andizer, ireneyoast.
Fixes #43020.

Built from https://develop.svn.wordpress.org/trunk@42435

lp:gnumeric Development 2018-01-11 14:30:08 UTC 8 hours ago
23272. GUI: Improve workaround for scrollbar...

Author: Morten Welinder
Revision Date: 2018-01-11 14:30:08 UTC

GUI: Improve workaround for scrollbar bug.

This prevents an update storm.

lp:tomcat6 Development 2018-01-11 13:19:27 UTC 10 hours ago
18123. SpotBugs Reduce visibility

Author: markt
Revision Date: 2018-01-11 13:19:27 UTC

SpotBugs
Reduce visibility

lp:reviewboard Development 2018-01-11 12:13:56 UTC 11 hours ago
4682. Merge branch 'release-4.0.x'

Author: Christian Hammond
Revision Date: 2018-01-11 12:13:56 UTC

Merge branch 'release-4.0.x'

lp:nano Development 2018-01-11 12:02:55 UTC 11 hours ago
6929. tweaks: reshuffle two condition serie...

Author: Benno Schulenberg
Revision Date: 2018-01-11 12:02:55 UTC

tweaks: reshuffle two condition series, to look better

lp:wxmaxima Development 2018-01-11 11:22:13 UTC 12 hours ago
4839. Printing scale: If I got the fractio...

Author: PeterPall
Revision Date: 2018-01-11 11:22:13 UTC

Printing scale: If I got the fraction wrong?

lp:valadoc Development 2018-01-11 10:30:01 UTC 12 hours ago
644. libvaladoc: Add support for single li...

Author: Michael Gratton
Revision Date: 2018-01-11 10:30:01 UTC

libvaladoc: Add support for single line documentation comments

This is useful for example in annotating properties:

   /** Returns the current state of the frobnocator. */
   public State frob { get; set; };

* libvaladoc/documentation/documentationparser.vala
  (DocumentationParser.init_valadoc_rules): Split Comment rule up into
  single and multi-line versions. Duplication Paragraph creation and
  cleanup for single-line comments.

https://bugzilla.gnome.org/show_bug.cgi?id=736483

lp:jenkins-bazaar Development 2018-01-11 09:14:33 UTC 14 hours ago
149. Merge pull request #14 from apachelog...

Author: Stewart Smith
Revision Date: 2018-01-11 09:14:33 UTC

Merge pull request #14 from apachelogger/treerevinfo

fix lightweight checkout revision detection

lp:spamassassin bug Development 2018-01-11 08:30:29 UTC 14 hours ago
21131. promotions validated

Author: spamassassin_role
Revision Date: 2018-01-11 08:30:29 UTC

promotions validated

lp:xserver-xorg-video-intel Development 2018-01-11 07:52:21 UTC 15 hours ago
8493. Add Coffeelake PCI IDs for S Skus Ad...

Author: Liwei Song
Revision Date: 2018-01-11 07:52:21 UTC

Add Coffeelake PCI IDs for S Skus

Add the Coffeelake PCI IDs based on the following kernel patches:

commit b056f8f3d6b900e8afd19f312719160346d263b4
Author: Anusha Srivatsa <anusha.srivatsa@intel.com>
Date: Thu Jun 8 16:41:05 2017 -0700

    drm/i915/cfl: Add Coffee Lake PCI IDs for S Skus.

Signed-off-by: Liwei Song <liwei.song@windriver.com>
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>

lp:xfce4-terminal Development 2018-01-11 05:31:37 UTC 17 hours ago
2936. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2018-01-11 05:31:37 UTC

I18n: Update translation da (100%).

378 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:poppler Development 2018-01-10 23:27:50 UTC 23 hours ago
4442. GfxGouraudTriangleShading::parse: Don...

Author: Albert Astals Cid
Revision Date: 2018-01-10 23:27:50 UTC

GfxGouraudTriangleShading::parse: Don't abort on malformed documents

Bug #104567

lp:config Development 2018-01-10 23:00:52 UTC 2018-01-10
979. * config.guess (NSV-*:NONSTOP_KERNEL...

Author: Randall S. Becker
Revision Date: 2018-01-10 23:00:52 UTC

 * config.guess (NSV-*:NONSTOP_KERNEL:*:*): New.
 * config.sub (nsv-tandem): New.
 * testsuite/config-guess.data: Add a test case.
 * testsuite/config-sub.data: Likewise.

Signed-off-by: Ben Elliston <bje@gnu.org>

lp:wine Development 2018-01-10 22:59:44 UTC 2018-01-10
121925. mshtml/tests: Skip test_listener_orde...

Author: Jacek Caban
Revision Date: 2018-01-10 22:59:44 UTC

mshtml/tests: Skip test_listener_order tests on IE7.

Signed-off-by: Jacek Caban <jacek@codeweavers.com>
Signed-off-by: Alexandre Julliard <julliard@winehq.org>

lp:zsh Development 2018-01-10 22:39:58 UTC 2018-01-10
10244. 42242: add [DFNO]BSD to the mix in ld...

Author: Matthew Martin
Revision Date: 2018-01-10 22:39:58 UTC

42242: add [DFNO]BSD to the mix in ldconfig completion

lp:buddypress Development 2018-01-10 22:34:20 UTC 2018-01-10
8942. Tests: fix activity post type trackin...

Author: djpaul
Revision Date: 2018-01-10 22:34:20 UTC

Tests: fix activity post type tracking tests after r11793

lp:libssh Development 2018-01-10 21:31:02 UTC 2018-01-10
3537. torture_pki_ed25519: Add tests for pr...

Author: Andreas Schneider
Revision Date: 2018-01-10 21:31:02 UTC

torture_pki_ed25519: Add tests for private key with passphrase

Signed-off-by: Andreas Schneider <asn@cryptomilk.org>

lp:vala Development 2018-01-10 16:05:37 UTC 2018-01-10
7975. gtk+-4.0: Update to 3.93.0+60d3378d

Author: Rico Tzschichholz
Revision Date: 2018-01-10 16:05:37 UTC

gtk+-4.0: Update to 3.93.0+60d3378d

lp:virtualbox Development 2018-01-10 11:07:19 UTC 2018-01-10
70249. Export src-global and all files under...

Author: vboxsync
Revision Date: 2018-01-10 11:07:19 UTC

Export src-global and all files under it to OSE.
bugref:3300: VBoxSVC from terminal server session is not "visible" on console and vice versa on windows

lp:pango Development 2018-01-10 10:58:18 UTC 2018-01-10
3864. build: Only enable freetype if fontco...

Author: Philip Withnall
Revision Date: 2018-01-10 10:58:18 UTC

build: Only enable freetype if fontconfig is also available

This changes meson.build to match what configure.ac already does. The
code doesn’t have separate conditions for whether fontconfig and
freetype are available: if freetype compilation is enabled, it assumes
that fontconfig is also available.

Previously, systems with freetype available, but no fontconfig, would
fail to compile Pango due to trying to link against non-existent
fontconfig symbols.

Signed-off-by: Philip Withnall <withnall@endlessm.com>

https://bugzilla.gnome.org/show_bug.cgi?id=792363

lp:rsync Development 2018-01-10 01:51:30 UTC 2018-01-10
6413. Ignore --protect-args when already se...

Author: Jeriko One
Revision Date: 2018-01-10 01:51:30 UTC

Ignore --protect-args when already sent by client

In parse_arguments when --protect-args is encountered the function exits
early. The caller is expected to check protect_args, and recall
parse_arguments setting protect_args to 2. This patch prevents the
client from resetting protect_args during the second pass of
parse_arguments. This prevents parse_arguments returning early the
second time before it's able to sanitize the arguments it received.

lp:mplayer Development 2018-01-09 21:47:13 UTC 2018-01-09
37865. configure: Fix detection for inet_ato...

Author: al
Revision Date: 2018-01-09 21:47:13 UTC

configure: Fix detection for inet_aton function

Unbreak the build with internal FFmpeg. The misdetection leads to a
build failure with modern FFmpeg because in that case FFmpeg defines
a static function inet_aton itself.

The program source to test for inet_aton runs into a compile error
because the missing declaration of inet_aton that is treated as
an error by at least GCC with the given CFLAGS. Fix that by
defining _BSD_SOURCE before inclusion of inet/arpa.h .

The headers here indicate that _BSD_SOURCE is deprecated. So fixing
this in configure and/or at least in the MPlayer source files,
that actually use inet_aton, would be a good thing. Those would be:

  stream/librtsp/rtsp_rtp.c
  stream/tcp.c
  stream/udp.c
  udp_sync.c

Maybe like it was done in FFmpeg commit af1818276ef271af98 .

lp:xf86-input-wacom Mature 2018-01-09 18:42:59 UTC 2018-01-09
1633. wacom 0.35.99.1

Author: Jason Gerecke
Revision Date: 2018-01-09 18:42:59 UTC

wacom 0.35.99.1

lp:shared-mime-info Development 2018-01-09 16:14:45 UTC 2018-01-09
1512. Add mime-type for MJPEG raw streams ...

Author: Bastien Nocera
Revision Date: 2018-01-09 16:14:45 UTC

Add mime-type for MJPEG raw streams

They look like JPEG files, and will display as images if opened
in an image viewer, but they can also be opened by movie players for
moving pictures.

See https://bugzilla.gnome.org/show_bug.cgi?id=792325

lp:strongswan Development 2018-01-09 15:12:40 UTC 2018-01-09
12538. libtpmtss: Return after failure

Author: Andreas Steffen
Revision Date: 2018-01-09 15:12:40 UTC

libtpmtss: Return after failure

lp:libtasn1 Development 2018-01-09 15:05:36 UTC 2018-01-09
1363. Improved documentation on decoding fl...

Author: Nikos Mavrogiannopoulos
Revision Date: 2018-01-09 15:05:36 UTC

Improved documentation on decoding flags

Signed-off-by: Nikos Mavrogiannopoulos <nmav@redhat.com>

lp:dasher Development 2018-01-09 12:48:33 UTC 2018-01-09
3768. IDE Xcode 9.0, fix compiler errors/wa...

Author: Hossein Amin
Revision Date: 2018-01-09 12:48:33 UTC

IDE Xcode 9.0, fix compiler errors/warnings, update iphone code, fix few ios issues

lp:gedit-plugins Development 2018-01-09 11:02:14 UTC 2018-01-09
1464. Update Brazilian Portuguese translation

Author: Rafael Fontenelle
Revision Date: 2018-01-09 11:02:14 UTC

Update Brazilian Portuguese translation

lp:fontconfig bug Development 2018-01-09 10:03:31 UTC 2018-01-09
1637. Fix undefined-behavior signed shifts

Author: BehdadEsfahbod
Revision Date: 2018-01-09 10:03:31 UTC

Fix undefined-behavior signed shifts

lp:libpixman Development 2018-01-09 09:26:29 UTC 2018-01-09
2058. Promote unsigned short to unsigned in...

Author: BehdadEsfahbod
Revision Date: 2018-01-09 09:26:29 UTC

Promote unsigned short to unsigned int explicitly

...to avoid default promotion to signed int, which causes undefined
behaviour in the shift expression.

lp:axiom Development 2018-01-09 05:31:04 UTC 2018-01-09
2850. books/bookvolbib add references Goal...

Author: daly
Revision Date: 2018-01-09 05:31:04 UTC

books/bookvolbib add references

Goal: Proving Axiom Correct

\index{Scott, Dana}
\begin{chunk}{axiom.bib}
@article{Scot76,
  author = "Scott, Dana",
  title = {{Data Types as Lattices}},
  journal = "SIAM J. Comput.",
  volume = "5",
  year = "1976",
  pages = "522-587",
  abstract =
    "The meaning of many kinds of expressions in programming languages can
    be taken as elements of certain spaces of 'partial' objects. In this
    report these spaces are modeled in one univeral domain $P_\omega$, the
    set of all subsets of the integers. This domain renders the connection
    of this semantic theory with the ordinary theor of number theoretic
    (especailly general recursive) functions clear and straightforward.",
  paper = "Scot76.pdf"
}

\end{chunk}

\index{Bishop, Errett}
\begin{chunk}{axiom.bib}
@book{Bish12,
  author = "Bishop, Errett",
  title = {{Foundations of Constructive Analysis}},
  publisher = "ISHI Press",
  year = "2012",
  isbn = "978-4-87187-714-5"
}

\end{chunk}

\index{Asperti, Andrea}
\index{Ricciotti, Wilmer}
\index{Coer, Claudio Sacerdoti}
\index{Tassi, Enrico}
\begin{chunk}{axiom.bib}
@article{Aspe09,
  author = "Asperti, Andrea and Ricciotti, Wilmer and Coer, Claudio
            Sacerdoti and Tassi, Enrico",
  title = {{A Compact Kernel for the Calculus of Inductive Constructions}},
  journal = "Sadhana",
  volume = "34",
  number = "1",
  year = "2009",
  pages = "71-104",
  abstract =
    "The paper describes the new kernel for the Calculus of Inductive
    Constructions (CIC) implemented inside the Matita Interactive
    Theorem Prover. The design of the new kernel has been completely
    revisited since the first release, resulting in a remarkably compact
    implementation of about 2300 lines of OCaml code. The work is meant
    for people interested in implementation aspects of Interactive
    Provers, and is not self contained . In particular, it requires good
    acquaintance with Type Theory and functional programming
    languages.",
  paper = "Aspe09.pdf"
}

\end{chunk}

\index{Asperti, Andrea}
\index{Ricciotti, Wilmer}
\index{Coer, Claudio Sacerdoti}
\index{Tassi, Enrico}
\begin{chunk}{axiom.bib}
@inproceedings{Aspe11,
  author = "Asperti, Andrea and Ricciotti, Wilmer and Coer, Claudio
            Sacerdoti and Tassi, Enrico",
  title = {{The Matita Interactive Theorem Prover}},
  booktitle = "CADE-23 Automated Deduction",
  year = "2011",
  pages = "64-69",
  abstract =
    "Matita is an interactive theorem prover being developed by the Helm
    team at the University of Bologna. Its stable version 0.5.x may be
    downloaded at http://matita.cs.unibo.it . The tool originated in the
    European project MoWGLI as a set of XML-based tools aimed to provide a
    mathematician-friendly web-interface to repositories of formal
    mathematical knoweldge, supporting advanced content-based
    functionalities for querying, searching and browsing the library. It
    has since then evolved into a fully fledged ITP, specifically designed
    as a light-weight, but competitive system, particularly suited for the
    assessment of innovative ideas, both at foundational and logical
    level. In this paper, we give an account of the whole system, its
    peculiarities and its main applications.",
  paper = "Aspe11.pdf",
}

\end{chunk}

\index{Spitters, Bas}
\index{van der Weegen, Eelis}
\begin{chunk}{axiom.bib}
@article{Spit11,
  author = "Spitters, Bas and van der Weegen, Eelis",
  title = {{Type Classes for Mathematics in Type Theory}},
  journal = "Math. Struct. Comput. Sci.",
  volume = "21",
  number = "4",
  pages = "795-825",
  year = "2011",
  abstract =
    "The introduction of first-class type classes in the Coq system calls
    for re-examination of the basic interfaces used for mathematical
    formalization in type theory. We present a new set of type classes for
    mathematics and take full advantage of their unique features to make
    practical a particularly flexible approach formerly thought
    infeasible. Thus, we address both traditional proof engineering
    challenges as well as new ones resulting from our ambition to build
    upon this development a library of constructive analysis in which
    abstraction penalties inhibiting efficient computation are reduced to
    a minimum.

    The base of our development consists of type classes representing a
    standard algebraic hierarchy, as well as portions of category theory
    and universal algebra. On this foundation we build a set of
    mathematically sound abstract interfaces for different kinds of
    numbers, succinctly expressed using categorical language and universal
    algebra constructions. Strategic use of type classes lets us support
    these high-level theory-friendly definitions while still enabling
    efficient implementations unhindered by gratuitous indirection,
    conversion or projection.

    Algebra thrives on the interplay between syntax and semantics. The
    Prolog-like abilities of type class instance resolution allow us to
    conveniently define a quote function, thus facilitating the use of
    reflective techniques.",
  paper = "Spit11.pdf"
}

\end{chunk}

\index{Coen, Claudio Sacerdoti}
\begin{chunk}{axiom.bib}
@article{Coen10,
  author = "Coen, Claudio Sacerdoti",
  title = {{Declarative Representation of Proof Terms}},
  journal = "J. Automated Reasoning",
  volume = "44",
  number = "1-2",
  pages = "25-52",
  year = "2010",
  abstract =
    "We present a declarative language inspired by the pseudo-natural
    language previously used in Matita for the explanation of proof
    terms. We show how to compile the language to proof terms and how to
    automatically generate declarative scripts from proof terms. Then we
    investigate the relationship between the two translations, identifying
    the amount of proof structure preserved by compilation and
    re-generation of declarative scripts.",
  paper = "Coen10.pdf"
}

\end{chunk}

\index{Luo, Zhaohui}
\begin{chunk}{axiom.bib}
@inproceedings{Luox96,
  author = "Luo, Zhaohui",
  title = {{Coercive Subtyping in Type Theory}},
  booktitle = "CSL'96 Euro. Ass. for Comput. Sci. Logic",
  year = "1996",
  abstract =
    "We propose and study coercive subtyping, a formal extension with
    subtyping of dependent type theories such as Martin-Lof's type theory
    [NPS90] and the type theory UTT [Luo94]. In this approach, subtyping
    with specied implicit coercions is treated as a feature at the level
    of the logical framework; in particular, subsumption and coercion are
    combined in such a way that the meaning of an object being in a
    supertype is given by coercive definition rules for the definitional
    equality. It is shown that this provides a conceptually simple and
    uniform framework to understand subtyping and coercion relations in
    type theories with sophisticated type structures such as inductive
    types and universes. The use of coercive subtyping in formal
    development and in reasoning about subsets of objects is discussed in
    the context of computer-assisted formal reasoning.",
  paper = "Luox96.pdf"
}

\end{chunk}

\index{Luo, Zhaohui}
\begin{chunk}{axiom.bib}
@misc{Luox11,
  author = "Luo, Zhaohui",
  title = {{Type-Theoretical Semantics with Coercive Subtyping}},
  year = "2011",
  comment = "Lecture Notes 2011 ESSLLI Summer School, Ljubljana,
             Slovenia",
  paper = "Luox11.pdf"
}

\end{chunk}

\index{Bailey, Anthony}
\begin{chunk}{axiom.bib}
@phdthesis{Bail98,
  author = "Bailey, Anthony",
  title = {{The Machine-Checked Literate Formalisation of Algebra
             in Type Theory}},
  school = "University of Manchester",
  year = "1998",
  link =
  "\url{http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.464.1249&rep=rep1&type=pdf}",
  abstract =
    "I present a large-scale formalisation within a type theory of a
    proof of a result from abstract algebra. The formalisation body
    consists of files that are machine-checked to ensure their
    correctness, and also processed to produce a report on the proof that
    is human-readable. The resulting presentation is intended to approach
    being a standard informal account of some mathematics. In addition
    to presenting this proof, the thesis also identifies and examines
    problems in reconciling the formal nature of the development with the
    wish for it to be easy to read. It presents some tools and methodologies
    for solving these problems, and discusses the advantages and
    disadvantages of these solutions. In particular, it addresses the
    implementation and use of implicit coercions within the type theory,
    the styles of proof that can be used, and the borrowing of concepts
    from the literate programming paradigm. To be more specific, the
    algebra in question is a constructive version of the fundamental
    theorem of Galois Theory. The formalisation is developed within a
    variant of the Unified Theory of Types that is implemented by a
    modified version of the LEGO proof-checker.",
  paper = "Bail98.pdf",
  keywords = "axiomref"
}

\end{chunk}

\index{Mulligan, Dominic P.}
\begin{chunk}{axiom.bib}
@misc{Mull13,
  author = "Mulligan, Dominic P.",
  title = {{Mosquito: An Aimplementation for Higher-Order Logic}},
  school = "University of Cambridge",
  year = "2013",
  abstract =
    "We present Mosquito: an experimental stateless, pure, largely total
    LCF-style implementation of higher-order logic using Haskell as a
    metalanguage. We discuss details of the logic implemented, kernel
    design, and novel proof state and tactic representations.",
  paper = "Mull13.pdf"
}

\end{chunk}

lp:~vcs-imports/gcc/git-mirror Development 2018-01-09 01:17:50 UTC 2018-01-09
158846. 2018-01-08 Steven G. Kargl <kargl@g...

Author: kargl
Revision Date: 2018-01-09 01:17:50 UTC

2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>

 * match.c (gfc_match_allocate): Check for NULL pointer.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256364 138bc75d-0d04-0410-961f-82ee72b054a4

lp:nautilus-python Development 2018-01-09 00:36:57 UTC 2018-01-09
148. Bug #792348, Fix syntax error prevent...

Author: Adam Plumb
Revision Date: 2018-01-09 00:36:57 UTC

Bug #792348, Fix syntax error preventing building docs from python3

lp:gbrainy Development 2018-01-08 22:19:37 UTC 2018-01-08
2234. Update Brazilian Portuguese translation

Author: Rafael Fontenelle
Revision Date: 2018-01-08 22:19:37 UTC

Update Brazilian Portuguese translation

lp:evolution-mapi Development 2018-01-08 22:08:08 UTC 2018-01-08
1694. Update Brazilian Portuguese translation

Author: Rafael Fontenelle
Revision Date: 2018-01-08 22:08:08 UTC

Update Brazilian Portuguese translation

lp:gparted Development 2018-01-08 13:39:34 UTC 2018-01-08
3247. Update Polish translation

Author: Piotr Drąg
Revision Date: 2018-01-08 13:39:34 UTC

Update Polish translation

lp:libcairo Development 2018-01-08 10:07:25 UTC 2018-01-08
10459. Use FT_Done_MM_Var() if available

Author: BehdadEsfahbod
Revision Date: 2018-01-08 10:07:25 UTC

Use FT_Done_MM_Var() if available

lp:gpuplotgenerator Development 2018-01-08 07:14:05 UTC 2018-01-08
32. closes #26

Author: cryo
Revision Date: 2018-01-08 07:14:05 UTC

closes #26

lp:xfce4-appfinder Development 2018-01-07 05:31:13 UTC 2018-01-07
1254. I18n: Update translation fi (100%). ...

Author: Anonymous
Revision Date: 2018-01-07 05:31:13 UTC

I18n: Update translation fi (100%).

77 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:network-manager-applet Development 2018-01-06 00:52:47 UTC 2018-01-06
3785. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2018-01-06 00:52:47 UTC

Update Esperanto translation

lp:iso-codes Development 2018-01-05 22:01:53 UTC 2018-01-05
3844. Clean up .po files headers in ISO 639-2

Author: Dr. Tobias Quathamer
Revision Date: 2018-01-05 22:01:53 UTC

Clean up .po files headers in ISO 639-2

lp:bluez Development 2018-01-05 20:46:38 UTC 2018-01-05
19405. tools: Add utility for Realtek config...

Author: Marcel Holtmann
Revision Date: 2018-01-05 20:46:38 UTC

tools: Add utility for Realtek config file parsing

lp:jgit Development 2018-01-05 18:02:47 UTC 2018-01-05
3556. Ensure DirectoryStream is closed prom...

Author: Dave Borowitz
Revision Date: 2018-01-05 18:02:47 UTC

Ensure DirectoryStream is closed promptly

From the javadoc for Files.list:

"The returned stream encapsulates a DirectoryStream. If timely disposal
of file system resources is required, the try-with-resources construct
should be used to ensure that the stream's close method is invoked
after the stream operations are completed."

This is the only call to Files#newDirectoryStream that is not already in
a try-with-resources.

Change-Id: I91e6c56b5d74e8435457ad6ed9e6b4b24d2aa14e

lp:xfwm4 Development 2018-01-05 05:33:01 UTC 2018-01-05
4938. I18n: Update translation zh_CN (100%)...

Author: 玉堂白鹤
Revision Date: 2018-01-05 05:33:01 UTC

I18n: Update translation zh_CN (100%).

169 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:trac Development 2018-01-05 03:43:07 UTC 2018-01-05
9233. 1.3.3dev: record-only merge [16419] f...

Author: jomae
Revision Date: 2018-01-05 03:43:07 UTC

1.3.3dev: record-only merge [16419] from 1.2-stable

[skip ci]

lp:unbound Mature 2018-01-04 15:16:19 UTC 2018-01-04
4207. - Copy query and correctly set flags ...

Author: ralph
Revision Date: 2018-01-04 15:16:19 UTC

- Copy query and correctly set flags on REFUSED answers when cache snooping is
  not allowed.

lp:telegnome Development 2018-01-04 00:59:31 UTC 2018-01-04
247. Update Swedish translation

Author: Anders Jonsson
Revision Date: 2018-01-04 00:59:31 UTC

Update Swedish translation

lp:egit Development 2018-01-03 17:38:04 UTC 2018-01-03
3818. Add com.jcraft.jzlib 1.1.1 com.jcraf...

Author: Matthias Sohn
Revision Date: 2018-01-03 17:38:04 UTC

Add com.jcraft.jzlib 1.1.1

com.jcraft.jsch requires com.jcraft.jzlib to provide optional zlib
packet compression support. Add this library to the target platform so
that jgit and egit can handle packet compression.

CQ: CQ 15293
Bug: 529129
Change-Id: Icf28668cdfd3e741aa818298074645375544bcce
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>

lp:libiconv Development 2018-01-03 09:50:00 UTC 2018-01-03
1156. Fix installation in 64-bit mode on AIX.

Author: Bruno Haible
Revision Date: 2018-01-03 09:50:00 UTC

Fix installation in 64-bit mode on AIX.

lp:thunar Development 2018-01-02 23:30:25 UTC 2018-01-02
4029. I18n: Update translation eo (81%). 6...

Author: Iris Ilexiris
Revision Date: 2018-01-02 23:30:25 UTC

I18n: Update translation eo (81%).

602 translated messages, 136 untranslated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:gpsd Development 2018-01-01 17:16:49 UTC 2018-01-01
12698. Fix daemon() handling on hurd/kfreebs...

Author: Bernd Zeimetz
Revision Date: 2018-01-01 17:16:49 UTC

Fix daemon() handling on hurd/kfreebsd.

Debian Bug #879963
Thanks to Pino Toscano for the patch.

lp:xfdesktop Development 2017-12-31 23:34:54 UTC 2017-12-31
3828. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:34:54 UTC

I18n: Update translation ca (100%).

227 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfconf Development 2017-12-31 23:34:46 UTC 2017-12-31
966. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:34:46 UTC

I18n: Update translation ca (100%).

68 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-settings Development 2017-12-31 23:32:39 UTC 2017-12-31
2321. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:32:39 UTC

I18n: Update translation ca (100%).

374 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-session Development 2017-12-31 23:32:26 UTC 2017-12-31
2069. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:32:26 UTC

I18n: Update translation ca (100%).

178 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-power-manager Development 2017-12-31 23:32:18 UTC 2017-12-31
2270. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:32:18 UTC

I18n: Update translation ca (100%).

209 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:libxfce4util Development 2017-12-31 23:30:39 UTC 2017-12-31
756. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:30:39 UTC

I18n: Update translation ca (100%).

7 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:exo Development 2017-12-31 23:30:02 UTC 2017-12-31
2064. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 23:30:02 UTC

I18n: Update translation ca (100%).

298 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:gnome-user-docs Development 2017-12-31 22:27:22 UTC 2017-12-31
4185. Update Polish translation

Author: Piotr Drąg
Revision Date: 2017-12-31 22:27:22 UTC

Update Polish translation

lp:crossfire-maps Development 2017-12-31 21:39:19 UTC 2017-12-31
6336. Additional content, Voragray's Second...

Author: rjtanner
Revision Date: 2017-12-31 21:39:19 UTC

Additional content, Voragray's Second Test (dungeons/voragray-gauntlet/02-voragray-gauntlet) found in the Wilderness.

lp:orage Development 2017-12-31 17:31:23 UTC 2017-12-31
2100. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 17:31:23 UTC

I18n: Update translation ca (100%).

1030 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-mixer Development 2017-12-31 11:32:09 UTC 2017-12-31
1371. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 11:32:09 UTC

I18n: Update translation ca (100%).

32 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:libxfce4ui Development 2017-12-31 11:30:29 UTC 2017-12-31
760. I18n: Update translation ca (100%). ...

Author: Robert Antoni Buj Gelonch
Revision Date: 2017-12-31 11:30:29 UTC

I18n: Update translation ca (100%).

175 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:gnote Development 2017-12-30 18:51:50 UTC 2017-12-30
2580. Add Ubuntu session to gschema to enab...

Author: Marc Deslauriers
Revision Date: 2017-12-30 18:51:50 UTC

Add Ubuntu session to gschema to enable client-side decorations.
Fixes Bug 791612

lp:reportbug Development 2017-12-29 04:31:01 UTC 2017-12-29
1250. sensible-pager -> sensible-utils

Author: Sandro Tosi
Revision Date: 2017-12-29 04:31:01 UTC

sensible-pager -> sensible-utils

lp:goffice Development 2017-12-29 00:34:29 UTC 2017-12-29
4242. Post-release bump

Author: Morten Welinder
Revision Date: 2017-12-29 00:34:29 UTC

Post-release bump

lp:xserver-xorg-driver-ati Development 2017-12-28 14:17:56 UTC 2017-12-28
2956. Keep track of how many SW cursors are...

Author: Michel Dänzer
Revision Date: 2017-12-28 14:17:56 UTC

Keep track of how many SW cursors are visible on each screen

And use this to determine when we cannot use page flipping for DRI
clients. We previously did this based on whether the HW cursor cannot
be used on at least one CRTC, which had at least two issues:

* Even while the HW cursor cannot be used, no SW cursor may actually be
  visible (e.g. because all cursors are disabled), in which case we can
  use page flipping for DRI clients anyway
* Even while the HW cursor can be used, there may be SW cursors visible
  from non-core pointer devices, in which case we cannot use page
  flipping for DRI clients anyway

(Ported from amdgpu commit 69e20839bfeb3ee0b0a732d72de0a32d6c5435fc)
Reviewed-by: Alex Deucher <alexander.deucher@amd.com>

lp:mousepad Development 2017-12-28 11:31:59 UTC 2017-12-28
971. I18n: Update translation zh_CN (100%)...

Author: Sam Zhang
Revision Date: 2017-12-28 11:31:59 UTC

I18n: Update translation zh_CN (100%).

306 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:~vcs-imports/mintinstall/trunk bug Development 2017-12-27 04:26:26 UTC 2017-12-27
350. Remove an unused variable, comment, a...

Author: Michael Webster
Revision Date: 2017-12-27 04:26:26 UTC

Remove an unused variable, comment, add a comment about idle vs threading.

lp:debian-installer (Linked to a blueprint) Development 2017-12-26 14:11:35 UTC 2017-12-26
8005. Bump Linux kernel ABI from 4.13.0-1 t...

Author: Cyril Brulebois
Revision Date: 2017-12-26 14:11:35 UTC

Bump Linux kernel ABI from 4.13.0-1 to 4.14.0-2

lp:~vcs-imports/gnome-applets/master Development 2017-12-25 02:43:18 UTC 2017-12-25
11382. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-25 02:43:18 UTC

Update Esperanto translation

lp:ember Development 2017-12-23 22:24:01 UTC 2017-12-23
6607. Work with newer versions of boost.

Author: Erik Ogenvik
Revision Date: 2017-12-23 22:24:01 UTC

Work with newer versions of boost.

lp:notification-daemon Development 2017-12-23 22:04:48 UTC 2017-12-23
732. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-23 22:04:48 UTC

Update Esperanto translation

lp:gnome-power Development 2017-12-23 20:48:38 UTC 2017-12-23
4347. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-23 20:48:38 UTC

Update Esperanto translation

lp:gthumb Development 2017-12-23 18:47:08 UTC 2017-12-23
5553. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-23 18:47:08 UTC

Update Esperanto translation

lp:libgnomekbd Development 2017-12-23 17:31:31 UTC 2017-12-23
866. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-23 17:31:31 UTC

Update Esperanto translation

lp:~vcs-imports/metacity/master Development 2017-12-23 17:13:59 UTC 2017-12-23
5048. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-23 17:13:59 UTC

Update Esperanto translation

lp:ekiga Development 2017-12-23 15:03:15 UTC 2017-12-23
9329. Update Turkish translation

Author: Emin Tufan Çetin
Revision Date: 2017-12-23 15:03:15 UTC

Update Turkish translation

lp:seahorse-plugins Development 2017-12-22 23:58:14 UTC 2017-12-22
430. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-22 23:58:14 UTC

Update Esperanto translation

lp:tomboy Development 2017-12-22 23:39:06 UTC 2017-12-22
3652. Update Esperanto translation

Author: Kristjan SCHMIDT
Revision Date: 2017-12-22 23:39:06 UTC

Update Esperanto translation

1100 of 2921 results