Commit Graph

526 Commits

Author SHA1 Message Date
Alejandro R. Mosteo a14e0cf7cc Bump version for new external syntax 2020-02-17 17:44:11 +01:00
Maxim Reznik d02c240799 Add Ada Modeling framework, SOAP and Servlet server (#88) 2020-02-17 17:19:15 +01:00
Alejandro R. Mosteo 16550dea34 Add Zip-Ada from Gautier de Montmollin 2020-02-17 15:15:14 +01:00
Alejandro R. Mosteo 0daa2eb750 Add Mathpaqs from Gautier de Montmollin 2020-02-14 16:23:31 +01:00
Alejandro R. Mosteo 220ad648fd Add excel_writer from Gautier de Montmollin 2020-02-14 16:19:27 +01:00
Stephane Carrez 8a8bde008e Add Ada Keystore 1.1.0 (#92)
* Add Ada Keystore 1.1.0, add tags and description
2020-02-11 17:27:24 +01:00
Stephane Carrez 2916a566bd Utilada version 2.1.0 (#91)
* Add crate for Ada LZMA library thin binding

* Add crate for Ada Utility Library version 2.0.0
The library is split in several parts so that we can avoid
depending on LZMA, Curl and XML/Ada.  Still missing the HTTP
support with AWS.

* Update to use the git archive with a hash
Use better descriptions for the projects
Avoid copying the Alire GNAT projects and use them in-place

* Update to use the git archive with a hash and the GNAT alire project in-place

* Fix the index version

* Integrate new version 2.1.0, add tags and long description

* Update to add tags, descriptions and new version 2.1.0

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2020-02-11 17:24:03 +01:00
Vinzent "Jellix" Saranen 2f1909ffd3 Add Saatana v2.0.0 (formerly known as 'security' by HeisenbugLtd) (#90)
* Added "security" library (Heisenbug)

* A collection of formally verified cryptographic algorithms

* Update security.heisenbug.toml

* Fixing: "Tag string not valid"

* SHA256 doesn't seem to be supported?

Try SHA512 instead...

* + Update to v1.0.1

* * Rename to comply with naming convention

* Moved file to proper directory after rename

* - Removed file from old (wrong) location

* - Removed 1.0.0 from version list

1.0.0 is broken, anyway.

* * Fixed typo

For some reason, I put test-phelix as executable name whereas it should have been test_phelix.

* * Heisenbug's Security library has been renamed to Saatana.
2020-02-11 17:03:38 +01:00
Fabien Chouteau be87449d1b Add Ada Bar Codes 2020-01-28 11:51:11 +01:00
Fabien Chouteau cb879c3bb5 Add Generic Image Decoder 2020-01-28 11:51:11 +01:00
Fabien Chouteau 6ef869fbab Add Ada PDF Writer 2020-01-28 11:51:11 +01:00
Fabien Chouteau a79718f471 Add GESTE v1.1.0 2020-01-28 11:45:58 +01:00
Fabien Chouteau ba62d654b7 Add pygamer_bsp and pygamer_simulator 2020-01-28 11:45:58 +01:00
Fabien Chouteau 998d773fe0 Add samd51_hal 2020-01-28 11:45:58 +01:00
Fabien Chouteau e054bc3a70 Add Cortex-M 2020-01-28 11:45:58 +01:00
Fabien Chouteau ad4e6b39d3 Add HAL 2020-01-28 11:45:58 +01:00
Fabien Chouteau c5cdea1884 Add VirtAPU 2020-01-28 11:45:58 +01:00
Maxim Reznik c22267ea83 Add Matreshka XML, SQL, Servlet and FastCGI parts. 2020-01-19 12:48:23 +01:00
Maxim Reznik 39abf9797a Add Matreshka League 18.1 crate 2020-01-13 14:41:29 +01:00
Alejandro R Mosteo e600a0a149 Stephane Carrez's contributions 2020-01-07 19:22:30 +01:00
Stephane Carrez 1aeec6d734 Add crates for Ada Server Faces implementing JSR 252, 314, 344
- serverfaces is the core library which is built on top of servletada
- serverfaces_unit is a library to help in writing unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez 7acbd4beea Add crates for Servlet libraries implementing JSR 154 and 315
- servletada is the core library (independent of the web server)
- servletada_aws is the servlet support with AWS
- servletada_unit is a library to help in writing servlet unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez e22c94940c Add crate for Security Library with client/server security framework and OAuth2 support 2020-01-07 19:05:29 +01:00
Stephane Carrez 7484d91e22 Add crate for Ada Expression Library which implements JSR 245 2020-01-07 19:05:29 +01:00
Stephane Carrez b944f73d46 Use the .alire/wikiada.gpr project in place and use the git archive with a hash 2020-01-07 19:03:56 +01:00
Stephane Carrez 0461827b35 Ignore the removal of config.gpr when the file does not exist 2020-01-07 19:03:56 +01:00
Stephane Carrez f0b0e29f85 Add Ada Wiki Engine 1.2.0 crate
This adds the 'wikiada' crate to the index.  This library provides
a small Wiki parser, renderer and generator engine.  It uses 'utilada' crate.
2020-01-07 19:03:56 +01:00
Stephane Carrez 248b150188 Update to use the git archive with a hash and use the Alire GNAT project in-place 2020-01-07 19:03:22 +01:00
Stephane Carrez 4f0a540ced Add Ada Database Objects 2.0.0 crates
- the 'ado' crate is the core library and does not contain any database driver
- the 'ado_postgresql' crate depends on 'ado' and is the PostgreSQL driver
- the 'ado_sqlite' crate depends on 'ado' and is the SQLite driver

There is missing the 'ado_mysql' crate because the library dependency
is tricky: we may need one of libmysqlclient or libmariadb libaries.
2020-01-07 19:03:22 +01:00
Stephane Carrez 19022f2ee5 Update to use the git archive with a hash and the GNAT alire project in-place 2020-01-07 19:02:25 +01:00
Stephane Carrez 480eec5599 Update to use the git archive with a hash
Use better descriptions for the projects
Avoid copying the Alire GNAT projects and use them in-place
2020-01-07 19:02:25 +01:00
Stephane Carrez ec70837115 Add crate for Ada Utility Library version 2.0.0
The library is split in several parts so that we can avoid
depending on LZMA, Curl and XML/Ada.  Still missing the HTTP
support with AWS.
2020-01-07 19:02:25 +01:00
Stephane Carrez 3feb297563 Add crate for Ada LZMA library thin binding 2020-01-07 19:02:25 +01:00
Alejandro R. Mosteo 40d66cb759 AWS placeholder crate 2020-01-07 17:19:57 +01:00
Alejandro R. Mosteo da3dd40354 Use a pre-release version for this beta index 2020-01-03 18:49:58 +01:00
Alejandro R Mosteo f3f7190e52 PR #80: Documentation for contributors/index branches 2020-01-03 18:43:43 +01:00
Alejandro R. Mosteo d496ddd65e Point would-be packagers to the alire repo 2020-01-03 18:40:59 +01:00
Alejandro R. Mosteo 6a98679dff Initial POLICY and CONTRIBUTING files 2020-01-03 18:40:59 +01:00
Alejandro R. Mosteo e9ce0fbeac Skeleton file for new crates 2020-01-03 18:40:59 +01:00
Alejandro R Mosteo 256bd018ca PR #81: Add gnatcoll_iconv and gnatcoll_gmp 2019-12-27 19:54:34 +01:00
Alejandro R Mosteo c0361a6d05 PR #79: New releases of lvgl_ada_simulator and geste_examples 2019-12-27 19:44:24 +01:00
Pierre-Marie de Rodat 156a12a905 Add gnatcoll_gmp 2019-12-25 11:14:00 +01:00
Pierre-Marie de Rodat 0d16d420ad Add libgmp 2019-12-25 11:14:00 +01:00
Pierre-Marie de Rodat 235927f0f9 Add gnatcoll_iconv 2019-12-25 09:56:23 +01:00
Pierre-Marie de Rodat 4662d2497f gnatcoll.toml: wrap lines on 80 columns 2019-12-24 08:52:09 +01:00
Fabien Chouteau a189e5b5d8 New release of geste_examples 2019-12-19 22:45:24 +01:00
Fabien Chouteau 4eb31047b9 New release of lvgl_ada_simulator 2019-12-19 22:45:24 +01:00
Fabien Chouteau 264d35b5d8 Add eagle_lander simulator (#77) 2019-12-18 16:45:39 +01:00
Alejandro R Mosteo d2d104c9d9 PR #72: Update actions.command
Update actions.command
2019-12-04 19:00:30 +01:00
Fabien Chouteau 3ac5f37084 Update actions.command
Part of alire-project/alire#255
2019-12-04 17:16:42 +01:00