git.libre-soc.org Git - openpower-isa.git/search

2022-09-03	Jacob Lifshay	fix test_caller_svshape2.py	commit \| commitdiff \| tree
2022-09-03	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-09-02	Jacob Lifshay	make tests pass again	commit \| commitdiff \| tree
2022-09-02	Jacob Lifshay	add formal_test_temp to .gitignore	commit \| commitdiff \| tree
2022-09-02	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-09-02	Jacob Lifshay	rename proof_decoder.py -> test_decoder.py so it...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	move fsins/fcoss to fptrans.mdwn -- they are transcendental...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	don't install recommended packages in CI	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	remove support for unnamed arguments for @_custom_insns...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	silence default LogKind for CI, to avoid pytest running...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	remove dead code, sv.svstep and sv.fcoss are now handled...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	switch ci tests to verbose	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	make sv.instr use CUSTOM_INSNS by default for assembling...	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	use a decorator for constructing CUSTOM_INSNS	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	fix comment location	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-09-01	Jacob Lifshay	Revert "silence default LogKind for CI, to avoid pytest...	commit \| commitdiff \| tree
2022-08-31	Jacob Lifshay	test less cases of utf-8 validation, to avoid taking...	commit \| commitdiff \| tree
2022-08-31	Jacob Lifshay	silence default LogKind for CI, to avoid pytest running...	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	remove dead code, sv.svstep and sv.fcoss are now handled...	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	switch ci tests to verbose	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	make sv.instr use CUSTOM_INSNS by default for assembling...	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	use a decorator for constructing CUSTOM_INSNS	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	fix comment location	commit \| commitdiff \| tree
2022-08-30	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-08-29	Jacob Lifshay	fix issue with cpython 3.7	commit \| commitdiff \| tree
2022-08-29	Jacob Lifshay	svp64_utf_8_validation.py works!	commit \| commitdiff \| tree
2022-08-29	Jacob Lifshay	support assembling svp64 instructions with custom suffixes...	commit \| commitdiff \| tree
2022-08-29	Jacob Lifshay	allow tests to pass None in order to not have to match...	commit \| commitdiff \| tree
2022-08-29	Jacob Lifshay	log memory in a more fancy format, like hexdump -C	commit \| commitdiff \| tree
2022-08-28	Jacob Lifshay	stop printing log silence state	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	working on svp64_utf_8_validation.py -- still broken...	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	add more logging	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	add original instruction as a comment, improving debuggability	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	add support for comments in instructions	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	add some logging	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	fix setvl. not setting CR0 properly	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	convert more `print`s to `log`s	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	include original svp64 instruction in comment on prefix	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	log rather than print SKIPPED	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	make logging more configurable	commit \| commitdiff \| tree
2022-08-26	Jacob Lifshay	fix typo	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	add qemu-system-ppc to .gitlab-ci.yml	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	mark all known-broken tests so CI passes	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	skip gdb tests when gdb isn't found	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	allow crtl tests to run in parallel	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	add XFAIL because the file improperly accesses pdecode2...	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	add more generated output to .gitignore	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	add missing assemblers to .gitlab-ci.yml	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	add missing on_SmtExpr methods	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	fix assembling `sv.add.`	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	format .../trans/svp64.py	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	make pytest ignore non-test classes, these're the last...	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	convert all test_caller*.py to work with pytest/unittest...	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	fix deprecated imports	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	remove last uses of soc	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	format test/runner.py	commit \| commitdiff \| tree
2022-08-25	Jacob Lifshay	change test cases to use TestRunnerBase in order to...	commit \| commitdiff \| tree
2022-08-24	Jacob Lifshay	working on svp64 utf-8 validation -- still broken	commit \| commitdiff \| tree
2022-08-24	Jacob Lifshay	fix translation of instructions that require Rc=True...	commit \| commitdiff \| tree
2022-08-24	Jacob Lifshay	add self.subTest and src_loc_at support to TestAccumulatorBase	commit \| commitdiff \| tree
2022-08-24	Jacob Lifshay	misc cleanup	commit \| commitdiff \| tree
2022-08-24	Jacob Lifshay	finished writing svp64 utf-8 validation algorithm ...	commit \| commitdiff \| tree
2022-08-23	Jacob Lifshay	add WIP svp64 utf-8 validation algorithm	commit \| commitdiff \| tree
2022-08-14	Jacob Lifshay	add rest of missing stuff for cached-property git dependency	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	DOUBLE2SINGLE: convert doc comments to docstring	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	re-convert frsp pseudocode	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	try to add some line numbers to ast -- helps with debugging	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	switch ast for assignment to tuple to use the python...	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	fix line number tracking	commit \| commitdiff \| tree
2022-07-28	Jacob Lifshay	add handy re-indenting script	commit \| commitdiff \| tree
2022-07-27	Jacob Lifshay	gitlab-ci.yml: stop testing after 5 failures	commit \| commitdiff \| tree
2022-07-27	Jacob Lifshay	shrink build log	commit \| commitdiff \| tree
2022-07-27	Jacob Lifshay	add another test and fix broken fishmv pseudocode	commit \| commitdiff \| tree
2022-07-14	Jacob Lifshay	add jit_test for testing icbi and isync	commit \| commitdiff \| tree
2022-06-24	Jacob Lifshay	add missed generated csv changes	commit \| commitdiff \| tree
2022-06-19	Jacob Lifshay	fix minu[.] to be unsigned	commit \| commitdiff \| tree
2022-06-19	Jacob Lifshay	update after adding av instructions	commit \| commitdiff \| tree
2022-05-12	Jacob Lifshay	add ci	commit \| commitdiff \| tree
2022-05-03	Jacob Lifshay	add Rc to ternlogi	commit \| commitdiff \| tree
2022-05-03	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-05-03	Jacob Lifshay	add make generate	commit \| commitdiff \| tree
2022-05-03	Jacob Lifshay	add svfixedarith.py to .gitignore	commit \| commitdiff \| tree
2022-05-03	Jacob Lifshay	fix syntax error	commit \| commitdiff \| tree
2022-04-08	Jacob Lifshay	add SPDX-License-Identifier rather than License:	commit \| commitdiff \| tree
2022-04-08	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-03-30	Jacob Lifshay	test commit 2	commit \| commitdiff \| tree
2022-03-30	Jacob Lifshay	test commit for mirroring	commit \| commitdiff \| tree
2022-03-25	Jacob Lifshay	add python generator version of tree reduction	commit \| commitdiff \| tree
2022-03-25	Jacob Lifshay	add WIP text_tree_graph.py	commit \| commitdiff \| tree
2022-02-24	Jacob Lifshay	add rldimi test case	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	grev[w][i][.] pseudo-code works	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	add log2 pseudo-code helper	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	format code	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	add test_caller_logical.py	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	Merge branch 'master' of ssh://git.libre-soc.org:922...	commit \| commitdiff \| tree
2022-01-18	Jacob Lifshay	speed up pywriter	commit \| commitdiff \| tree
2022-01-17	Jacob Lifshay	WIP speed up pywriter by caching stuff more and not...	commit \| commitdiff \| tree
2022-01-14	Jacob Lifshay	remove stray newline	commit \| commitdiff \| tree
2022-01-14	Jacob Lifshay	add grev[w][i][.] pseudo-code	commit \| commitdiff \| tree
next

RSS Atom