Josef Söntgen
ea44897943
sdl: add OpenGL examples
...
Fixes #82 .
2017-08-29 12:53:33 +02:00
Emery Hemingway
800c3e940f
Update TestUO1 utilities
...
Ref #74
2017-08-28 16:25:45 +02:00
Emery Hemingway
a7e6bf698d
port Glib
...
https://wiki.gnome.org/Projects/GLib
Fix #80
2017-08-04 16:50:41 +02:00
Alexander Senier
1336376e2e
Add googletest, adapt port by @rite to 17.05
2017-06-26 12:07:50 +02:00
Emery Hemingway
5a1bd02ef4
TestU01: upgrade to 17.05 release
...
- Correct spelling of 'Alphabet' test to 'Alphabit'
- Remove config library dependency
Ref #74
2017-05-29 23:45:45 -05:00
Johannes Schlatow
2d18d7a241
update to 17.02
2017-03-02 12:40:46 +01:00
Johannes Schlatow
f57874aac2
ports: add keynote library
2017-03-02 12:40:35 +01:00
Alexy Gallardo Segura
45705e99c3
add examples and run script for libpq and libpqxx libraries.
...
Signed-off-by: Alexy Gallardo Segura <alexy@uclv.cu >
2017-01-31 14:17:19 +01:00
Norman Feske
411469930a
Adaptation to removed component_entry_point lib
...
This patch adapts the world components according to the following issue:
https://github.com/genodelabs/genode/issues/2199
Fixes #57
2017-01-19 16:21:20 +01:00
Emery Hemingway
7a61552f8c
Jitterentropy TestU01 scenarios
...
Test the Jitterentropy VFS plugin against the TestU01 Alphabet and
Rabbit batteries.
Ref #48
2016-11-01 12:35:57 +01:00
Christian Helmuth
10a42e8c14
Port of mbed TLS
...
Thanks to Menno Valkema for the initial patch.
Fixes #17
2016-08-09 14:08:56 +02:00
Norman Feske
1cf653d548
Use base/log.h instead of deprecated base/printf.h
...
- Remove use of PLOG, PINF, PWRN, PERR, and printf.
Only a single use of printf in fesrv remains for now.
- Whitespace and style fixes
- Fix build of server/synergy_input
- Add missing include of base/heap.h (previously, this header
was implicitly included by root/component.h)
2016-07-15 13:14:35 +02:00
Johannes Schlatow
cce6a99fc7
Add soplex and scip (LP and MIP solver)
2016-03-21 11:36:57 +01:00
Johannes Schlatow
053a038bf8
Add lemon graph library
2016-03-21 11:36:53 +01:00
Johannes Schlatow
439a59c695
Add glucose SAT solver
2016-03-21 11:36:51 +01:00
Emery Hemingway
4bb5db7d8b
port of sqlite-3.10.2
...
Port of SQLite with a native OS layer.
I can provide support, but not maintanence. Good luck!
Fixes #8
2016-02-09 11:37:03 +01:00
