messages from 2015-02-05 20:14:11 to 2015-03-03 15:47:41 UTC [more...]
SPARK modeling the passage of time
2015-03-03 15:47 UTC
SPARK internal error?
2015-03-03 15:33 UTC (4+ messages)
GPS / Enabling Edit Functions On Mouse . . .
2015-03-03 13:25 UTC (2+ messages)
PEZZO DI MERDA LAVA CASH MAFIOSO DAVIDE SERRA DI ALGEBRIS E TWITTER HA BECCATO L'INSIDER TRADING SU BANCHE POPOLARI DAL BASTARDO CRIMINALE PIER LUIGI BOSCHI DI BANCA ETRURIA. SON TUTTI NAZIMAFIOSI, TIPO PAOLO BARRAI DI WMO, CHE SI FINGONO DEL PD
2015-03-03 13:00 UTC (2+ messages)
silly ravenscar question
2015-03-03 10:57 UTC (39+ messages)
SPARK problem with unconstrained arrays
2015-03-03 9:41 UTC (2+ messages)
GNAT stm34f4 zfp question
2015-03-03 9:20 UTC (2+ messages)
Avialable Consultants For Oracle DBA
2015-03-02 17:04 UTC
Uneasy thoughts about priorities, priority inversion and protected objects
2015-03-02 11:29 UTC (4+ messages)
Is Ada 83 still deployed anywhere?
2015-03-02 8:55 UTC (8+ messages)
"STORAGE_ERROR : s-intman.adb:139 explicit raise" from record containing a queue from Ada.Containers.Bounded_Synchronized_Queues in Gnat Ada 2014
2015-03-02 8:55 UTC (5+ messages)
GNAT runtime licensing mess
2015-02-27 19:59 UTC (8+ messages)
Ada Mascot Contest Reminder - March 13, 2015
2015-02-27 18:54 UTC
Stackoverflow answer in need of update?
2015-02-27 13:53 UTC (11+ messages)
ANN: gcc 4.9.1bis for Darwin
2015-02-26 21:45 UTC (8+ messages)
David Radner of InfoQuest Networks
2015-02-24 8:12 UTC (4+ messages)
Ada for the next bare metal project?
2015-02-23 22:45 UTC (7+ messages)
Ravenscar and context switching for Cortex-M4
2015-02-20 13:05 UTC (16+ messages)
Get_Immediate has raised CONSTRAINT_ERROR : s-wchcnv.adb:207 explicit raise
2015-02-19 21:37 UTC (10+ messages)
What is the best license to use for open source software?
2015-02-18 22:25 UTC (38+ messages)
` GNAT GPL is not shareware (was: Re: What is the best license to use for open source software?)
` GNAT GPL is not shareware
` Containers on small systems (Was: GNAT GPL is not shareware)
` Containers on small systems
Ada for Automation English Documentation
2015-02-16 13:57 UTC
[Bounded] Vectors, reference types, and the secondary stack
2015-02-15 16:21 UTC
Optimisation
2015-02-14 17:40 UTC
Convert a Wide_String (or a Wide_Character) to an Integer
2015-02-13 22:11 UTC (9+ messages)
Ravenscar-sfp and interrupt priorities on Cortex-M4
2015-02-13 18:40 UTC (4+ messages)
Gnoga.com - please try
2015-02-13 17:43 UTC (12+ messages)
Mineral exploration
2015-02-11 8:56 UTC
.Net experience in web development
2015-02-10 17:15 UTC
Missing ali files when compiling on Mac OS
2015-02-09 21:01 UTC (3+ messages)
A few questions
2015-02-09 18:36 UTC (5+ messages)
Using Streams in conjunction with Spawn and Gnat.Expect
2015-02-09 18:17 UTC (2+ messages)
aws, gnoga or raw html?
2015-02-08 22:21 UTC (5+ messages)
Crowdfunding Worlds 1st Phone to Phone Powerbanks
2015-02-08 18:35 UTC
Ada and opencvada
2015-02-06 21:51 UTC (2+ messages)
Standalone (.exe) Ada Programs can run in isolation of any ada compiler - True or False ?
2015-02-06 19:38 UTC (16+ messages)
Ada-Europe 2015 - Feb 8 deadline for Industrial Presentations
2015-02-06 6:47 UTC (2+ messages)
Caveats when switching Ada projects from windows To Linux
2015-02-05 20:14 UTC (4+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox