The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings JustInline
Summary Activity Forums Tracker Tasks Docs Surveys News SCM Files

Activity

Activity:
Start Date:
End Date:
Time Activity By
2025-07-09
14:32:29 sourcecode scm commit: Only define static function if it is used (repository: jil commit: ef4ed91)
14:29:57 sourcecode scm commit: Add __builtin_unreachable to unreachable code (repository: jil commit: 0f2908c)
2025-07-08
20:32:46 sourcecode scm commit: Remove immediate argument for (ADD|SUB|FMAH|FMAL) (repository: jil commit: e37709f)
19:19:27 sourcecode scm commit: Everything apart from instruction generation should be good 2 go (repository: jil commit: e784f56)
15:56:05 sourcecode scm commit: Rename raw -> rough in order to be compatible with terminology from our papers (repository: jil commit: 52f7775)
15:43:52 sourcecode scm commit: Add projective ball lifts (repository: jil commit: 1f0c351)
12:48:57 sourcecode scm commit: Add jil_realloc and simplify C-memory operations (repository: jil commit: 82632bf)
2025-07-07
20:29:20 sourcecode scm commit: Stash big (repository: jil commit: 006218a)
13:07:13 sourcecode scm commit: Fixup dev/ (repository: jil commit: 2da6bd5)
13:06:43 sourcecode scm commit: Stash, now done with ground work minus opcodes (repository: jil commit: bbdda92)
08:52:15 sourcecode scm commit: Stash (repository: jil commit: 321d80b)
08:15:59 sourcecode scm commit: Merge branch 'master' into sass (repository: jil commit: c3f694d)
2025-07-06
17:27:12 sourcecode scm commit: Test complex balls (repository: jil commit: 4632cf1)
16:56:51 sourcecode scm commit: Optimizations (repository: jil commit: 63ce207)
15:52:10 sourcecode scm commit: Lipschitz-style ball lifting using matryoshka arithmetic (repository: jil commit: 8bf5fbe)
13:53:13 sourcecode scm commit: Merge branch 'ball' (repository: jil commit: 1fff6a1)
13:52:21 sourcecode scm commit: Computing reliable bounds on specific poly-ball regions (repository: jil commit: 703a23a)
12:32:57 sourcecode scm commit: jout -> testout in transpose_test (repository: jil commit: 49cd327)
12:26:44 sourcecode scm commit: Fixup carry allocation (repository: jil commit: 9ba4039)
2025-07-05
15:57:13 sourcecode scm commit: Cleaning (repository: jil commit: 8505ba3)
15:42:04 sourcecode scm commit: Fix compilation error (repository: jil commit: 9568eed)
15:17:43 sourcecode scm commit: Merge branch 'ball' (repository: jil commit: b4514a8)
15:16:09 sourcecode scm commit: Progress and fixes for transient ball lifts, for complex balls (repository: jil commit: e947931)
11:57:08 sourcecode scm commit: Cosmetic changes (repository: jil commit: b81dcff)
11:52:27 sourcecode scm commit: Add rigorously rounded (in addition to rough) ball arithmetic and further improvements for ball lifts (repository: jil commit: a42ece3)
2025-07-04
17:33:55 sourcecode scm commit: Better genericity for transient ball lifts (repository: jil commit: 7df2131)
07:35:22 sourcecode scm commit: Minor syntactic change (repository: jil commit: aeffca0)
07:32:55 sourcecode scm commit: Towards more generic implementation of transient ball lifts (repository: jil commit: 5cf9a88)
2025-07-03
17:26:21 sourcecode scm commit: Faster but rougher complex balls and preparations for transient ball arithmetic over more generic types (repository: jil commit: 46d8fb8)
13:12:29 sourcecode scm commit: Lifting or mapping constant data of SLPs (repository: jil commit: dedc5c9)
11:15:55 sourcecode scm commit: Make lifters transitive (repository: jil commit: 1febb53)
2025-07-02
17:42:29 sourcecode scm commit: Cleaning (repository: jil commit: a827f16)
16:10:37 sourcecode scm commit: More versatile ball_abs domain (repository: jil commit: 674d31f)
14:29:43 sourcecode scm commit: Improved ball domain (repository: jil commit: 2b559b5)
2025-07-01
12:07:05 sourcecode scm commit: Add examples for MP summations (repository: jil commit: 9b89d04)
2025-06-30
15:25:57 sourcecode scm commit: Store unique copy of every domain (repository: jil commit: 046cace)
2025-06-28
07:52:30 sourcecode scm commit: Scrumble hash codes to produce seemingly random values modulo powers of two (repository: jil commit: a22777a)
07:21:12 sourcecode scm commit: Cleaning (repository: jil commit: 108e9ae)
07:18:15 sourcecode scm commit: Cleaning (repository: jil commit: be09fb6)
07:11:53 sourcecode scm commit: Activate Mathemagix-like syntactic expressions (repository: jil commit: dbe515e)
2025-06-27
22:06:51 sourcecode scm commit: Start support for Mathemagix-like syntactic expressions (repository: jil commit: ef98b98)
2025-06-26
22:38:23 sourcecode scm commit: Fix subtle C++ typing problem (repository: jil commit: a6ce7d4)
21:56:03 sourcecode scm commit: Improved hash tables (repository: jil commit: 82dca1b)
08:23:53 sourcecode scm commit: Systematic use of jil_new and jil_delete (repository: jil commit: 4d2511d)
2025-06-25
23:00:17 sourcecode scm commit: More systematic use of jil_new_array and jil_delete_array (repository: jil commit: fc7bba7)
2025-06-16
20:50:52 sourcecode scm commit: Stash a lot (repository: jil commit: da64a28)
2025-06-10
10:07:18 sourcecode scm commit: Implement carry allocation `use_carries' (repository: jil commit: eab9f60)
2025-05-08
21:55:38 sourcecode scm commit: Implement multiple-precision tests (repository: jil commit: 1a98f60)
2025-05-07
15:52:15 sourcecode scm commit: Implement sqabs for PTX (repository: jil commit: bdaf80c)
15:50:28 sourcecode scm commit: Remove temporary fixes in PTX for memory operands (repository: jil commit: c8b3d74)