martials/simplify_truths
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
46 Commits 2 Branches 0 Tags
Commit Graph

46 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Martin Berg Alstad
270a71211c Fixed parser not working on larger in parentheses expressions 2024-06-27 19:09:37 +02:00
Martin Berg Alstad
23cbb83391 Removed tower from deps 2024-06-26 10:40:40 +02:00
Martin Berg Alstad
b3a3484e99 Replaced main with the new AppBuilder 2024-06-26 10:40:40 +02:00
Martin Berg Alstad
1b94e63915 Removed unused feature. 
Optimized use statements in main.

Simplified truth_combinations code a little.

Updated OpenAPI spec
 2024-06-23 19:20:30 +02:00
Martin Berg Alstad
38fc8ce383 Fixed removing trailing slashes 2024-06-22 20:23:28 +02:00
Martin Berg Alstad
4b6608fd4f
Using library and removed common functions (#3) 
* Added lib from git and removed code which is in lib now

* NormalizePathLayer to remove trailing slash
 2024-06-22 17:33:33 +02:00
Martin Berg Alstad
e7f1ae156d Ignore Case function 2024-06-21 18:07:42 +02:00
Martin Berg Alstad
d9c0d90af4 More info on index route. 
Macros to simplify some main code
 2024-06-21 00:18:23 +02:00
Martin Berg Alstad
7f2440e08c Moved some duplicate code to macros. 
Socket to config.rs
 2024-06-20 23:37:26 +02:00
Martin Berg Alstad
8997364ef1 Split load_html into a more generic method 2024-06-20 19:08:52 +02:00
Martin Berg Alstad
6b1a6467f0 Added missing / 2024-06-20 18:45:01 +02:00
Martin Berg Alstad
d2f89ab827 Static files are created first then moved over to build, where they are compiled 2024-06-20 18:33:20 +02:00
Martin Berg Alstad
ede5eedc24 load html on compile time instead of runtime. 
Maybe fixed not found link to refer to correct url in release
 2024-06-20 18:00:12 +02:00
Martin Berg Alstad
bfd8053c15 Updated name for deploy action and url for docs from not found 2024-06-20 14:21:01 +02:00
Martin Berg Alstad
2dd361ce7e Not found page with html and moved utils into index and split http requests to separate files. 
Static dir for hosting html files.

Helper function for loading HTML.

Changed location where openapi.html is generated and updated dockerfile
 2024-06-20 14:05:51 +02:00
Martin Berg Alstad
6df5152061 Fixed hide intermediate steps, such that header and body is of same length 2024-06-17 23:04:47 +02:00
Martin Berg Alstad
bcf8b87f5f Hide intermediate steps in truth table 2024-06-17 22:28:41 +02:00
Martin Berg Alstad
2e9f6cd171 Macro for creating routes 2024-06-17 12:55:11 +02:00
Martin Berg Alstad
78368772eb Fixed parenthesis when not needed. Removed some unused functions 2024-06-17 11:41:28 +02:00
Martin Berg Alstad
9226060397 Library for Derive Macros and impl IntoResponse trait 2024-06-17 00:47:07 +02:00
Martin Berg Alstad
6b6f4b4779 Table endpoint for generating a truth table from a string expression 2024-06-17 00:21:18 +02:00
Martin Berg Alstad
d0198eab5d Is legal endpoint to check if expression is legal. 
Moved endpoints to own dir
 2024-06-16 21:01:50 +02:00
Martin Berg Alstad
849c87a878 Fixed bug with deserializing of bool 2024-06-16 20:19:03 +02:00
Martin Berg Alstad
d24fafdcb7
Operations (#2) 
* Fixed? operations for elim_of_implication

* Removed simplify

* Returned to original operations. Moved som dupelicate code to func
 2024-06-16 19:24:52 +02:00
Martin Berg Alstad
5dc4a8e429 Show openapi docs in release mode 2024-06-16 12:54:53 +02:00
Martin Berg Alstad
4d953178e3 Host OpenAPI Redoc page in dev mode 2024-06-16 01:24:29 +02:00
Martin Berg Alstad
ee4523207b Updated package.json with scripts and created a dist dir for build files 2024-06-16 00:59:34 +02:00
Martin Berg Alstad
9431eb2fa9 Option to hide false or true values in truthTable 2024-06-16 00:36:59 +02:00
Martin Berg Alstad
b9998ce7bf Option to sort truthTable 2024-06-16 00:12:52 +02:00
Martin Berg Alstad
32d5089b44 Options for truth table. 
Propagate error message from parser to client
 2024-06-15 23:45:06 +02:00
Martin Berg Alstad
4b22fc4a7e Replaced macros with functions and Box with Rc 2024-06-14 18:38:37 +02:00
Martin Berg Alstad
db4dc2db54 Removed Language and ErrorKind 2024-06-14 16:34:11 +02:00
Martin Berg Alstad
a805eb4b73 BaseResponse struct that gets version from cargo.toml 2024-06-13 23:35:05 +02:00
Martin Berg Alstad
2a826be8ea Logging. CORS(*). Version in response and error type for JSON response 2024-06-13 18:58:50 +02:00
Martin Berg Alstad
c1b9273e0c
Deploy with docker-compose (#1) 
Deploy using docker-compose and GitHub Actions.

Created a simple get endpoint to check if server is running on /

Updated address from 127.0.0.1 to 0.0.0.0
 2024-06-13 14:42:42 +02:00
Martin Berg Alstad
3ad1ad53fc Fixed truth table generation 2024-06-13 11:34:57 +02:00
Martin Berg Alstad
5c8f602d1d Finished truth table impl 2024-06-10 18:35:03 +02:00
Martin Berg Alstad
1afd9d9848 Impl generate_truth_table 2024-06-09 20:09:36 +02:00
Martin Berg Alstad
4599b952fe Helper matrix and array function to generate alternating bool arrays 2024-06-09 19:13:56 +02:00
Martin Berg Alstad
f3fa0334c2 Simplify query argument. 
Truth table and array utils.

Count distinct atomic values.
 2024-06-09 11:57:59 +02:00
Martin Berg Alstad
912cf6f1e5 Updated tsp 2024-06-07 16:38:06 +02:00
Martin Berg Alstad
b16a4eefe4 Replaced binary tuple with struct 2024-06-07 16:27:52 +02:00
Martin Berg Alstad
4fe388aca3 Config file with Port number. 
Started implementing typespec for OpenAPI spec.
 2024-06-07 14:37:47 +02:00
Martin Berg Alstad
9cb0fa0a59 Fix opposite_eq method. 
Simplify method in Simplify trait.

Fix distributive law.

Response for the simplify endpoint.

HTTP client.

camelCase and SCREAMING_SNAKE_CASE for struct and enum
 2024-06-07 13:06:09 +02:00
Martin Berg Alstad
c4393e94bf Started implementing Axum 2024-06-05 22:09:12 +02:00
Martin Berg Alstad
096e2105dd Initial commit 2024-06-05 20:41:00 +02:00