Timeline

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