KHJK gotweb

Commits

Commit:: 354df5d9cd87cba2ef291fa9a60e67ac7fbb1729
From:: Letitia Li <letitia.li@baesystems.com>
Via:: pompolic <pompolic@special-circumstanc.es>
Date:: Wed Jun 3 21:21:00 2020 UTC

Adding ACL2-compatible printing

diff | patch | tree

Commit:: 11ecff401f57af01ad1d2e62a5fd7e9791c9240b
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Fri May 22 16:20:05 2020 UTC

Mark dead code for deletion

diff | patch | tree

Commit:: d02fed10442a49b3d69a659e0f19c336fd7c15fa
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Fri May 22 16:19:03 2020 UTC

Remove superfluous fprintf

diff | patch | tree

Commit:: 2a9a5eb1d060a2e9fdbd44553dde83805d989db2
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Fri May 22 16:17:33 2020 UTC

Style fix

diff | patch | tree

Commit:: 70053d655f13f7ecbea5789cf4ea505bfce21f75
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed May 20 15:18:43 2020 UTC

Merge branch 'master' of gitlab.special-circumstanc.es:pesco/pdf

diff | patch | tree

Commit:: 162e65e85fe6ac42d796fa3ce4fc19c237777069
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed May 20 15:17:42 2020 UTC

Merge branch 'xref-crash-fix-issue-9'

diff | patch | tree

Commit:: f0a0c5e07a66bb204971cbb7a4bcebe8e1960519
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Fri May 8 16:19:22 2020 UTC

more TODO

diff | patch | tree

Commit:: 6c9bc1ec4f8b08250abae2dcdd866229b28a8727
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Fri May 8 12:55:25 2020 UTC

update todo list

diff | patch | tree

Commit:: f31903c8acf3479533aa88556b5632ef54159fe3
From:: pompolic <pompolic@special-circumstanc.es>
Date:: Mon May 4 15:06:04 2020 UTC

Merge branch '2020-04-27_RELEASE' into 'master' Bring master up to date See merge request pesco/pdf!12

diff | patch | tree

Commit:: 9dbc08cfd08bd58d9e525c407003396ecda7855f
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 29 16:36:21 2020 UTC

Add testcase

diff | patch | tree

Commit:: 27f1f2c2ab804f56b2ae8adcc94e4b78896381aa
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 29 16:03:20 2020 UTC

Crash fix for !9

diff | patch | tree

Commit:: 17c6bcc389f815a32eb7f3885f4241e37ff32678
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 17:57:00 2020 UTC

Fix tabs issue

diff | patch | tree

Commit:: 1191d61e7323c479a891b8810b0d56996ab0075f
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Thu Feb 20 16:19:03 2020 UTC

add 2020 to copyright header

diff | patch | tree

Commit:: 8dfb422b9cc3c5e87c25a1f48498a0cf10adfc4c
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 17:26:17 2020 UTC

Phrasing

diff | patch | tree

Commit:: 1d031337e6b891688dbcdacf72bb17e51487f5f6
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Thu Feb 20 12:50:02 2020 UTC

intermediate commit: work towards making all of 'obj' LALR

diff | patch | tree

Commit:: 3c43ae86b3dedae4261574e86c34125f8e52273d
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 17:25:36 2020 UTC

Troubleshooting, interpreting test results

diff | patch | tree

Commit:: 3b3bcd173d9adec4f238ec015acf9cd88c05845d
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Wed Feb 12 18:04:12 2020 UTC

doc update: pdf 2.0 also has 3 numbers in /W

diff | patch | tree

Commit:: 2759867fa808051c773991e8b3254abdf710230a
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 16:55:51 2020 UTC

Fix indentation issues

diff | patch | tree

Commit:: 3e8827d4258172b3c102f3feaf1bdf2fd8caea5e
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Wed Feb 12 15:30:12 2020 UTC

ws without SEQ() now suffices for h_act_flatten()

diff | patch | tree

Commit:: c041800a3c4f221662787a8eb927f3e8cc36c010
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 13:15:52 2020 UTC

Notes on branch usage re-added

diff | patch | tree

Commit:: 260c87942a668b5730e36de68b14fc7b62e17860
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Mon Feb 10 17:56:29 2020 UTC

note another accept-and-warn case

diff | patch | tree

Commit:: 900e8c3829952e2d433b2459f8e1fed1d5b17c6c
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 13:00:39 2020 UTC

Fix stray whitespace

diff | patch | tree

Commit:: 39cb95f3d7cc41e247747e37afd05a9a6ce55115
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Mon Feb 10 16:18:02 2020 UTC

note a common real-world malformation we should accept-and-warn

diff | patch | tree

Commit:: 5a94ffbb874a88009e9c5be5b13416b56c859d4f
From:: Pompolic <pompolic@special-circumstanc.es>
Date:: Wed Apr 15 12:57:24 2020 UTC

Merge branch '2020-04-27_RELEASE' of gitlab.special-circumstanc.es:pesco/pdf into 2020-04-27_RELEASE

diff | patch | tree

Commit:: 25596aec229893f412feba7a7122615f1cafd30b
From:: Sven M. Hallberg <pesco@khjk.org>
Date:: Sun Feb 9 23:39:13 2020 UTC

make robj LALR

diff | patch | tree

More ↓