cdefs: do not use __nonnull function argument attribute
[barrelfish] / tools /
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-07-11 Adam TurowskiMerge branch 'bsdlibc'
2017-07-11 Adam TurowskiRemoving ssh
2017-07-11 Adam TurowskiFixing compilation issues on x86_64 and armv8
2017-07-11 Adam Turowskihake: removing an unknown warning option from the x86_6...
2017-07-10 Adam Turowskinet_sockets: some TCP fixups
2017-07-06 Adam Turowskiharness: adjusting http tests to a new network stack
2017-07-06 Adam Turowskitftpclient: converting to net sockets
2017-07-03 Adam Turowskiharness: changing tests to net sockets
2017-06-30 Adam Turowskik1om: some fix-ups
2017-06-22 Adam Turowskidevif_test: fixing e10k queue constructor call
2017-06-22 Adam Turowskiharness: call hake with a proper architecture
2017-06-22 Adam Turowskilibc: removing newlib, adding BSD libc
2017-06-13 Reto AchermannMerge branch 'skate'
2017-06-02 Timothy RoscoeConverted Filet-o-Fish Literate Haskell code into a...
2017-06-02 Simon Gerbertests: update L1/L2 CNode creation tests and add harnes...
2017-06-02 Simon Gerberharness: distops tests: make sure tests have run when...
2017-06-02 Simon Gerberharness: cleanup tests to not override is_finished...
2017-06-02 Simon Gerberharness: fix gorgonzola2 machine data
2017-05-27 Reto Achermannskate: make generated C code compile
2017-05-27 Reto AchermannAdd code generation for functions to add facts to the SKB
2017-05-15 Gerd ZellwegerAdd addModules flag to hake.
2017-05-14 Reto Achermannskate: adding generation of fact format string
2017-05-11 Reto Achermannharness: removing PCI domain from modules list of ARMv8
2017-05-10 Reto Achermannarmv8: adding modules to enable multi-core tests to...
2017-05-06 Reto Achermannskate: store source position when parsing a skatefile
2017-05-05 Reto AchermannSkate: defining varios functions for type handling...
2017-05-05 Simon Gerberharness: tftp test: actually check that we got the... release2017-05-05
2017-05-05 Simon Gerberharness: test base class: check for finish string not...
2017-05-05 Reto Achermannremoving tools/sockeye -> transition to skate
2017-05-05 Reto Achermannskate: adding more error messages to the parser
2017-05-05 Roni Häckiharness: fixed tfpt test
2017-05-05 Reto Achermannskate: adding optional arch argument
2017-05-04 Reto Achermannskate: adding struct definitions for the facts
2017-05-04 Reto Achermannskate: implementation of C header for enums and constants
2017-05-04 Reto Achermannskate: initial parts fo the C header backend
2017-05-04 Simon GerberAdd simple tftp client test
2017-05-04 Reto Achermannskate: extend parser to support fully qualified names
2017-05-04 Reto Achermannskate: implementation of basic checks on declrations
2017-05-04 Reto Achermannskate: implementation of declaration table
2017-05-04 Simon Gerberharness: Delete tests/ which is copied tests...
2017-05-03 Reto AchermannSkate: implement check for type table
2017-05-03 Reto Achermannskate: starting the typetable and adding comments.
2017-04-28 Reto Achermannskate: adding basic Skate output functions
2017-04-28 Reto Achermannskate: remove old header generation
2017-04-28 Reto Achermannskate: moving filename check to SkateChecker module
2017-04-28 Reto Achermannskate: adding wiki abstract syntax
2017-04-28 Reto Achermannskate: adding skate checker module
2017-04-28 Roni Häckiharness: extended devif test
2017-04-27 Reto Achermannskate: initial commit of skate with working parser
2017-04-20 Gerd ZellwegerAdded a test to check the SKB capability storage functi...
2017-04-06 Reto AchermannMerge branch 'armv8-coreboot': final pieces for interru...
2017-04-06 David CockCleaned up Mackerel explosion.
2017-03-30 Reto AchermannMerge remote-tracking branch 'origin' into lwip-next
2017-03-20 Adam Turowskinetwork: replacing net_queue_manager with devif as...
2017-03-16 Reto Achermannmackerel: do not pre-read write only registers
2017-03-15 Lukas HumbelARMv8: add boot_driver to simulated ARM machines
2017-03-15 Reto Achermannharness: fix function call to get_kernel_args()
2017-03-14 Reto AchermannHarness: pass correct cmdline arguments to cpudriver
2017-03-14 Reto Achermannharness: fix assertion to cope with cpu/boot driver...
2017-03-14 Reto AchermannMackerel: don't use __DN() for cpu register functions
2017-03-09 Reto Achermannharness: adding support for boot drivers
2017-03-08 Reto AchermannARMv8: update fields of arm_core_data
2017-03-07 Reto Achermannmackerel: don't generate read functions for write only...
2017-03-06 Reto AchermannMackerel: don't generate rawwr functions for RO registers
2017-03-04 Reto AchermannARMv8: using asmoffset for the stack field in coredata
2017-03-01 Roni Häckiharness: update to devq test
2017-02-28 Adam Turowskiflounder: merging rpc client with a binding layer
2017-02-27 Roni HäckiDevq: extended test to e10k
2017-02-27 Adam Turowskiflounder: adding local, intra-domain backend (RPCs...
2017-02-24 Reto Achermannharness: actually define machine gorgonzola2
2017-02-24 Reto Achermannharness: disabling acpi for armv8 for the moment
2017-02-22 Adam Turowskiflounder: making const pointers in receiving handlers...
2017-02-22 Reto AchermannMerge branch 'cavium' : basic cavium support.
2017-02-22 Reto Achermannharness: add new machines
2017-02-19 Reto AchermannMerge branch 'master' of ssh://
2017-01-20 Roni Häckiharness: ahci: adapted numbers for babybel3 and tolerat...
2017-01-18 Roni HäckiAHCI test updated performance numbers
2017-01-17 Simon Gerberharness: pandaboard: cleanup compiler-rt tests
2017-01-16 Roni HäckiDeviceQueue: changed tests
2017-01-16 Adam Turowskilrpc_fpu,harness: adding a test
2017-01-16 Adam Turowskifpu context switching for x86_64: the patch by Andrei...
2017-01-16 Roni HäckiAHCI test increased performance passing percentage
2017-01-13 Roni HäckiAdded test for queue interface
2017-01-05 Adam Turowskimultihop,flounder: reverting a change
2017-01-04 Adam Turowskiharness: removing a message size limit in a multithread...
2017-01-04 Adam Turowskiump,flounder: moving a flow control from a flounder...
2016-12-28 Adam Turowskiflounder,waitsets: adding chanstate dependency in order...
2016-12-23 Adam Turowskiflounder: removing an unnecessary free from Multihop
2016-12-23 Moritz Hoffmanntools/, docs: Allow Latex files to use...
2016-12-22 Simon Gerberharness: armv8 efi machine: fix boot module list extraction
2016-12-22 Simon GerberMerge GitHub PR#3.
2016-12-22 Simon Gerberharness: Remove old pandaboard buildall harness test
2016-12-20 Kosyrev Sergeqemu-wrapper: use a portable signal specification...
2016-12-20 Kosyrev Sergeqemu-wrapper: /bin/sh fixes
2016-12-20 Kosyrev switch to /bin/sh
2016-12-20 Kosyrev switch to /bin/sh
2016-12-20 Kosyrev Sergeelver: provide __stack_chk_fail (fixes build)
2016-12-20 Moritz Hoffmannharness: Allow the same module to be listed several...
2016-12-20 Moritz Hoffmannschedsim: Re-create targets originally found in symboli...