Johannes Schlatow
|
e7e44936a8
|
ports: update to 17.05
Ref #74
|
2017-08-28 14:22:39 +02:00 |
|
Norman Feske
|
670aab19e3
|
Adaptation to Genode 17.05
- Adjust use of exceptions to unified exception types:
https://genode.org/documentation/release-notes/17.05#Streamlining_exception_types
- Add posix.lib.so as boot module:
http://genode.org/documentation/release-notes/17.05#POSIX_libc_profile_as_shared_library
- Adaptation to API changes
Ref #74
|
2017-06-02 11:48:15 +02:00 |
|
Stefan Kalkowski
|
c9f593d803
|
Use default Qemu memory size in run-scripts
Ref #74
|
2017-06-02 11:25:23 +02:00 |
|
Johannes Schlatow
|
2d18d7a241
|
update to 17.02
|
2017-03-02 12:40:46 +01:00 |
|
Johannes Schlatow
|
439a59c695
|
Add glucose SAT solver
|
2016-03-21 11:36:51 +01:00 |
|