profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/KWARC/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
The KWARC Research Group at FAU Erlangen-Nürnberg KWARC Erlangen, Germany https://kwarc.info

KWARC/LaTeX-proposal 52

The Proposal package for LaTeX

KWARC/gf_kernel 6

A Jupyter Kernel for GF

KWARC/LaTeXML 5

LaTeXML is a TeX and LaTeX to XML translator.

KWARC/bibs 4

The joint bibliographies of the KWARC group. Automatically built by travis.

KWARC/deprecated-LLaMaPUn 4

LLaMaPUn is Language and Mathematics Processing and Understanding

KWARC/GLIF 4

The Grammatical Logical Inference Framework

KWARC/KAT 4

KAT: An Annotation Tool for STEM Documents

KWARC/LaTeXML-Plugin-Doc 2

LaTeXML post-processing target for the DOC and ODT formats

KWARC/gitlab-force-upload 1

A Golang script to force upload a folder as a git repository

KWARC/apache-php-docker 0

An Apache PHP Docker Image used at KWARC

push eventKWARC/bibs

KWARC Bot

commit sha 0355cd6ee9bdb1821bf2192137407bb584e7d0d2

Auto-generated website for commit 2e516b3

view details

push time in 25 days

push eventKWARC/bibs

KWARC Bot

commit sha e122b119adb1d0a1fb173f8baab2d60244249a32

Auto-generated kwarc.bib for commit 2e516b3

view details

push time in 25 days

push eventKWARC/bibs

ComFreek

commit sha 2e516b3875371bbc1910fa2c24c32bcf21172c0a

add bibentry for mmt uris

view details

push time in 25 days

push eventKWARC/bibs

KWARC Bot

commit sha 3c4e213721ef74691442abbecb8bd61f9ac16048

Auto-generated website for commit 6c42a56

view details

push time in a month

push eventKWARC/bibs

ComFreek

commit sha e8434fa91783ff4bf52babfa2ae3f8e2c3efffae

missing comma

view details

ComFreek

commit sha ffcb7ca9c9e1609a288ace5247644274e1720ae5

Merge branch 'master' of github.com:KWARC/bibs

view details

push time in a month

issue commentKWARC/bibs

Move to GitHub Actions

Ah, very good. Thanks for keeping this on the burner.

tkw1536

comment created time in a month

push eventKWARC/bibs

KWARC Bot

commit sha 31de3df4084e54eb9132fdc763f7206ee9a01a1f

Auto-generated kwarc.bib for commit 6c42a56

view details

push time in a month

push eventKWARC/bibs

ComFreek

commit sha 6c42a564f34f53425fd50720ca45e3f0ea890915

useless whitespace edit to trigger travis

view details

push time in a month

issue commentKWARC/bibs

Move to GitHub Actions

I finally found out due to a StackOverflow post why the travis-ci.com builds had never been triggered. For the KWARC GitHub group there was no billing plan selected. After selecting the "free billing plan" (as free as it sounds), the first KWARC/bibs build after months is running again :smile:

tkw1536

comment created time in a month

push eventKWARC/bibs

ComFreek

commit sha 5b8e8b02f41f696b078b603240d9e7435bbf50d7

useless whitespace edit to trigger travis

view details

ComFreek

commit sha 94afac02018b1b733a7070bf11131eedc1de4cfb

Merge branch 'master' of github.com:KWARC/bibs

view details

push time in a month

push eventKWARC/bibs

ComFreek

commit sha 5576673ee14c8ea0fbbfbf29eb5885e3a9fedad0

Update README.md

view details

push time in a month

push eventKWARC/rust-libxml

Deyan Ginev

commit sha 14913eb077ad6d79a051b7f6b1f13e567588e998

comment out null ptr deref tests

view details

push time in a month

PR merged KWARC/rust-libxml

Remove tests using null pointer deref

The recent versions of rustc are throwing warnings at some bindgen-generated tests, such as:

warning: dereferencing a null pointer
     --> src/bindings.rs:17692:15
      |
17692 |     unsafe { &(*(::std::ptr::null::<_xmlSchemaNotation>())).type_ as *const _ as usize },
      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
      |
      = note: `#[warn(deref_nullptr)]` on by default

This PR simply comments all of those tests out, as an experimental way out. I prefer that to disabling the warning, since the technique sounds dangerous enough to not rely on in general.

+5684 -5684

1 comment

1 changed file

dginev

pr closed time in a month

pull request commentKWARC/rust-libxml

Remove tests using null pointer deref

I'll merge these for now and hope not having them doesn't hide some obscure problems on less used platforms. The (several screens of) undefined behavior warnings are a bit too much to keep in master.

dginev

comment created time in a month

push eventKWARC/bibs

ComFreek

commit sha 18801fa68155a6bdb58159c53805d9289b4fec70

add Florian's TDE citation

view details

ComFreek

