commits

SHA	Message	Author	Date
b5e6ccc5	merge Merge pull request #118 from SemGuS-git/kjcjohnson/sexpr-term-annotations	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
25b5082a	Hide sexpr annotations behind a flag	Keith Johnson <k**n@y**m>	over 2 years ago
f9f30594	Annotations on sexpr output	Keith Johnson <k**n@y**m>	over 2 years ago
8956eebc	merge Merge pull request #116 from SemGuS-git/kjcjohnson/theory-of-sequences	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
00b36b99	Add test calls for all sequence functions	Keith Johnson <k**n@y**m>	over 2 years ago
1430d421	Sequence functions (mostly tested)	Keith Johnson <k**n@y**m>	over 2 years ago
dc132bad	Try harder to resolve return sorts	Keith Johnson <k**n@y**m>	over 2 years ago
b4dec4dd	Refactor: resolving ranks requires SmtContext	Keith Johnson <k**n@y**m>	over 2 years ago
06a20a64	Outline of theory of sequences	Keith Johnson <k**n@y**m>	over 2 years ago
78de2123	merge Merge pull request #115 from SemGuS-git/kjcjohnson/legacy-symbols-option	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
7dc7f527	Add option to disable legacy symbols in CHC JSON events	Keith Johnson <k**n@y**m>	over 2 years ago
01c2d335	merge Merge pull request #114 from SemGuS-git/kjcjohnson/intrinsics	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
40c24b59	Allow declaring intrinsics	Keith Johnson <k**n@y**m>	over 2 years ago
daf73594	Make GenericSort public	Keith Johnson <k**n@y**m>	over 2 years ago
67397575	merge Merge pull request #112 from SemGuS-git/kjcjohnson/array-ex-theory	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
36a1b39a	Make a more focused array integration test	Keith Johnson <k**n@y**m>	over 2 years ago
13c57f79	Tests for parametric template resolution	Keith Johnson <k**n@y**m>	over 2 years ago
4a53904f	Resolve parameteric sorts in ranks, and ArraysEx functions	Keith Johnson <k**n@y**m>	over 2 years ago
884868e3	merge Merge pull request #111 from Shoooooon/main	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 2 years ago
a828b3e7	Changed sortKind and sortParam to kind and param.	Shoooooon <s**7@r**u>	over 2 years ago
a7d69999	Changed JSON parametric sort format to eliminate conflicts with nonterminals ...	Shoooooon <s**7@r**u>	over 2 years ago
486a126b	Updated JSON output format for parametric sorts.	Shoooooon <s**7@r**u>	over 2 years ago
963c56a0	Support the Array sort (but no functions yet)	Keith Johnson <k**n@y**m>	over 2 years ago
31624ca9	merge Merge pull request #106 from SemGuS-git/bv-ext	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 3 years ago
b25141d0	add remaining bv comparisons	rahulk64 <e**4@g**m>	about 3 years ago
faf32012	Add bvugt and bvsub to SMT Extensions	rahulk64 <e**4@g**m>	about 3 years ago
25f6d51b	Add IDs to CHCs (#104)	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 3 years ago
6739a59d	Fix sexpr set-info handling (and add tests) (#102)	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
61ebd8da	Update action versions (#98)	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
14a90d89	Add unclassified symbols to symbol table (#97)	Keith Johnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
51f61b59	CHC symbol tables (#96)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
81e781b7	Don't fail on outputs with no parent directories (#95)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
46352cd9	Regular expressions - first set (#92)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
0811ebab	Fix scoping issue (#91)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 3 years ago
928e5f6d	Create output directories if needed (#89)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	almost 4 years ago
d8f46bf3	Remove outdated example and link to new ones	Keith Johnson <k**n@y**m>	almost 4 years ago
780634a6	Update documentation for 2.2.0	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	almost 4 years ago
14983813	Datatypes! (#82)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	almost 4 years ago
59adf810	Check for input file existence (and exception handling) (#85)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	almost 4 years ago
60c6a37d	Add flag to disable function events (for now) (#84)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	almost 4 years ago
184e2493	Cleaner and more extensible theory/extension definitions (#77)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 4 years ago
6633732f	Remove selectors from `declare-term-types` command (#79)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 4 years ago
8f43c90d	Update README for 2.1.0	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 4 years ago
01a9bd8c	Convert SyGuS files to CHCs on the fly (#73)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	about 4 years ago
72b3e52a	Fix grammar form. (#72)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
8c150b56	Allow multiple constraints in a CHC (#69)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
6b47837c	Bit Vector Support (#65)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
493b140e	Add license file	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
fb40d5d5	Caveats and considerations for initial release (#62)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
48d6e572	Better error messages for duplicate identifiers and shadowed theory symbols	Keith Johnson <k**n@y**m>	over 4 years ago
cd30de3d	Fix up nullability on everything (#61)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
b0a7ac4f	Make 'did-you-mean' facility better (#60)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
0b5f3769	merge Merge pull request #56 from SemGuS-git/wiley/merge-rebased	WileyCorning <w**g@gm> Committed by: GitHub <ny@g**m>	over 4 years ago
c14a9337	fix typo	Wiley <w**g@g**m>	over 4 years ago
f20b4461	Add Name property to ISmtTheory; make concrete theories internal again	Wiley <w**g@g**m>	over 4 years ago
bcc2dbaa	Report better errors for constraints (#55)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
e2a59a33	nomenclature adjustment in max2-exp	Wiley <w**g@g**m>	over 4 years ago
debdd4a7	Improve Error Position Tracking (#52)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
8cb91af6	Mark executables as executable (#54)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
70af7c60	Add instructions to set executable bit	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
dd1f72a5	Add installation instructions and other updates	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
6c1abe3f	Always log error messages when throwing FatalParseException	Keith Johnson <k**n@y**m>	over 4 years ago
2d8a72f5	Publish to NuGet on releases	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
eb6c6395	Arcane zip syntax	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
71b34a1d	Bash fix	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
24a48758	Don't fail if no pdb files to delete	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
a5ad528f	Zip release files	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
1a2b2e82	Upload artifacts on release	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
2cc14058	New publish workflow (#49)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
a7526763	Whoops. Fix the JSON converter to handle nt -> nt productions	Keith Johnson <k**n@y**m>	over 4 years ago
1ec033ed	Support grammars with non-terminal to non-terminal productions (#48)	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
ed13d52f	Link to releases page	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
b368fa7b	Change naming convention for public pseudo-constants	Wiley <w**g@g**m>	over 4 years ago
75bbe22e	Remove comment; remove from Core; add using static in a few places	Wiley <w**g@g**m>	over 4 years ago
2075f5ee	Re-add Theory property of SmtFunction; re-add SmtTheory.UserDefined (with nul...	Wiley <w**g@g**m>	over 4 years ago
e2e2412d	Restore nullability of CHC i/o variable sets	Wiley <w**g@g**m>	over 4 years ago
51c01f48	More max2-exp tweaks	Wiley <w**g@g**m>	over 4 years ago
17135f1b	Namespace fix	Wiley <w**g@g**m>	over 4 years ago
d4d960b4	Testing new attribute-based features in max2-exp	Wiley <w**g@g**m>	over 4 years ago
724ed085	Make more theory types public	Wiley <w**g@g**m>	over 4 years ago
246382cb	Fix bug in max2-exp.sl (name reused between parent and child term)	Wiley <w**g@g**m>	over 4 years ago
d1be2562	Make theory classes public	Wiley <w**g@g**m>	over 4 years ago
fb3d088d	Fix line that was missed in previous refactor	Wiley <w**g@g**m>	over 4 years ago
b1b26ac3	Create singleton instances for common identifiers (to reduce string constant ...	Wiley <w**g@g**m>	over 4 years ago
931f30d0	Replace SmtTheory abstract base class with ISmtTheory interface; remove SmtFu...	Wiley <w**g@g**m>	over 4 years ago
7dd8c911	Add BoxedValue property to literal base type	Wiley <w**g@g**m>	over 4 years ago
910c209f	Make Chc collection properties non-nullable	Wiley <w**g@g**m>	over 4 years ago
c9529bd0	merge Merge pull request #39 from SemGuS-git/kjcjohnson/issue/38-improve-cmd-line-u...	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
4b10faab	Make integration.sh executable	Keith Johnson <k**n@y**m>	over 4 years ago
61bd0fb1	Super basic integration tests	Keith Johnson <k**n@y**m>	over 4 years ago
8d9290a6	Use System.CommandLine to parse arguments	Keith Johnson <k**n@y**m>	over 4 years ago
51044cac	merge Merge pull request #37 from SemGuS-git/improved-error-messaging	kjcjohnson <k**n@ym> Committed by: GitHub <ny@g**m>	over 4 years ago
76c32a18	Add convenience script for publishing	Keith Johnson <k**n@y**m>	over 4 years ago
cba952db	Fix typos for forall form processing	Keith Johnson <k**n@y**m>	over 4 years ago
75c15487	Add primitive 'did-you-mean' faculty	Keith Johnson <k**n@y**m>	over 4 years ago
68d87ea6	Typo fix in README	Keith Johnson <k**n@y**m>	over 4 years ago
c465eb57	Add constructor to CHC output in verifier	Keith Johnson <k**n@y**m>	over 4 years ago
eab0a48c	Fix default grammar generation bug and make error reporting better	Keith Johnson <k**n@y**m>	over 4 years ago
369eea5c	Report improper use of nullary pattern better, plus general error handling fr...	Keith Johnson <k**n@y**m>	over 4 years ago
00506778	Theory of strings functions and publish ignore	Keith Johnson <k**n@y**m>	over 4 years ago

← Back to repository

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / SemGuS-git/Semgus-Parser / commits