Changelog
- 44faf04 Add mutation tests (#2)
- 32f0e33 Adding Booleans (#8)
- 7f7d32f Beginning of State charts (#11)
- 80d9556 Bellmar/doc example bugs (#25)
- 02e37f1 Bellmar/goreleaser (#31)
- f13fec5 Bellmar/whens thens (#24)
- 1f45cf6 Builtin advance (#15)
- 7e5c8a8 Continuing with state charts (#12)
- 2a84243 Create CONTRIBUTORS.md
- 686a957 Creating action to sign builds
- c133c95 Creating action to sign builds
- 995598a Finishing up state charts (#14)
- 78ba034 Forgot to update the command flags on the docker side
- 92ca280 I hate rebasing
- 3ec9518 Improving spec validation (#29)
- 2633140 Increasing testing to bring mutation coverage up to 60% (#3)
- 9069ab9 Interface attempt 2 (#18)
- 9e9ecd6 Merge branch 'main' into bellmar/swaps
- 2a7bcf0 Merge branch 'main' into state-charts
- b930291 Merge branch 'main' of https://github.com/Fault-lang/Fault
- 4d966f9 Merge branch 'main' of https://github.com/Fault-lang/Fault
- e3c44b7 Merge branch 'main' of https://github.com/Fault-lang/Fault
- 85ec431 Merge branch 'main' of https://github.com/Fault-lang/Fault
- 90ca64b Merge branch 'main' of https://github.com/Fault-lang/Fault into bellmar/swaps
- c1b1691 Merge branch 'main' of https://github.com/Fault-lang/Fault into main
- 4ef202d Merge branch 'main' of https://github.com/Fault-lang/Fault into main
- 6d1e3bb Misc fixes (#16)
- 40a6751 Redoing namespace (#13)
- 1e82d19 Refactoring assert generation + temporal logic (#4)
- 2b993de Refactoring smt (#23)
- 057b665 Running on Windows (#30)
- 2fca03b Running on Windows (#30)
- a1da903 Some fixes found when testing meaningful examples (#17)
- 22db57e Update README.md
- 723a515 Update README.md
- ef95996 Update issue templates
- 4806526 Updated config.yml
- 6a69847 Working on the interface (#7)
- 6259932 a little bit of cleanup and getting rid of the loop on struct property order
- 332f718 adding more specific tests to listener
- f607b93 adding new tests to llvm/name to help mutation score
- 47fe8ac adding solvables (uncertains and unknown)
- b458874 adjusting grammar
- f8252fe adjusting listener tests
- 155de37 adjusting style issues on utils
- d2c6092 adjustments to execution to accomodate yices
- 1069555 asserts/assumes not passed on in main function (whoops)
- 1dd177a basic assertions
- 02fc31a basic swap test
- 04d0b1e big in uncertain annotations
- 6143cc8 breaking out assert/assume generation into smaller functions
- 10cfdf6 breaking swaps out into their own thing.
- 97a8008 bug in constant handling
- c2ee9ee bug with Prefix
- 75e9c3c can only swap instances of the same class
- 748573c change AST
- 53fe2dc changing approach a little, moving swaps into the instance node and swapping them in after type checking
- b631e40 changing clock to now
- 168af7f changing model checker to solver in the install instructions to be clear
- 192c84b changing model checker to solver in the install instructions to be clear
- 71dba4c cleaning up and consolidating old test files
- b4be1ed cleaning up some lingering merge issues
- fbfd101 commented out tests
- f95bc32 converting listener stack from interface to ast.Node and adding swaps to run steps
- 64d3e6c debugging basic swaps (incorrect name and values + duplicate declares)
- cc7e5e4 delete unnecessary line
- 09ea4ef do not remove leading slashes from host and change order of sat/unsat check
- 4a27343 don't use compiler execute on the llvm test
- c416a46 edge cases with preprocessing and typechecking
- 802c153 error handling on antlr listener
- df69558 extra swap test
- e6295df file not filepath is the correct variable in the shell script
- a286761 finally figuring out how to make swaps/aliases work, this is so messy and gross
- aaa4db8 first grammar for state charts
- 338ecf5 fixing Temporal2 test
- 3375925 fixing a infinite loop with constants referenced in structs during type checking and updated ir test to reflect change in parameter order
- a4f2772 fixing a misunderstanding in the filepath formatting
- 4f11f85 fixing broken error handling
- 5aff0d9 fixing bug in parsing negative floats from the solver response
- 7ea758d fixing bug not found by test suite
- ff6bbdc fixing flakey test
- 601e06c fixing line breaks on output
- c5739ca fixing llvm test after llvm upgrade
- 1da85bf fixing some small bugs including returns on after blocks
- f8442a2 fixing some tests
- ba8c725 fixing testings (#6)
- d658101 fixing tests (oops forgot to run all of them)
- 8d2c3f9 forgot to uncomment some tests and more tweaks to filepaths
- c51d680 get readme up to date
- 9aa7835 getting swaps to pass the listener
- 38defd1 handling multiple imports in one block
- 163641c here's a crazy idea: let the typechecker just have the preprocessor and let it do partial runs to rename nodes post-swap
- be38b30 init
- eec36f9 init bubbletea interface
- d5f69f7 init state charts
- e52f332 knocking out edge cases with ors, xors, ands in statecharts
- bd4b536 lol jk! tweaking the grammar of state charts to make more sense
- 19099a0 making full Tokens easier to access
- 6ad8c0a move swap tests to own folder
- 378012d moving fork logic to its own package
- 1b47639 moving rules to their own subpackage
- c0296d5 moving variable data over to own package and starting generator
- 9395b99 mystery changes, maybe bug in mutesting library O.o
- cfff092 no sat should not override the rest of visualization output (#22)
- 9b351fd nothing like truly f-ing up your branches...
- dfaeb66 one additional test
- b1190b7 preprocessing swaps
- d3b5f2b prototype ir for builtins plus minor adjustments to AST
- 088253e rebasing
- 8dc2748 rebasing
- 4965035 rebasing some more
- 27773a6 rebasing some more
- f1bd74c rebasing still more
- b371a67 rebasing still more and more
- 23a0e40 rebasing still more and more and more
- 59683c7 remove fuzzer
- 1281fdc removing duplicate function left after rebase
- 8d56a21 removing stray equals from the command line arg iputs
- 7b31a95 removing the Makefile for antlr grammars
- 33e3729 renaming parse functions that don't involve parsing to create XXX rule functions
- 66cd3f3 resolving some local conflicts
- a2a64f7 rough implementation of state charts to llvm. Lots of cleanup needed
- 8d19f1e signing releases
- 96d7be8 signing releases
- 5fc318a sloppy commit, but when starting state chart temporals I decided to change the approach to handling rounds
- fcac663 sloppy save point, first draft of new parse and generation of asserts
- b53cc34 some style clean up
- b8749ce splitting initializations from the runblock (grammar)
- 94bc5f4 splitting temporal types
- 1d0cc33 state charts support in parser
- 680e214 stray bugs with parsing SMT response, etc
- dc1e912 temporarily committing out flaking tests, I know formatting of results is broken will fix before inviting contribs
- 853751c this commit is out of control, started as preventing asserts against expired states, became something different, plus clean up
- 82962b7 tightening up the functions around VarRounds
- e89091b tweaking filepath formatting
- 4472458 tweaking mutantion fail criteria
- 0008396 tweaking the split of mutation tests in circleCI
- 4cf1223 types and preprocess
- 76323e1 update README.md
- 978ca1e update README.md with proper install instructions.
- 6d68a64 updating README
- 0e1ef98 updating README.md
- 6cce0a4 updating and cleaning up the README
- 6f70257 updating and cleaning up the README
- 07317ca updating command line interface to be consistent across Docker and main.go
- 0a7fdda updating grammar for swaps
- 7e004d1 updating listener, plus undoing a tweak to grammar that broke tests
- 9a24c3d updating llvm tests to unit block
- fb7117d wiring up error handling
- 9807b85 working out some bugs in version command
- 36be545 yices requires logic be set explicitly