Custom Query (361 matches)
Results (13 - 15 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #375 | invalid | PG goes into infinite loop with 100% CPU usage | ||
| Description |
To reproduce: download the attachment. Then type: emacs -nw pg_bug3.v Pick your nose while admiring the cromulent proof general splash screen. Type "C-c ." to turn on electric terminator. Move to the end of the file. Delete the existing period and re-type it. Type a new period. Watch your computer furiously increase the entropy level in the room. FWIW, executing "coqc pg_bug3.v" reports an error, so this script clearly is not valid. However, the fact that PG goes into a 100% CPU usage situation is probably not the best reaction. |
|||
| #469 | duplicate | coqgeneral 4.3pre130327 does not compile with Emacs 24.3 | ||
| Description |
I have the following error at compile time:
generic/pg-response.el:104:23:Error: |
|||
| #502 | fixed | Latest Makefile change breaks things everywhere except Mac | ||
| Description |
The most recent change to Makefile, changing the EMACS macro definition, causes PG building to fail everywhere except MacOS. |
|||
