2018-02-26 04:26 AEDT
Timeline
2018-02-19 .. 2018-02-26 [Prev]
2018-02-22 14:06
zs picked up issue 0000432
2018-02-22 14:05
zs commented on issue 0000452
2018-02-22 14:05
zs resolved issue 0000452
2018-02-21 21:25
zs picked up issue 0000452
2018-02-21 15:16
wangp created issue 0000452
2018-02-20 16:41
zs picked up issue 0000451
2018-02-20 16:41
zs created issue 0000451
Unassigned (1 - 10 / 120)
0000450
tests/invalid/sub_c failing when running tests with -j8
Bug - 2018-02-13 10:17
0000443
1 attachment(s)
Segmentation fault in high-level C .par.trseg grades
Bug - 2017-11-15 16:30
0000442
Building compiler with -j4 and --use-mmc-make fails
Bug - 2017-11-13 14:04
0000440
mdb: tab completion for function symbols
Feature Request - 2017-08-10 11:08
0000439
1 attachment(s)
cannot build module which imports empty nested sub-module
Bug - 2017-08-06 13:09
0000438
1 attachment(s)
partial module qualification of use_module imported entity
Bug - 2017-08-05 14:55
0000435
Old workaround in runtime causes compilation warnings
Bug - 2017-03-29 10:00
0000428
1 attachment(s)
standalone_c complains about return value 0 (OK) from main/2.
Bug - 2016-10-25 06:14
0000426
Tabling broken on 32-bit Cygwin
Bug - 2016-10-21 15:47
0000422
Intermittent runtime aborts in parallel conjunction tests
Bug - 2016-10-04 21:11
Resolved (1 - 10 / 231)
0000452
1 attachment(s)
model_det need_bit_vec_check
Bug - 2018-02-22 14:05
0000449
Switches on uint64s not working in java grade
Bug - 2018-02-13 12:55
0000444
static linking with musl crashes
Bug - 2018-01-12 17:33
0000434
Alpine Linux / musl libc / x86_64 support
Bug - 2018-01-09 10:42
0000411
2 attachment(s)
abstract type not hidden
Bug - 2017-08-22 10:38
0000437
1 attachment(s)
abort on empty nested sub-module
Bug - 2017-08-06 02:50
0000410
1 attachment(s)
Syntax error causes compiler abort
Bug - 2017-06-17 11:00
0000436
1 attachment(s)
unknown constructor in foreign_enum
Bug - 2017-05-03 10:42
0000431
1 attachment(s)
Install fails during make install of java grade in rotd-2017-02-22
Bug - 2017-03-06 15:45
0000430
optional underscores in numeric literals
Bug - 2017-01-29 14:39
Recently Modified (1 - 10 / 450)
0000432
pack constructor arguments in same word as primary tag
Feature Request - 2018-02-22 14:06
0000452
1 attachment(s)
model_det need_bit_vec_check
Bug - 2018-02-22 14:05
0000451
1 attachment(s)
unpack packed args only as necessary in field updates
Feature Request - 2018-02-20 16:41
0000445
__builtin_bswap16/32 support
Bug - 2018-02-13 12:55
0000449
Switches on uint64s not working in java grade
Bug - 2018-02-13 12:55
0000450
tests/invalid/sub_c failing when running tests with -j8
Bug - 2018-02-13 10:17
0000448
singleton warning generation ignores variables in quantifications
Bug - 2018-02-07 05:30
0000447
direct_arg_switch type representation
Feature Request - 2018-02-06 18:16
0000446
smarter comparisons of structures
Feature Request - 2018-01-30 02:32
0000444
static linking with musl crashes
Bug - 2018-01-12 17:33

newfeedbackacknowledgedconfirmedassignedresolvedclosed