commit sha e40c1a9dbcb3f971782eaeb99b0dc518895a44dc

Merge branch 'master' of github.com:KWARC/bibs

view details

push time in 2 months

push eventKWARC/bibs

Michael Kohlhase

commit sha 059b47516f9d0ff6789ab3ae33298190257bb292

more

view details

push time in 2 months

push eventKWARC/bibs

Michael Kohlhase

commit sha 818620eb82fe5f720a43121200709a28994e2231

draining

view details

push time in 2 months

push eventKWARC/rust-libxml

Deyan Ginev

commit sha 55bc41a7e9d1e35467ed58643112a082a0720a5e

drop appveyor CI we should move to github actions for windows

view details

push time in 2 months

PR opened KWARC/rust-libxml

Remove tests using null pointer deref

The recent versions of rustc are throwing warnings at some bindgen-generated tests, such as:

warning: dereferencing a null pointer
     --> src/bindings.rs:17692:15
      |
17692 |     unsafe { &(*(::std::ptr::null::<_xmlSchemaNotation>())).type_ as *const _ as usize },
      |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed
      |
      = note: `#[warn(deref_nullptr)]` on by default

This PR simply comments all of those tests out, as an experimental way out. I prefer that to disabling the warning, since the technique sounds dangerous enough to not rely on in general.

+5684 -5684

0 comment

1 changed file

pr created time in 2 months

create barnchKWARC/rust-libxml

branch : disable-tests-using-null-pointer-deref

created branch time in 2 months

push eventKWARC/rust-libxml

Deyan Ginev

commit sha bc5b0fb285b19038282ad8f8ede3c599d3118956

add MacOS and Windows installation steps

view details

Deyan Ginev

commit sha acee815b30e468c18592887af6a3a3a0b3a494b6

choco steps are too general, dont need to be in the readme

view details

push time in 2 months

PR merged KWARC/rust-libxml

Add MacOS and Windows installation steps to README

Hi @hurlenko and @lepapareil ,

Could you take a brief look if adding the installation dependencies to the README in this PR looks reasonable? I've kept references in so that people can track the original discussions as well, when necessary.

Thanks again for contributing these, and I hope folks find them helpful.

+34 -0

3 comments

2 changed files

dginev

pr closed time in 2 months

pull request commentKWARC/rust-libxml

Add MacOS and Windows installation steps to README

Good point, I can trim it down a bit further. The new instructions will go to crates.io with the nest release, thanks both for the quick reviews 👍🏻

dginev

comment created time in 2 months

push eventKWARC/rust-libxml

Deyan Ginev

commit sha 0bf603211e465f0e2b900442291aba33179e7cf0

choco steps are too general, dont need to be in the readme

view details

push time in 2 months

pull request commentKWARC/rust-libxml

Add MacOS and Windows installation steps to README

Looks good to me 🙂. Also the chocolatey steps seem to be optional, and are only meant to be used to install rust. At least I skipped them and compiled libxml on Windows successfully:

C:\> choco install -y curl git unxUtils winlibs-llvm-free
C:\> refreshenv
C:\> %ChocolateyInstall%\bin\curl --output "c:\rustup-init.exe" "https://static.rust-lang.org/rustup/dist/i686-pc-windows-gnu/rustup-init.exe"
C:\> c:\rustup-init.exe -y --default-toolchain stable-x86_64-pc-windows-msvc

Thanks!

dginev

comment created time in 2 months

pull request commentKWARC/rust-libxml

Add MacOS and Windows installation steps to README

Ok for windows 👌

dginev

comment created time in 2 months

PR opened KWARC/rust-libxml

Add MacOS and Windows installation steps to README

Hi @hurlenko and @lepapareil ,

Could you take a brief look if adding the installation dependencies to the README in this PR looks reasonable? I've kept references in so that people can track the original discussions as well, when necessary.

Thanks again for contributing these, and I hope folks find them helpful.

+39 -0

0 comment

2 changed files

pr created time in 2 months

create barnchKWARC/rust-libxml

branch : add-more-os-installation-docs

created branch time in 2 months

issue commentKWARC/rust-libxml

Build failing on MacOS X

Thanks to @ballsteve, here are the steps it took me to compile this crate on macOS:

  1. brew install libxml2 # v 2.9.12 in my case
  2. ln -s /usr/local/Cellar/libxml2/2.9.12/lib/libxml2.2.dylib /usr/local/lib/libxml-2.0.dylib
  3. export LIBXML2=/usr/local/Cellar/libxml2/2.9.12/lib/pkgconfig/libxml-2.0.pc
  4. cargo build

Adding these steps, along with the windows compilation instruction to the README would be really nice 🙂

ballsteve

comment created time in 2 months

push eventKWARC/faulumpus

Tom Wiesing

commit sha d5020e7c2759320c62822fdeb236ebeb0253ab75

ci: Use normalized docker workflow

view details

push time in 2 months