Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
27 check-ins
|
2017-12-08
| ||
| 21:26 | Added goal-directed less-than comparisons for Integer Leaf check-in: 5d19960a15 user: Entomy tags: Goal-Direction | |
|
2017-11-23
| ||
| 19:45 | Simple name change in profile.adb Leaf check-in: f556022195 user: Entomy tags: trunk | |
|
2017-07-07
| ||
| 14:32 | Adjusted organization of testing framework extensions. Tweaked build flags. check-in: b150b3dbc0 user: Entomy tags: trunk | |
|
2017-06-17
| ||
| 21:28 | Removed GPR, added PKGBUILD check-in: 542f9cd664 user: Entomy tags: trunk | |
|
2017-04-10
| ||
| 01:39 | Type adjustments, since Long_Float did not build on Linux-x86_64 check-in: d8a10703f8 user: Entomy tags: trunk | |
|
2017-03-30
| ||
| 13:18 | Implemented Image, Wide_Image, and Wide_Wide_Image, for numeric types, for orthogonality with other types; necessary for the containers library check-in: 6ac8350e5c user: Entomy tags: trunk | |
|
2017-03-23
| ||
| 17:21 | Removed specific size types, as they were too much to maintain across architectures. Look up gaurenteed minimums for the standard types instead. check-in: 727fe6aa36 user: Entomy tags: trunk | |
|
2017-02-26
| ||
| 17:38 | Added basic timing of numeric types check-in: ac2ed64028 user: Entomy tags: trunk | |
| 16:34 | Fixed rounding, rem, and mod, for fixed-point, decimal, and floating-point types check-in: 3913aab5d2 user: Entomy tags: trunk | |
|
2017-02-23
| ||
| 10:54 | Tried fixing mod and rem for fractional numerics check-in: a7d12d5de0 user: Entomy tags: trunk | |
|
2017-02-13
| ||
| 05:35 | Implemented Truncate, Ceiling, Floor, Modulus, and Remainder for all Fixed, Decimal, and Float types check-in: 87fee56f4a user: Entomy tags: trunk | |
|
2017-02-12
| ||
| 08:52 | Delta of Decimal types was too fine, made larger check-in: c828688d44 user: Entomy tags: trunk | |
| 08:43 | Added Fixed and Decimal definitions that rely on the standard Ada Integer and Float definitions check-in: a5b0c5acfa user: Entomy tags: trunk | |
| 04:36 | Added Modular definitions that rely on the standard Ada Integer definitions check-in: f88e17b80d user: Entomy tags: trunk | |
|
2017-01-02
| ||
| 11:08 | Hand edited GPR, mostly cleanup. Yanked Float128 type (for now?) check-in: e63c5293de user: Entomy tags: trunk | |
|
2017-01-01
| ||
| 08:39 | Yanked GNATDoc comments, not gonna bother with it. check-in: 3984363a68 user: Entomy tags: trunk | |
|
2016-12-12
| ||
| 21:21 | Fixes to the GPR and documentation improvements. check-in: 6299cab637 user: Entomy tags: trunk | |
| 07:48 | Removed build scripts and switched to GPR system. check-in: 71fac674bb user: Entomy tags: trunk | |
|
2016-11-02
| ||
| 14:51 | Tweaks to PKGBUILD check-in: 957b23624e user: Entomy tags: trunk | |
| 14:47 | Forgot the PKGBUILD somehow. Here it is. check-in: 572027cb24 user: Entomy tags: trunk | |
| 14:33 | Is this a bug? Added last echo back. check-in: 67e3d6ea6b user: Entomy tags: trunk | |
| 14:32 | Last changes resulted in a successful build with makepkg. Trying to remove excessive echos. check-in: 1d99bca5b7 user: Entomy tags: trunk | |
| 14:05 | Added echo to last line of build script; where is this failing? check-in: efc59e3c30 user: Entomy tags: trunk | |
| 14:03 | Changes to build script, again, trying to make it work with PKGBUILD. check-in: e1ffe9d55a user: Entomy tags: trunk | |
| 03:47 | A few changes to build scripts. Build wasn't working right in PKGBUILD. check-in: 1eb66fc579 user: Entomy tags: trunk | |
|
2016-10-27
| ||
| 03:39 | Build scripts and many type definitions. check-in: b7dbc2e1a5 user: Entomy tags: trunk | |
| 03:03 | initial empty check-in check-in: c1e6f1a8e9 user: Entomy tags: trunk | |