Thomas Lacroix

What's the status of this since procedural macro are now stable? I saw that there are procedural macros in `stdweb-private-macros`, but how are they performance-wise?

I'm reading this and I am thinking that a simple work stealing scheduler should work pretty well. How does the current system work?

> to execute script files which have no dependencies What about files with dependencies? > Holmake chews its way through the dependency graph How much does Holmake initially knows about...

Are there any updates regarding this PR? I would enjoy to help if needed :)

My home is mounted on AFS and ranger takes 5 sec to load. However, I found that setting `freeze_files` to `true` and only unfreezing when entering a new directory greatly...

Linking https://github.com/kth-step/HolBA/commit/a04c369016a814987a471d72d5ccfd57dcb4ff28 for information: this is already a pretty-printer for BIR. Features: - Simplification of verbose constructs (e.g. `BExp_BinExp BIExp_Or` is written as `BExp_Or`). - Different representation of `if-then-else` statements,...

One simple optimization would be to use `FUPDATE_EQ`, but only works with non simplified WP (i.e. too late). For simplified WP, I guess that something along those lines can be...

What naming scheme do you suggest then? :slightly_smiling_face:

> Can someone explain what is the purpose of "normalizing" by using the `bir_exp_and` abbreviation in the `bir_wp_comp_wps_iter_step2` function? Just a guess: I think that this is only to simplify...

Keep #73 in mind while proving those contracts.