David Mak derppening
  • Joined on 2023-08-31
derppening commented on pull request M-Labs/nac3#328 2023-10-03 13:57:49 +08:00
Demote dead code into a stdout warning

The need for suppressing output is because this will happen:

$ ./check_demo.sh src/dead_code_issue118.py 
Checking src/dead_code_issue118.py... warning: dead code at Location { row: 3,…
derppening created branch issue-283 in M-Labs/nac3 2023-10-03 12:15:04 +08:00
derppening pushed to issue-283 at M-Labs/nac3 2023-10-03 12:15:04 +08:00
a15b40890d artiq: Update host exception list to match possibly thrown types
derppening commented on pull request M-Labs/nac3#328 2023-10-03 11:58:31 +08:00
Demote dead code into a stdout warning

v2: Rebased against master, added flags for redirecting/suppressing output, added forking of demo execution.

derppening pushed to issue-118 at M-Labs/nac3 2023-10-03 11:57:54 +08:00
e1e219e884 standalone: Fork demo processes
32f875f765 standalone: Add flags to control demo output options
6b3a75c3bd core: Demote dead code into a stdout warning
1659c3e724 standalone: Remove temporary logfiles after execution
f53cb804ec standalone: Add execution of test cases via lli
Compare 12 commits »
derppening commented on pull request M-Labs/nac3#327 2023-09-30 08:46:08 +08:00
Add lli support for running example test cases

v4: Output IRRT into irrt.bc, fix run_demo_lli emitting LLVM IR instead of bitcode.

derppening pushed to lli-support at M-Labs/nac3 2023-09-30 08:45:01 +08:00
cbdbe53db1 standalone: Remove temporary logfiles after execution
7cb18d5267 standalone: Add execution of test cases via lli
a0c206dc8d standalone: Emit IRRT IR
Compare 3 commits »
derppening commented on pull request M-Labs/nac3#327 2023-09-30 08:44:52 +08:00
Add lli support for running example test cases

I just found it to be intuitive that if you are removing the object files, then the output executable should also be removed.

derppening commented on pull request M-Labs/nac3#327 2023-09-30 08:23:35 +08:00
Add lli support for running example test cases

If the test failed, the files won't be deleted anyways because the script will exit after running diff, so it doesn't matter.

derppening commented on pull request M-Labs/nac3#328 2023-09-29 17:53:08 +08:00
Demote dead code into a stdout warning

@sb10q Could you take a look at the "Thing to consider" section of the PR and let me know your view on this?

derppening created pull request M-Labs/nac3#328 2023-09-29 17:52:35 +08:00
WIP: Demote dead code into a stdout warning
derppening pushed to issue-118 at M-Labs/nac3 2023-09-29 17:49:57 +08:00
88587ea871 core: Demote dead code into a stdout warning
derppening created branch issue-118 in M-Labs/nac3 2023-09-29 17:49:56 +08:00
derppening deleted branch fix/missing-conv-to-i1 from M-Labs/nac3 2023-09-29 16:47:24 +08:00
derppening commented on pull request M-Labs/nac3#327 2023-09-29 16:44:39 +08:00
Add lli support for running example test cases

v3: Merged IRRT bitcode into main.bc, clean up temporary files after execution.

derppening pushed to lli-support at M-Labs/nac3 2023-09-29 16:43:53 +08:00
1fa92bb037 standalone: Remove temporary logfiles after execution
e8885e0bf4 standalone: Add execution of test cases via lli
60305b0510 standalone: Emit IRRT IR alongside main
Compare 3 commits »
derppening commented on pull request M-Labs/nac3#327 2023-09-29 16:06:24 +08:00
Add lli support for running example test cases

This is necessary, as the nac3standalone program will only generate LLVM bitcode for the module-under-compilation (rather than including the dependencies).

derppening commented on pull request M-Labs/nac3#327 2023-09-29 16:04:30 +08:00
Add lli support for running example test cases

v2: Merged check_demo_lli with check_demo.

derppening pushed to lli-support at M-Labs/nac3 2023-09-29 16:04:02 +08:00
9e17fac1d0 standalone: Add execution of test cases via lli
derppening created pull request M-Labs/nac3#327 2023-09-29 15:22:21 +08:00
Add lli support for running example test cases