Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to main at HEL/TB-Docs 2026-07-13 17:45:43 +00:00
4ec15ee6dd feat(report): write introduction
HEL deleted branch feat/report-setup from HEL/TB-Docs 2026-07-13 14:24:58 +00:00
HEL merged pull request HEL/TB-Docs#1 2026-07-13 14:24:57 +00:00
Setup report and executive summary
HEL pushed to main at HEL/TB-Docs 2026-07-13 14:24:57 +00:00
cfeef63ae2 Merge pull request 'Setup report and executive summary' (#1) from feat/report-setup into main
9d80ca7fd4 feat(summary): setup executive summary
2e1ded20f4 feat(report): add chapter files
5cdb22c32c feat(report): add draft plan
2e97ce9f4c feat(report): setup report
Compare 5 commits »
HEL created pull request HEL/TB-Docs#1 2026-07-13 14:24:51 +00:00
Setup report and executive summary
HEL pushed to feat/report-setup at HEL/TB-Docs 2026-07-13 14:07:52 +00:00
9d80ca7fd4 feat(summary): setup executive summary
HEL pushed to feat/report-setup at HEL/TB-Docs 2026-07-13 14:05:51 +00:00
dfa8471690 feat(summary): setup executive summary
2e1ded20f4 feat(report): add chapter files
5cdb22c32c feat(report): add draft plan
Compare 3 commits »
HEL pushed to feat/report-setup at HEL/TB-Docs 2026-07-13 09:44:16 +00:00
2e97ce9f4c feat(report): setup report
c8e8f59eb6 feat(journal): add week 9
d76884fc9c feat(journal): add week 8
5e724c6b40 feat(journal): update end of week 7
Compare 4 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-13 09:43:09 +00:00
c8e8f59eb6 feat(journal): add week 9
HEL released V0.1.0 at HEL/midas 2026-07-10 09:46:20 +00:00
HEL pushed tag v0.1.0 to HEL/midas 2026-07-10 09:46:19 +00:00
HEL pushed tag official to HEL/midas 2026-07-10 09:38:12 +00:00
HEL deleted tag official from HEL/midas 2026-07-10 09:37:57 +00:00
HEL deleted branch fix/remove-raises from HEL/midas 2026-07-10 09:35:04 +00:00
HEL pushed to main at HEL/midas 2026-07-10 09:35:04 +00:00
12c5309cff Merge pull request 'Avoid raising exceptions, report diagnostics instead' (#42) from fix/remove-raises into main
720a82c221 fix(checker): remove redundant match case
90e9d167bf fix(checker): better handle invalid generic instantiation
4866ab2090 fix(checker): handle already defined predicates
3ede752cae fix(checker): handle already defined types
Compare 8 commits »
HEL merged pull request HEL/midas#42 2026-07-10 09:35:02 +00:00
Avoid raising exceptions, report diagnostics instead
HEL created pull request HEL/midas#42 2026-07-10 09:33:56 +00:00
Avoid raising exceptions, report diagnostics instead
HEL created branch fix/remove-raises in HEL/midas 2026-07-10 09:32:20 +00:00
HEL pushed to fix/remove-raises at HEL/midas 2026-07-10 09:32:20 +00:00
720a82c221 fix(checker): remove redundant match case
90e9d167bf fix(checker): better handle invalid generic instantiation
4866ab2090 fix(checker): handle already defined predicates
3ede752cae fix(checker): handle already defined types
244e5f351a fix(checker): handle subscript and error in typevar bound
Compare 7 commits »
HEL pushed tag official to HEL/midas 2026-07-09 22:41:29 +00:00