GitLab

CircleCI 2.0 saga: Finally, use a Docker-container-hosted PostgreSQL (and SQLite) to do the DB testing.

dmt/A_mappers/Stubs.py: Python3 compatibility changes, contributed by cejpmart.

CircleCI 2.0 saga: Let's make the test 'succeed', so the Docker container is saved and restored henceforth.

If user needs to add special flags when calling the ASN.1 compiler it is
now possible without changing the code of DMT
Only possible in combination with -Ada (for the moment)

c_void_p provokes segfaults on 64bits, use workaround

Mini cache

See merge request !6