Skip to content

Commit

Permalink
added hours
Browse files Browse the repository at this point in the history
  • Loading branch information
Aina Linn Georges authored and Aina Linn Georges committed Jul 8, 2021
1 parent 52ef6df commit 75a0aae
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,9 +43,9 @@ make -jN # replace N with the number of CPU cores of your machine
```

We recommend that you have **32Gb of RAM+swap**. Please be aware that the
development takes around XXh to compile. In particular, the files
development takes around 2 to 3 hours to compile. In particular, the files
`theories/examples/awkward_example_u.v` and `theories/examples/stack_object.v`
can each take up to 25 minutes to compile.
can each take up to 30 minutes to compile.

It is possible to run `make fundamental` to only build files up to the
Fundamental Theorem (and `make fundamental-binary` to build up until the binary
Expand Down

0 comments on commit 75a0aae

Please sign in to comment.